Suchergebnisse für ""Reynolds John C.""




Ähnliche Artikel


Theories of Programming and Formal Methods
53,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
1st ed. 2023
10. August 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-40435-1

Artificial Intelligence Theories and Methodologies
55,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ashraf Aboshosha
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Applied AI based R&D Projects
8. Juni 2020
LAP Lambert Academic Publishing

Engineering Theories of Software Intensive Systems
205,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Manfred Broy / Johannes Gruenbauer / David Harel / Tony Hoare (eds.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
2005 edition
15. Juli 2005
Springer / Springer Netherlands
11410270,978-1-4020-3530-2

Engineering Theories of Software Intensive Systems
206,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Manfred Broy / Johannes Gruenbauer / David Harel / Tony Hoare (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
2005 edition
15. Juli 2005
Springer / Springer Netherlands
978-1-4020-3531-9

Unifying Theories of Programming
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
1st ed. 2017
11. Januar 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-52227-2

CONCUR '90: Theories of Concurrency: Unification and Extension
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Theories of Concurrency: Unification and Extension
1990
15. August 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53048-0

Unifying Theories of Programming
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
1st edition 2019
12. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-31037-0

First-Order Programming Theories
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Tamas Gergely
Laszlo Ury
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1991.
5. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54277-3

Unifying Theories of Programming
35,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
2013
4. Januar 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-35704-6

Computing in Horn Clause Theories
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Peter Padawitz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
3. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-73826-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON