Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sel
|
EDV / Informatik |
135.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Se
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
|
EDV / Informatik |
188.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
QED at Large: A Survey of Engineering of Formally Verified Software
|
EDV / Informatik |
142.00 |
|
| Buch |
Sprache:
Englisch / Autor: Talia Ringer / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Sele
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pap
|
EDV / Informatik |
68.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Pa
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Pa
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
|
EDV / Informatik |
188.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Sele
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Mastering Claude Code & Claude Cowork: Agentic AI Development, MCP Servers, Autonomous Agents, and Business Automation: The Verified 2026 Guide - Offi
|
EDV / Informatik |
23.50 |
|
| Buch |
Sprache:
Englisch / Autor: Claude AI Learning Se. . . Editorial Team / Einband: Kartoniert |
|
|
|
|
|
Software Engineering in the Age of AI: Rethinking How Systems Are Built, Verified, and Governed
|
EDV / Informatik |
76.00 |
|
| Buch |
 ANGEKÜNDIGT (Januar 2027) Sprache:
Englisch / Autor: Roberto Trunfio / Einband: Kartoniert |
|
|
|
|
 |
SQL Interview Questions Complete Guide: 350+ Fully Solved and Database-Verified Interview Questions for Data Analyst, Data Engineer, Software Engineer
|
EDV / Informatik |
38.90 |
|
| Buch |
Sprache:
Englisch / Autor: Mir Hossain / Einband: Kartoniert |
|
|
|
|
 |
Voter Verified Paper Audit Trail: Voting Machine, Election Fraud, Computer Storage, Recording Medium, Proprietary Software
|
Geschichte / Politik / Kultur |
166.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 1 | |
Newsfeed | 
Facebook | 
Twitter
