Book serie: / Книги серии: Lecture Notes in Computer Science 4218 : Programming and Software Engineering » Page 89 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 4218 : Programming and Software Engineering » Page 89

book Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

pdf

Author: Mihalis Yannakakis (auth.) Susanne Graf Wenhui Zhang (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

pdf

Author: Christian Müller-Schloer Bernhard Sick (auth.) Laurence T. Yang Hai Jin Jianhua Ma Theo Ungerer (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

pdf

Author: Xinjun Mao Eric Yu (auth.) James Odell Paolo Giorgini Jörg P. Müller (eds.)
Language: English
Year: 2005

00

27.01.2024

1

0

book Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

pdf

Author: Ralph-Johan Back (auth.) Michael Johnson Varmo Vene (eds.)
Language: English
Year: 2006

00

27.01.2024

4

0

book Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

pdf

Author: Jana Koehler Thomas Gschwind Jochen Küster Cesare Pautasso Ksenia Ryndina (auth.) Andy Schürr Manfred Nagl Albert Zündorf (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Architecting Dependable Systems V

Architecting Dependable Systems V

pdf

00

27.01.2024

0

0

book Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

pdf

Author: Ali R. Hurson Yu Jiao (auth.) Félix F. Ramos Victor Larios Rosillo Herwig Unger (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Advanced Topics in Exception Handling Techniques

Advanced Topics in Exception Handling Techniques

pdf

Author: Peter A. Buhr Roy Krischer (auth.) Christophe Dony Jørgen Lindskov Knudsen Alexander Romanovsky Anand Tripathi (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Ada 2005 Rationale: The Language, The Standard Libraries

Ada 2005 Rationale: The Language, The Standard Libraries

pdf

Author: John Barnes (auth.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

pdf

Author: Bernhard Schätz Holger Giese (auth.) Holger Giese Gabor Karsai Edward Lee Bernhard Rumpe Bernhard Schätz (eds.)
Language: English
Year: 2011

00

27.01.2024

3

0