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)

Tauchen Sie ein in die TLCA’99 Proceedings aus L’Aquila, wo fortgeschrittene Typisierungsstrategien für Lambda‑Kalküle vorgestellt werden und ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Typed Lambda Calculi and Applications
Hugendubel
53.49 EUR
Preis aktualisiert am: 09-10-2026 16:57:01
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 14-10-2026 03:13:34
Siehe Produktangebot
Gesponsert
Typed Lambda Calculi and Applications
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 14-10-2026 03:51:16
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540657630
MPN
Springer Berlin Heidelberg 6956545

Eigenschaften

Ähnliche Produkte

Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Aus37.44 EUR 2
Produkt anzeigen
Semantics of the Probabilistic Typed Lambda Calculus
Semantics of the Probabilistic Typed Lambda Calculus
Aus96.29 EUR 2
Produkt anzeigen
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Aus42.79 EUR 2
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
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
Typed Lambda Calculi and Applications
Aus53.49 EUR 1
Produkt anzeigen
Menü