Sortierung ändern: Popularität Titel Veröffentlichung Preis
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_j9fa8vokn3sz9tbut21e11jzi6h61l.jpg) |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_6kv037rws4gzd4bwgtr8qbik3d9qmwf9a.jpg) |
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_2vnpl91crwxelllendfm7fi0fypc0k.jpg) |
Extreme Programming and Agile Processes in Software Engineering: 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ab2o5p6tgpklir2brq4jdlvkqbhpmz.jpg) |
Fast Track UML 2.0
|
EDV / Informatik |
32.50 |
|
Buch |
Sprache:
Englisch / Autor: Kendall Scott / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_dui9reuilfe5253oprvqpji7h0yljj.jpg) |
Advances in Cryptology – EUROCRYPT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8,
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_uzkm50qhtizwctqxpr2lqmp7qh2m5j.jpg) |
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_o7tqd6uwc7dxo6l265i27bldxgiprlb.jpg) |
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_vgahgs5diq9lfg0q3hzvrh7qugsv94m.jpg) |
Mutation Testing for the New Century
|
EDV / Informatik |
207.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_hcvtk072c9zb14rbddnwyuq99zdmogx.jpg) |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_rc7o92piyjvivg7eoqkz6rdc5w0jia.jpg) |
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
|
EDV / Informatik |
144.00 |
|
Buch |
Sprache:
Englisch / Autor: Jörg Kienzle / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_0gcheh0muye9r082q29jua4k15g5vd.jpg) |
Middleware 2003: ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_62p9w0tf4hbjfyuc1689f3q78wr0lm.jpg) |
Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_fs6lrj2szlx9gq2mg0qcex44jhoxrv.jpg) |
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
|
Philosophie |
169.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_vyv5wwafu1c8qhlpux91118dgkfrnb.jpg) |
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
|
EDV / Informatik |
120.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: Fourth International Conference on Intelligent Comp
|
EDV / Informatik |
207.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_4d11iep2ibb8b5a7p511hhe29tpfiau.jpg) |
Open Source Ecosystems: Diverse Communities Interacting - 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden,
|
EDV / Informatik |
169.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_2rrh8sdr97q4419kuxpaz2zq3ig4op.jpg) |
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
|
EDV / Informatik |
117.00 |
|
Buch |
Sprache:
Englisch / Autor: Daoqi Yang / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_g52awmlalxsl4346r7z9zmumbirfgl.jpg) |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_asg2qmw4e7fvlnf7kvknyujdaqclvis.jpg) |
Holub on Patterns: Learning Design Patterns by Looking at Code
|
EDV / Informatik |
103.00 |
|
Buch |
Sprache:
Englisch / Autor: Allen Holub / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_b4bgm4vbk26b2evczxo00vzywao9xoaak.jpg) |
Einführung in JavaFX/OpenJFX: Moderne GUIs für RIAs und Java-Applikationen
|
EDV / Informatik |
66.00 |
|
Buch |
Sprache:
Deutsch / Autor: Ralph Steyer / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_oltsq8xojgd0m6o3mnzcvb21zjvfwws.jpg) |
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
|
Philosophie |
169.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_mq9jrvi0v7tjdr33ta6y0mp3k941ie.jpg) |
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Rev
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 21 |