Suchergebnisse für ""Udaya Shankar""




Ähnliche Artikel


Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
1st ed. 2015
21. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22968-3

Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
2014
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10430-0

The Correctness-by-Construction Approach to Programming
63,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Derrick G. Kourie
Bruce W. Watson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2012
9. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44854-6

Programming Languages and Systems
75,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22¿29, 2017, Proceedings
1st ed. 2017
19. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54433-4

Ad-hoc Networks and Wireless
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers
2015
11. März 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46337-6

Tools and Algorithms for the Construction and Analysis of Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54576-8

Tools and Algorithms for the Construction and Analysis of Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54579-9

Meta-Programming and Model-Driven Meta-Program Development
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Vytautas Stuikys
Robertas Damasevicius
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Principles, Processes and Techniques
2013
20. September 2014
Springer / Springer London / Springer, Berlin
978-1-4471-5954-4

Stabilization, Safety, and Security of Distributed Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
2014
12. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382349,978-3-319-11763-8

Specifications of Database Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop on Specifications of Database Systems, Glasgow, 3¿5 July 1991
1st Edition.
20. Januar 1992
Springer / Springer London / Springer, Berlin
978-3-540-19732-4



Ähnlichkeitssuche: Fact®Finder von OMIKRON