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

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

book 21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings

21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings

pdf

Author: Richard Noss (auth.) Andrew Ravenscroft Stefanie Lindstaedt Carlos Delgado Kloos Davinia Hernández-Leo (eds.)
Language: English
Year: 2012

00

27.01.2024

5

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

0

0

book Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

pdf

Author: David von Oheimb Sebastian Mödersheim (auth.) Bernhard K. Aichernig Frank S. de Boer Marcello M. Bonsangue (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

pdf

Author: Martín Abadi (auth.) Dimitra Giannakopoulou Dominique Méry (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

djvu

Author: Thomas A. Henzinger (auth.) Robert B. France Jürgen Kazmeier Ruth Breu Colin Atkinson (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

pdf

Author: Mario Bravetti Gianluigi Zavattaro (auth.) Roberto Bruni Karsten Wolf (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book The construction of formal specifications : an introduction to the model-based and algebraic approaches

The construction of formal specifications : an introduction to the model-based and algebraic approaches

djvu

Author: J G Turner, T L McCluskey
Language: English
Year: 1993

00

27.01.2024

0

0

book Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

pdf

Author: Hajnal Andréka Szabolcs Mikulás István Németi (auth.) Robert L. Constable Alexandra Silva (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Successful evolution of software systems

Successful evolution of software systems

chm

Author: Hongji Yang, Martin Ward Dr
Language: English
Year: 2003

00

27.01.2024

0

0

book Software engineering foundations : a software science perspective

Software engineering foundations : a software science perspective

pdf

Author: Yingxu Wang
Language: English
Year: 2008

00

27.01.2024

0

0