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

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

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Lecture notes on empirical software engineering

Lecture notes on empirical software engineering

pdf

Author: Natalia Juristo Ana M. Moreno
Language: English
Year: 2003

00

26.01.2024

1

0

book Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

pdf

Author: Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog (auth.) Orna Grumberg Michael Kaminski Shmuel Katz Shuly Wintner (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Software language engineering first international conference; revised selected papers SLE

Software language engineering first international conference; revised selected papers SLE

pdf

Author: Dragan Gasevic Ralf Lämmel Eric van Wyk
Language: English
Year: 2009

00

26.01.2024

0

0

book Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

pdf

Author: Chitta Baral Juraj Dzifcak Luis Tari (auth.) Véronica Dahl Ilkka Niemelä (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

pdf

Author: Maíra A. de C. Gatti Gustavo R. de Carvalho Rodrigo B. de Paes (auth.) Ricardo Choren Alessandro Garcia Holger Giese Ho-fung Leung Carlos Lucena Alexander Romanovsky (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

pdf

Author: A. Fehnker M. Fruth A. K. McIver (auth.) Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2009

00

26.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

26.01.2024

0

0

book Linkers and Loaders

Linkers and Loaders

djvu

Author: John R. Levine
Language: English
Year: 2000

00

26.01.2024

0

0

book Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

pdf

Author: Thais Batista Ackbar Joolia Geoff Coulson (auth.) Ron Morrison Flavio Oquendo (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0