Тема, жанр, tags: Database Management,Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Sof » Page 350 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Database Management,Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Sof » Page 350

book An Extended Entity-Relationship Model: Fundamentals and Pragmatics

An Extended Entity-Relationship Model: Fundamentals and Pragmatics

djvu

Author: Martin Gogolla (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

pdf

Author: Egon Börger (auth.) Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann (eds.)
Language: English
Year: 1999

00

26.01.2024

3

0

book Advances in Smalltalk: 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

Advances in Smalltalk: 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

pdf

Author: Johan Brichau Andy Kellens Kris Gybels Kim Mens (auth.) Wolfgang De Meuter (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

pdf

Author: Juan C. Garcia-Ojeda Scott A. DeLoach Robby Walamitien H. Oyenan Jorge Valenzuela (auth.) Michael Luck Lin Padgham (eds.)
Language: English
Year: 2008

00

26.01.2024

5

0

book Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

pdf

Author: Carmen Zannier Frank Maurer (auth.) Giulio Concas Ernesto Damiani Marco Scotto Giancarlo Succi (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Algebraic Methods II: Theory, Tools and Applications

Algebraic Methods II: Theory, Tools and Applications

djvu

Author: N. W. P. van Diepen H. A. Partsch (auth.) J. A. Bergstra L. M. G. Feijs (eds.)
Language: English
Year: 1991

00

26.01.2024

1

0

book Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings

pdf

Author: Greg Morrisett (auth.) Vijay A. Saraswat (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book 25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

djvu

Author: Edmund M. Clarke (auth.) Orna Grumberg Helmut Veith (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

pdf

Author: Antonia Bertolino (auth.) Egon Börger Angelo Gargantini Elvinia Riccobene (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

pdf

Author: Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0