Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Sp » Page 12 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Sp » Page 12

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

pdf

Author: Willem Bekkers Inge van de Weerd (auth.) Andreas Riel Rory O’Connor Serge Tichkiewitch Richard Messnarz (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

pdf

Author: Robert Nieuwenhuis (auth.) David Cohen (eds.)
Language: English
Year: 2010

00

06.02.2024

2

0

book Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

pdf

Author: Tarek Abdelzaher (auth.) Krishnendu Chatterjee Thomas A. Henzinger (eds.)
Language: English
Year: 2010

00

06.02.2024

1

0

book Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

pdf

Author: Joerg Evermann Ivan Porres (auth.) Jörg Kienzle (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

pdf

Author: Wiebe van der Hoek (auth.) Chiaki Sakama Sebastian Sardina Wamberto Vasconcelos Michael Winikoff (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

pdf

Author: Hans Daduna Lars Peter Saul (auth.) Jens B. Schmitt (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

pdf

Author: Murad Banaji (auth.) Katsuhisa Horimoto Masahiko Nakatsui Nikolaj Popov (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Transactions on High-Performance Embedded Architectures and Compilers III

Transactions on High-Performance Embedded Architectures and Compilers III

pdf

Author: Miquel Moreto Francisco J. Cazorla Alex Ramirez Mateo Valero (auth.) Per Stenström (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

pdf

Author: Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0