Sortierung ändern: Popularität Titel Veröffentlichung Preis
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_x6joc116431ykped0a38r8ywbeftqr.jpg) |
Principles of Programming Languages
|
EDV / Informatik |
46.90 |
|
Buch |
Sprache:
Englisch / Autor: Gilles Dowek / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_8gvnrp2h3bhrztv9w8eg64v4amy6b4z.jpg) |
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ujk79gl15vb1z5ef6xa6qwnqjdytgen.jpg) |
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies: Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2
|
EDV / Informatik |
55.90 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_yvx9wm64ls2ntxdpzl3lbz6w21dm8ng.jpg) |
Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
|
EDV / Informatik |
55.90 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_wau86lmzzfj1kkp7hzej8l4ueci1t6y.jpg) |
Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_l2h6wbktnds7n3peche5z42i1uchzmg.jpg) |
Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_mu6gjln1w7tvrzrhymiky0d0rhj142w.jpg) |
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_3su25xt63drqc4f7u7loh5gbaw0k5tx.jpg) |
Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_j15hacxd5e0itjl41prrwzen975ifpw.jpg) |
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_tiwamh03xkxv74925z2x3rys2eoulzp.jpg) |
Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Note
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_4451p1rbqoznzkmxpr9savfr2s72dbr.jpg) |
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_hueqz2tfa5wq2yellbiuaymk4robhak.jpg) |
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_61lvto6yctuxtkahm1fsrl428laao9b.jpg) |
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_nj3p100aqwlyry7yivb68lpo0sw5pmv.jpg) |
Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_temy7b2genga51ipj22cuprpm4l3zqx.jpg) |
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_vml2y99k6elottgtcppmosgosstqc5t.jpg) |
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014
|
EDV / Informatik |
67.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_kn15epi4jbwh6eubws3hwkuigcckr7v.jpg) |
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
|
EDV / Informatik |
67.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_x4o7370w6lzn1wqpb7q6t1ambben8rq.jpg) |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_5dl9k3ry18x231tnnkvsmwewppygjz7vy.jpg) |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_8gow8zp7b05iq0mpdmdz888m1y0z9m.jpg) |
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_glvbz002afq3wsgwt9mz30qnh5pvfo.jpg) |
Abstraction, Reformulation and Approximation: 6th International Symposium, Sara 2005, AIRTH Castle, Scotland, UK, July 26-29, 2005, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ctuc9nqk1365srvatbcsy9ltoz65qw.jpg) |
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 26 |