Typed Lambda Calculi and Applications

Ein Fachband der zweiten internationalen Konferenz zu typisierten Lambda‑Kalkülen aus Edinburgh 1995, der innovative theoretische Konzepte mit konk ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Typed Lambda Calculi and Applications
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-10-2026 11:57:56
Siehe Produktangebot
Gesponsert
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 14-10-2026 03:08:01
Siehe Produktangebot
Gesponsert
Typed Lambda Calculi and Applications
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 14-10-2026 03:56:21
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 354059048X
MPN
Springer Berlin Heidelberg 6903003

Eigenschaften

Ähnliche Produkte

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science, 1210, Band 1210)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science, 1210, Band 1210)
Aus53.49 EUR 3
Produkt anzeigen
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science, 664, Band 664)
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science, 664, Band 664)
Aus53.49 EUR 3
Produkt anzeigen
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581, Band 1581)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581, Band 1581)
Aus53.49 EUR 3
Produkt anzeigen
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science, 968, Band 968)
Aus53.49 EUR 3
Produkt anzeigen
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science, 2701, Band 2044)
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science, 2701, Band 2044)
Aus53.49 EUR 2
Produkt anzeigen
Menü