![The Parametric Lambda Calculus The Parametric Lambda Calculus](https://bilder.buecher.de/produkte/32/32056/32056358m.jpg)
Broschiertes Buch
A Metamodel for Computation
Softcover reprint of hardcover 1st ed. 2004
4. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-05746-5
Gebundenes Buch | 39,99 € |
![The Parametric Lambda Calculus The Parametric Lambda Calculus](https://bilder.buecher.de/produkte/12/12302/12302568m.jpg)
Gebundenes Buch
A Metamodel for Computation
2004
5. Juli 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20032-1
![Theoretical Computer Science Theoretical Computer Science](https://bilder.buecher.de/produkte/23/23294/23294557m.jpg)
Broschiertes Buch
7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
2001
21. September 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42672-1
Ähnliche Artikel
![Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications](https://bilder.buecher.de/produkte/09/09217/09217656m.jpg)
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 Typed Lambda Calculi and Applications](https://bilder.buecher.de/produkte/23/23293/23293795m.jpg)
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
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/09/09222/09222737m.jpg)
Broschiertes Buch
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
1994.
20. Juli 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58277-9
![Semantics of the Probabilistic Typed Lambda Calculus Semantics of the Probabilistic Typed Lambda Calculus](https://bilder.buecher.de/produkte/53/53570/53570739m.jpg)
Broschiertes Buch
Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Softcover reprint of the original 1st ed. 2017
4. Mai 2018
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-56872-9
![Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications](https://bilder.buecher.de/produkte/09/09227/09227965m.jpg)
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
![Models of Computation Models of Computation](https://bilder.buecher.de/produkte/53/53578/53578431m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2017
18. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-82689-9
![Mathematical Foundations of Computer Science 1996 Mathematical Foundations of Computer Science 1996](https://bilder.buecher.de/produkte/09/09241/09241472m.jpg)
Broschiertes Buch
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
1996.
7. August 1996
Springer, Berlin
![Monotonicity in Logic and Language Monotonicity in Logic and Language](https://bilder.buecher.de/produkte/60/60503/60503979m.jpg)
Broschiertes Buch
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
1st ed. 2020
17. Dezember 2020
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-62842-3
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/09/09231/09231025m.jpg)
Broschiertes Buch
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
1999.
8. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704371,978-3-540-66536-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON