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

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

book Architecting Dependable Systems V

Architecting Dependable Systems V

pdf

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

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 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 Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings

Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings

pdf

Author: Bashar Nuseibeh (auth.) M. Ali Babar Matias Vierimaa Markku Oivo (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II

Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II

pdf

Author: Blair Lehman Sidney D’Mello Natalie Person (auth.) Vincent Aleven Judy Kay Jack Mostow (eds.)
Language: English
Year: 2010

00

06.02.2024

1

0