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

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

book Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

pdf

Author: Peter Henderson Matthew J. Henderson (auth.) Stephen H. Edwards Gregory Kulczycki (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

pdf

Author: Gerard J. Holzmann (auth.) John Hatcliff Elena Zucca (eds.)
Language: English
Year: 2010

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 Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

pdf

Author: Elvira Albert Puri Arenas Samir Genaim Israel Herraiz German Puebla (auth.) Marko van Eekelen Olha Shkaravska (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

pdf

Author: Nikola Mitrović Jose A. Royo Eduardo Mena (auth.) Jan Gulliksen Morton Borup Harning Philippe Palanque Gerrit C. van der Veer Janet Wesson (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

pdf

Author: Spyros Kontogiannis Paul Spirakis (auth.) Panos M. Pardalos Steffen Rebennack (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

pdf

Author: Marco E. Lübbecke (auth.) Ralf Klasing (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

pdf

Author: Umberto Ferraro-Petrillo Irene Finocchi Giuseppe F. Italiano (auth.) Paola Festa (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

pdf

Author: Olivier Danvy Chung-chieh Shan Ian Zerny (auth.) Walid Mohamed Taha (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0