Freunden von diesem Artikel berichten:
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science Martin Hofmann 2003 edition
Preis
SFr. 44,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 1. - 9. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science
Martin Hofmann
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.
320 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 27. Mai 2003 |
| ISBN13 | 9783540403326 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 320 |
| Maße | 155 × 235 × 17 mm · 498 g |
| Sprache | Deutsch |
| Redakteur | Hofmann, Martin |
Weitere Titel von Martin Hofmann
Alle anzeigen
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Taschenbuch) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/995/9783658340995.jpg?martin-hofmann-2022-a-holistic-approach-to-process-optimisation-tools-and-practical-examples-to-create-efficient-workflows-management-for-professionals-taschenbuch&class=scaled&v=1695938097)
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Gebundenes Buch) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/964/9783658340964.jpg?martin-hofmann-2021-a-holistic-approach-to-process-optimisation-tools-and-practical-examples-to-create-efficient-workflows-management-for-professionals-gebundenes-buch&class=scaled&v=1621074733)
![Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Taschenbuch) [1. Aufl. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/257/9783658266257.jpg?martin-hofmann-2019-prozessoptimierung-als-ganzheitlicher-ansatz-mit-konkreten-praxisbeispielen-fur-effiziente-arbeitsablaufe-taschenbuch&class=scaled&v=1575891903)
![Cover for Martin Hofmann · Extensional Constructs in Intensional Type Theory - Distinguished Dissertations (Taschenbuch) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/433/9781447112433.jpg?martin-hofmann-2011-extensional-constructs-in-intensional-type-theory-distinguished-dissertations-taschenbuch&class=scaled&v=1410058149)
![Cover for Martin Hofmann · Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceed (Taschenbuch) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/045/9783642198045.jpg?martin-hofmann-2011-foundations-of-software-science-and-computational-structures-14th-international-conference-fossacs-2011-held-as-part-of-the-joint-european-conference-on-theory-and-practice-of-software-etaps-2011-saarbrucken-germany-march-26-april-3-201&class=scaled&v=1493486598)
![Cover for Martin Hofmann · Automatentheorie Und Logik (Taschenbuch) [German, 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/897/9783642180897.jpg?martin-hofmann-2011-automatentheorie-und-logik-taschenbuch&class=scaled&v=1408480144)
![Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Taschenbuch) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/615/9783824461615.jpg?martin-hofmann-1995-konzeption-eines-prozessinformations-und-managementsystems-taschenbuch&class=scaled&v=1493442390)
Alle Titel von Martin Hofmann ansehen ( u. a. Taschenbuch , CD , Gebundenes Buch und Buch )