この商品を友人に教える:
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
価格
Mex$ 1.019
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月4日 - 年12月16日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2003年5月27日 |
| ISBN13 | 9783540403326 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 320 |
| 寸法 | 155 × 235 × 17 mm · 498 g |
| 言語 | ドイツ語 |
| 編集者 | Hofmann, Martin |
すべて表示
Martin Hofmannの他の作品を見る
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Paperback Book) [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-paperback-book&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 (Hardcover Book) [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-hardcover-book&class=scaled&v=1621074733)
![Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Paperback Book) [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-paperback-book&class=scaled&v=1575891903)
![Cover for Martin Hofmann · Extensional Constructs in Intensional Type Theory - Distinguished Dissertations (Paperback Book) [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-paperback-book&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 (Paperback Book) [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 (Paperback Book) [German, 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/897/9783642180897.jpg?martin-hofmann-2011-automatentheorie-und-logik-paperback-book&class=scaled&v=1408480144)
![Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Paperback Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/615/9783824461615.jpg?martin-hofmann-1995-konzeption-eines-prozessinformations-und-managementsystems-paperback-book&class=scaled&v=1493442390)
Martin Hofmannのすべてを見る ( 例： Paperback Book , CD , Hardcover Book および Book )