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

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

book Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

pdf

Author: Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

pdf

Author: Kung-Kiu Lau Faris M. Taweel (auth.) Heinz W. Schmidt Ivica Crnkovic George T. Heineman Judith A. Stafford (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

pdf

Author: Kathy Yelick (auth.) George Almási Călin Caşcaval Peng Wu (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

pdf

Author: Thomas Reps Mooly Sagiv Jörg Bauer (auth.) Thomas Reps Mooly Sagiv Jörg Bauer (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

pdf

Author: Edward A. Lee Yang Zhao (auth.) Fabrice Kordon Janos Sztipanovits (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

pdf

Author: John Hughes (auth.) Michael Hanus (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

pdf

Author: Toby Walsh (auth.) Jürgen Dix João Leite Guido Governatori Wojtek Jamroga (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

pdf

Author: Barry W. Boehm (auth.) Jürgen Münch Ye Yang Wilhelm Schäfer (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

pdf

Author: Ian Alexander (auth.) Roel Wieringa Anne Persson (eds.)
Language: English
Year: 2010

00

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

06.02.2024

0

0