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

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

book Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

pdf

Author: Manfred Broy (auth.) Karin Breitman Ana Cavalcanti (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

pdf

Author: Michael Hennell (auth.) Bernhard Beckert Reiner Hähnle (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

pdf

00

27.01.2024

0

0

book Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29–October 2, 2009 Proceedings

Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29–October 2, 2009 Proceedings

pdf

Author: Peter Pirolli (auth.) Ulrike Cress Vania Dimitrova Marcus Specht (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

pdf

Author: June Andronick (auth.) Bernhard Beckert Claude Marché (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More: 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More: 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings

pdf

Author: Patrick Carribault Marc Pérache Hervé Jourdren (auth.) Mitsuhisa Sato Toshihiro Hanawa Matthias S. Müller Barbara M. Chapman Bronis R. de Supinski (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings

Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings

pdf

Author: Sergey Smirnov Matthias Weidlich Jan Mendling (auth.) Paul P. Maglio Mathias Weske Jian Yang Marcelo Fantinato (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

pdf

Author: Michael Carl Tschantz Jeannette M. Wing (auth.) Ana Cavalcanti Dennis R. Dams (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Reflections on the Teaching of Programming: Methods and Implementations

Reflections on the Teaching of Programming: Methods and Implementations

pdf

Author: Jens Bennedsen (auth.) Jens Bennedsen Michael E. Caspersen Michael Kölling (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

pdf

Author: Gianfranco Rossi (auth.) Agostino Dovier Enrico Pontelli (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0