Suchergebnisse für ""Samson Abramsky""




Ähnliche Artikel


Typed Lambda Calculi and Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Martin Hofmann (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
2003
27. Mai 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40332-6

Typed Lambda Calculi and Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pawel Urzyczyn (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
2005
7. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25593-2

Typed Lambda Calculi and Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Groote
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
1997.
12. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549470,978-3-540-62688-6

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
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6

Functional and Logic Programming
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Herbert Kuchen / Kazunori Ueda (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
2001
23. Februar 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41739-2

Mathematics of Program Construction
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Roland Backhouse / Jose Nuno Oliveira (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
2000.
21. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67727-7

Types for Proofs and Programs
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Thierry Coquand / Peter Dybjer / Bengt Nordström / Jan Smith (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
2000.
13. Dezember 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41517-6

Typed Lambda Calculi and Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dezani-Ciancaglini
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
1995.
17. März 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59048-4

Types for Proofs and Programs
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Herman Geuvers / Freek Wiedijk (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
2003
28. April 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-14031-3

Typed Lambda Calculi and Applications
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jean-Yves Girard (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
1999.
24. März 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703139,978-3-540-65763-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON