Suchergebnisse für ""Pawel Urzyczyn""




Ähnliche Artikel


Typed Lambda Calculi and Applications
40,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
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Samson Abramsky (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
2001
20. April 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41960-0

Typed Lambda Calculi and Applications
40,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

Typed Lambda Calculi and Applications
40,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

Typed Lambda Calculi and Applications
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Marc Bezem / Jan F. Groote (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
1993.
3. März 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56517-8

Typed Lambda Calculi and Applications
40,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

Typed Lambda Calculi and Applications
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
2009
8. Juni 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12695461,978-3-642-02272-2

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

The Essence of Computation
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Torben Mogensen / David Schmidt / I. Hal Sudborough (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
2002
13. Dezember 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00326-7

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



Ähnlichkeitssuche: Fact®Finder von OMIKRON