Book serie: / Книги серии: The expert's voice in programming » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: The expert's voice in programming » Page 9

book Beginning Haskell: a project-based approach

Beginning Haskell: a project-based approach

pdf

Author: Mena Alejandro Serrano
Language: English
Year: 2014

00

06.02.2024

0

0

book Automatic Quantum Computer Programming: A Genetic Programming Approach

Automatic Quantum Computer Programming: A Genetic Programming Approach

pdf

Author: Lee Spector (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

pdf

Author: Heinrich Rust (auth.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

pdf

Author: Michael Codish Yoav Fekete Amit Metodi (auth.) Valeria Bertacco Axel Legay (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

pdf

Author: A. Fehnker M. Fruth A. K. McIver (auth.) Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

06.02.2024

1

0

book Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

pdf

Author: Richard Hull Nanjangud C. Narendra Anil Nigam (auth.) Luciano Baresi Chi-Hung Chi Jun Suzuki (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

pdf

Author: Yvonne Rogers (auth.) Andreas Holzinger Klaus Miesenberger (eds.)
Language: English
Year: 2009

00

06.02.2024

1

0

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 Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

pdf

Author: Anne E. Haxthausen (auth.) Bettina Buth Gerd Rabe Till Seyfarth (eds.)
Language: English
Year: 2009

00

06.02.2024

1

0