Suchergebnisse für ""Vasco T. Vasconcelos""




Ähnliche Artikel


Grid and Cooperative Computing - GCC 2004 Workshops
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hai Jin / Yi Pan / Nong Xiao / Jianhua Sun (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004
2004
14. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11323686,978-3-540-23578-1

Extensional Constructs in Intensional Type Theory
103,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Martin Hofmann
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
22. September 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1243-3

Sorts and Types in Artificial Intelligence
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bläsius
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
1990
12. Juli 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52337-6

Qualified Types
48,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mark P. Jones
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Theory and Practice
22. August 2003
Cambridge University Press

Network and Operating Systems Support for Digital Audio and Video
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Little
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995. Proceedings
1995.
30. November 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60647-5

Calendars as Types
52,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Stephanie Spranger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Data Modeling, Constraint Reasoning, and Type Checking with Calendars. Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2006)
17. Mai 2022
Utz Verlag

Types for Proofs and Programs
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Paul Callaghan / Zhaohui Luo / James McKinna / Robert Pollack (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6

Types for Proofs and Programs
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gimenez
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
1996.
7. Oktober 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10692689,978-3-540-65137-6

e-Business and Telecommunication Networks
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
30. November 2010
Springer / Springer Netherlands
978-90-481-7186-6

Computing and Combinatorics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Danny Z. Chen / D.T. Lee
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings
2006
31. Juli 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11809678,978-3-540-36925-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON