Suchergebnisse für ""Jose Luiz Fiadeiro""




Ähnliche Artikel


Verification of Object-Oriented Software. The KeY Approach
75,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Bernhard Beckert (Volume ed.) / Reiner Hähnle / Peter H. Schmitt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Foreword by K. Rustan M. Leino
2007
3. Januar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11960881,978-3-540-68977-5

Radical Innovations of Software and Systems Engineering in the Future
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Martin Wirsing / Alexander Knapp / Simonetta Balsamo (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21179-2

Software Engineering for Multi-Agent Systems III
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ricardo Choren / Alessandro Garcia / Carlos Lucena / Alexander Romanovsky (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Research Issues and Practical Applications
2005
1. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-24843-9

Formal Methods for the Design of Real-Time Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Marco Bernardo / Flavio Corradini (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315995,978-3-540-23068-7

Agent-Oriented Software Engineering IV
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Paolo Giorgini / Jörg P. Müller / James Odell (Hgg.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
2004
13. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20826-6

Formal Methods for Components and Objects
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1

Abstract State Machines 2003: Advances in Theory and Practice
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Börger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
21. Februar 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00624-4

Fundamental Approaches to Software Engineering
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ralf-Detlef Kutsche / Herbert Weber (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
2002
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43353-8

Agent-Oriented Software Engineering VIII
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Michael Luck / Lin Padgham (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
2008
29. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12262915,978-3-540-79487-5

Agent-Oriented Software Engineering V
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
James Odell / Paolo Giorgini / Müller, Jörg, P. (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
2005
24. Januar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11375104,978-3-540-24286-4



Ähnlichkeitssuche: Fact®Finder von OMIKRON