Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24¿28, 2018, Proceedings
|
EDV / Informatik |
91.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
|
EDV / Informatik |
55.90 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Model-Based Testing of Reactive Systems: Advanced Lectures
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Language Engineering: First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Multicore Software Engineering, Performance and Tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Agent-Oriented Software Engineering XIII: 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceeding
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Deductive Software Verification ¿ The KeY Book: From Theory to Practice
|
EDV / Informatik |
157.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 24 |