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

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

book Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

pdf

Author: Dino Distefano (auth.) María Alpuente Byron Cook Christophe Joubert (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

pdf

Author: Lidia Fuentes Pablo Sánchez (auth.) Shmuel Katz Harold Ossher Robert France Jean-Marc Jézéquel (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

pdf

Author: Rastislav Bodik (auth.) Jens Palsberg Zhendong Su (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

pdf

Author: Greg Bronevetsky Daniel Marques Keshav Pingali Radu Rugina (auth.) Vikram Adve María Jesús Garzarán Paul Petersen (eds.)
Language: English
Year: 2008

00

06.02.2024

0

0

book Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

pdf

Author: Alan J. Hu (auth.) Karen Yorav (eds.)
Language: English
Year: 2008

00

06.02.2024

0

0

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