Suchergebnisse für ""Dusko Pavlovic""




Ähnliche Artikel


Types for Proofs and Programs
39,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
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6

Types for Proofs and Programs
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dybjer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9

Category Theory and Computer Science
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pitt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Paris, France, September 3-6, 1991. Proceedings
1991.
21. August 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54495-1

Category Theory and Computer Science
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Moggi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
1997.
20. August 1997
Springer, Berlin
10546414

Types for Proofs and Programs
39,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

Types for Proofs and Programs
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Thorsten Altenkirch / Wolfgang Naraschewski / Bernhard Reus (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
1999.
22. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704119,978-3-540-66537-3

Types for Proofs and Programs
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Berardi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
1996.
2. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61780-8

Category Theory and Computer Science
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pitt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
1995.
21. Juli 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
10486486,978-3-540-60164-7

Theoretical Aspects of Computer Software
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Hagiya
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings
1994.
30. März 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
10132087,978-3-540-57887-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON