Fortell venner om denne varen:
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers - Lecture Notes in Computer Science Holger Ingmar Meinhardt 2002 edition
Pris
NOK 499
Bestillingsvarer
Forventes levert 23. nov - 1. des
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Holger Ingmar Meinhardt
Legg til iMusic ønskeliste
eller
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers - Lecture Notes in Computer Science
Holger Ingmar Meinhardt
This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
248 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 20. februar 2002 |
| ISBN13 | 9783540432876 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 248 |
| Mål | 155 × 233 × 13 mm · 367 g |
| Språk | Tysk |
| Redaktør | Callaghan, Paul |
| Redaktør | Luo, Zhaohui |
| Redaktør | McKinna, James |
| Redaktør | Pollack, Robert |
![Cover for Holger Ingmar Meinhardt · The Pre-Kernel as a Tractable Solution for Cooperative Games: An Exercise in Algorithmic Game Theory - Theory and Decision Library C (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/149/9783662513149.jpg?holger-ingmar-meinhardt-2016-the-pre-kernel-as-a-tractable-solution-for-cooperative-games-an-exercise-in-algorithmic-game-theory-theory-and-decision-library-c-pocketbok&class=scaled&v=1474966240)
![Cover for Holger Ingmar Meinhardt · Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions - Lecture Notes in Computer Science (Pocketbok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/821/9783540432821.jpg?holger-ingmar-meinhardt-2002-agent-oriented-software-engineering-ii-second-international-workshop-aose-2001-montreal-canada-may-29-2001-revised-papers-and-invited-contributions-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1533989352)
![Cover for Dieter Frey · Mitarbeiterfuhrung in der Wissenschaft: 100 Fragen - 100 Antworten fur die Praxis (Pocketbok) [1. Aufl. 2025 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Innbunden bok) [1. Aufl. 2022 edition] (2028)](https://imusic.b-cdn.net/images/item/original/558/9783642229558.jpg?2028-multiple-sklerose-klinik-therapie-patientenfuhrung-innbunden-bok&class=scaled&v=1510654586)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-pocketbok&class=scaled&v=1569154171)
![Cover for Georg Glaeser · A Mathematical Picture Book (Innbunden bok) [1st ed. 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2027-a-mathematical-picture-book-innbunden-bok&class=scaled&v=1592396260)
![Cover for Georg Kupper · Nebenstrafrecht (Pocketbok) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/652/9783540890652.jpg?georg-kupper-2027-nebenstrafrecht-pocketbok&class=scaled&v=1487269550)
![Cover for Yuling Xie · Ore Genesis and Deposit Model: The Mianning-Dechang REE Belt in Western Sichuan Province, China - Springer Geology (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/828/9783662539828.jpg?yuling-xie-2027-ore-genesis-and-deposit-model-the-mianning-dechang-ree-belt-in-western-sichuan-province-china-springer-geology-innbunden-bok&class=scaled&v=1503410043)
![Cover for Rudolf Streinz · Verfassungsrecht III: Die Einbindung der Bundesrepublik Deutschland in die Volkerrechtsgemeinschaft und in die Europaische Union (Pocketbok) [1. Aufl. 2023 edition] (2027)](https://imusic.b-cdn.net/images/item/original/579/9783540010579.jpg?rudolf-streinz-2027-verfassungsrecht-iii-die-einbindung-der-bundesrepublik-deutschland-in-die-volkerrechtsgemeinschaft-und-in-die-europaische-union-pocketbok&class=scaled&v=1505073788)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Innbunden bok) [1st ed. 2017 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-innbunden-bok&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Pocketbok) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-pocketbok&class=scaled&v=1488023188)
![Cover for Ralf Brinktrine · Fallsammlung zum Staatsrecht - Juristische ExamensKlausuren (Pocketbok) [2. Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/614/9783540890614.jpg?ralf-brinktrine-2027-fallsammlung-zum-staatsrecht-juristische-examensklausuren-pocketbok&class=scaled&v=1608708315)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Innbunden bok) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2027-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-innbunden-bok&class=scaled&v=1606304271)
![Cover for Lorenz Oken – Gesammelte Werke: Band 3: Schriften zur Naturforschung und Politik (Innbunden bok) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/243/9783740012243.jpg?2027-lorenz-oken-gesammelte-werke-band-3-schriften-zur-naturforschung-und-politik-innbunden-bok&class=scaled&v=1509376341)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-innbunden-bok&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Bok) [4. Auflage 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2027-handbuch-unternehmensorganisation-strategien-planung-umsetzung-bok&class=scaled&v=1779860172)
![Cover for Deren Li · Spatial Data Mining: Theory and Application (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/730/9783662739730.jpg?deren-li-2027-spatial-data-mining-theory-and-application-innbunden-bok&class=scaled&v=1788246484)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Pocketbok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2027-musical-scales-and-their-mathematics-mathematics-study-resources-pocketbok&class=scaled&v=1735177753)
