Тема, жанр, tags: Software Engineering,Management of Computing and Information Systems » Page 910 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Management of Computing and Information Systems » Page 910

book Object Modeling with the OCL: The Rationale behind the Object Constraint Language

Object Modeling with the OCL: The Rationale behind the Object Constraint Language

pdf

Author: Tony Clark Jos Warmer (eds.)
Language: English
Year: 2002

00

26.01.2024

1

0

book Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

pdf

Author: Krzysztof Czarnecki (auth.) Walid Taha (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

djvu

Author: Henk Barendregt Kees Hemerik (auth.) Neil Jones (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

pdf

Author: Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

pdf

Author: David L. Dill (auth.) Nicolas Halbwachs Doron Peled (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

pdf

Author: Tsz-Chiu Au Ugur Kuter Dana Nau (auth.) Koen V. Hindriks Alexander Pokahr Sebastian Sardina (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

pdf

Author: Ingo Wegener (auth.) Hartmut Ehrig Robert Kowalski Giorgio Levi Ugo Montanari (eds.)
Language: English
Year: 1987

00

26.01.2024

0

0

book SOFSEM 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 2002 Proceedings

SOFSEM 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 2002 Proceedings

pdf

Author: Hacène Fouchal (auth.) William I. Grosky František Plášil (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

pdf

Author: Noga Alon Asaf Shapira Benny Sudakov (auth.) Michele Bugliesi Bart Preneel Vladimiro Sassone Ingo Wegener (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)

Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)

djvu

Author: Hartmut Ehrig (auth.) Hartmut Ehrig Christiane Floyd Maurice Nivat James Thatcher (eds.)
Language: English
Year: 1985

00

26.01.2024

0

0