Ergebnisse filtern
Fachgebiet
Medium
  • 1327
Erscheinungsjahr
  • 116
  • 60
  • 117
  • 17
  • 15
  • 2
  • 3
  • 14
  • 10
  • 7
  • 17
  • 14
  • 20
  • 26
  • 26
  • 32
  • 5
  • 18
  • 44
  • 111
  • 114
  • 50
  • 20
  • 48
  • 19
  • 24
  • 13
  • 13
  • 55
  • 40
  • 38
  • 42
  • 36
  • 33
  • 22
  • 26
  • 16
  • 17
  • 11
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 24
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 24
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 78
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 9
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 78
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 77
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 5
  • 3
  • 2
  • 5
  • 10
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 78
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 24
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 76
  • 7
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 78
  • 4
  • 2
  • 4
  • 6
  • 2
  • 2
  • 76
  • 2
  • 2
  • 9
  • 4
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 78
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 8
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 6
  • 2
  • 78
  • 24
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 4
  • 3
  • 3
  • 2
  • 5
  • 5
  • 2
  • 5
  • 2
  • 5
  • 5
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
Verlag
  • 1257
  • 61
  • 1
  • 8
Preis
  • 1
  • 24
  • 962
  • 340
Sprachen
  • 1327
Verfügbarkeit
  • 1243
  • 84
Katalog
  • 1327
  • 99
1.327  Treffer  für „Lecture Notes in Computer Science“
    Transactions on Rough Sets V | Buch | Sack Fachmedien

    Transactions on Rough Sets V

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39382-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muggleton / Otero / Tamaddoni-Nezhad | Inductive Logic Programming | Buch | Sack Fachmedien

    Muggleton / Otero / Tamaddoni-Nezhad Inductive Logic Programming

    16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73846-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacquet | Conclog: A Methodological Approach to Concurrent Logic Programming | Buch | Sack Fachmedien

    Jacquet Conclog: A Methodological Approach to Concurrent Logic Programming

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54938-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kowalczyk / Monière | Design and Architecture for Signal and Image Processing | Buch | Sack Fachmedien

    Kowalczyk / Monière Design and Architecture for Signal and Image Processing

    19th International Workshop, DASIP 2026, Krakow, Poland, January 26 - 28, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-23870-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kruse / Siegel | Symbolic and Quantitative Approaches to Uncertainty | Buch | Sack Fachmedien

    Kruse / Siegel Symbolic and Quantitative Approaches to Uncertainty

    European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Kopecek / Pala | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Kopecek / Pala Text, Speech and Dialogue

    9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39090-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meng / Yung / Kambourakis | Attacks and Defenses for the Internet-of-Things | Buch | Sack Fachmedien

    Meng / Yung / Kambourakis Attacks and Defenses for the Internet-of-Things

    8th International Conference, ADIoT 2025, Changzhou, China, November 14-16, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-20079-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancia / Hartmanns | Model Checking Software | Buch | Sack Fachmedien

    Ciancia / Hartmanns Model Checking Software

    32nd International Symposium, SPIN 2026, Turin, Italy, April 15-16, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-35637-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Dastani / Hübner / Logan | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Hübner / Logan Programming Multi-Agent Systems

    10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38699-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Yetongnon / Chbeir | Advanced Internet Based Systems and Applications | Buch | Sack Fachmedien

    Damiani / Yetongnon / Chbeir Advanced Internet Based Systems and Applications

    Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01349-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fratta / Schulzrinne / Takahashi | NETWORKING 2009 | Buch | Sack Fachmedien

    Fratta / Schulzrinne / Takahashi NETWORKING 2009

    8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01398-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beeri / Buneman | Database Theory - ICDT'99 | Buch | Sack Fachmedien

    Beeri / Buneman Database Theory - ICDT'99

    7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65452-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braspenning / Thuijsman / Weijters | Artificial Neural Networks | Buch | Sack Fachmedien

    Braspenning / Thuijsman / Weijters Artificial Neural Networks

    An Introduction to ANN Theory and Practice
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mendes / Yan | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Chen / Mendes / Yan Intelligent Robotics and Applications

    11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-97585-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haindl / Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Haindl / Kittler / Roli Multiple Classifier Systems

    7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72481-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nikolaidis / Barbeau / Kranakis | Ad-Hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Nikolaidis / Barbeau / Kranakis Ad-Hoc, Mobile, and Wireless Networks

    Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22543-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Afrati / Kolaitis | Database Theory - ICDT '97 | Buch | Sack Fachmedien

    Afrati / Kolaitis Database Theory - ICDT '97

    6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62222-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moniz Pereira / Przymusinski | Logic Programming and Knowledge Representation | Buch | Sack Fachmedien

    Moniz Pereira / Przymusinski Logic Programming and Knowledge Representation

    Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64958-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bürckert | A Resolution Principle for a Logic with Restricted Quantifiers | Buch | Sack Fachmedien

    Bürckert A Resolution Principle for a Logic with Restricted Quantifiers

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55034-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulrab / Pecuchet | Word Equations and Related Topics | Buch | Sack Fachmedien

    Abdulrab / Pecuchet Word Equations and Related Topics

    Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56730-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Comon Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Shangguang | Internet of Vehicles -- Technologies and Services | Buch | Sack Fachmedien

    Hsu / Shangguang Internet of Vehicles -- Technologies and Services

    First International Conference, IOV 2014, Beijing, China, September 1-3, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11166-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Raedt / Frasconi / Kersting | Probabilistic Inductive Logic Programming | Buch | Sack Fachmedien

    De Raedt / Frasconi / Kersting Probabilistic Inductive Logic Programming

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-78651-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Buchberger / Davenport | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Buchberger / Davenport Mathematical Knowledge Management

    Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00568-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gimenez / Paulin-Mohring | Types for Proofs and Programs | Buch | Sack Fachmedien

    Gimenez / Paulin-Mohring Types for Proofs and Programs

    International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular