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

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

book Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

pdf

Author: Tom Gilb (auth.) Frank Bomarius Seija Komi-Sirviö (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

pdf

Author: K. C. Sivaramakrishnan Lukasz Ziarek (auth.) Matthew Flatt Hai-Feng Guo (eds.)
Language: English
Year: 2014

00

27.01.2024

1

0

book Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

pdf

Author: Filippo Bonchi Georgiana Caltais Damien Pous (auth.) Chung-chieh Shan (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

pdf

Author: Eric Goubault (auth.) Francesco Logozzo Manuel Fähndrich (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

pdf

Author: Duc Minh Le Hyesun Lee Kyo Chul Kang Lee Keun (auth.) John Favaro Maurizio Morisio (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Human Factors in Computing and Informatics: First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Human Factors in Computing and Informatics: First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

pdf

Author: Georgios Kouroupetroglou Nikolaos Papatheodorou Dimitrios Tsonos (auth.) Andreas Holzinger Martina Ziefle Martin Hitz Matjaž Debevc (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

pdf

Author: Sofiane Ouazine Karim Abbas (auth.) Alexander Dudin Koen De Turck (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

pdf

Author: Edmund M. Clarke William Klieber (auth.) Bertrand Meyer Martin Nordio (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

pdf

Author: Bob Coecke Ross Duncan (auth.) Robert Glück Tetsuo Yokoyama (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proce

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proce

pdf

Author: Tevfik Bultan (auth.) Dirk Beyer Michele Boreale (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0