Ergebnisse filtern
Fachgebiet
Medium
  • 1446
Erscheinungsjahr
  • 31
  • 32
  • 17
  • 6
  • 19
  • 54
  • 32
  • 44
  • 41
  • 52
  • 64
  • 57
  • 41
  • 7
  • 5
  • 32
  • 48
  • 113
  • 74
  • 46
  • 24
  • 47
  • 30
  • 48
  • 30
  • 36
  • 61
  • 55
  • 55
  • 43
  • 47
  • 38
  • 23
  • 26
  • 19
  • 18
  • 12
  • 8
  • 4
  • 1
  • 3
  • 1
  • 2
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 8
  • 2
  • 4
  • 2
  • 3
  • 6
  • 11
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 8
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 12
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 3
  • 6
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 4
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 6
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 10
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 8
  • 2
  • 3
  • 6
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 2
Verlag
  • 159
  • 870
  • 304
  • 1
  • 5
  • 69
  • 38
Preis
  • 3
  • 49
  • 1101
  • 293
Sprachen
  • 1446
  • 1
Verfügbarkeit
  • 1444
  • 2
Katalog
  • 1446
  • 119
1.446  Treffer  für „Lecture Notes in Computer Science“
    Rossi / Montanari | Principles and Practice of Constraint Programming - CP '95 | Buch | Sack Fachmedien

    Rossi / Montanari Principles and Practice of Constraint Programming - CP '95

    First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60299-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer | Constraint Processing | Buch | Sack Fachmedien

    Meyer Constraint Processing

    Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59479-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galinina / Koucheryavy / Andreev | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Galinina / Koucheryavy / Andreev Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28¿30, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67379-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polani / Yoshida / Browning | RoboCup 2003: Robot Soccer World Cup VII | Buch | Sack Fachmedien

    Polani / Yoshida / Browning RoboCup 2003: Robot Soccer World Cup VII

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahin / Winfield / Spears | Swarm Robotics | Buch | Sack Fachmedien

    Sahin / Winfield / Spears Swarm Robotics

    Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tscheligi / Lugmayr / Obrist | Changing Television Environments | Buch | Sack Fachmedien

    Tscheligi / Lugmayr / Obrist Changing Television Environments

    6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69477-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Winikoff / El Fallah Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Winikoff / El Fallah Seghrouchni Programming Multi-Agent Systems

    Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79042-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyeld / Docherty / Kenderdine | Virtual Systems and Multimedia | Buch | Sack Fachmedien

    Wyeld / Docherty / Kenderdine Virtual Systems and Multimedia

    13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78565-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Yahia / Belohlavek / Mephu Nguifo | Concept Lattices and Their Applications | Buch | Sack Fachmedien

    Ben Yahia / Belohlavek / Mephu Nguifo Concept Lattices and Their Applications

    Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78920-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersen / Palanque / Bernonville | Human Error, Safety and Systems Development | Buch | Sack Fachmedien

    Andersen / Palanque / Bernonville Human Error, Safety and Systems Development

    7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11749-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Riaño / Lenz / ten Teije | Knowledge Representation for Health Care | Buch | Sack Fachmedien

    Riaño / Lenz / ten Teije Knowledge Representation for Health Care

    AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015, Pavia, Italy, June 20, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26584-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Kopecki / Kari | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Ibarra / Kopecki / Kari Unconventional Computation and Natural Computation

    13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08122-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    del Pobil / Chinellato / Morales | From Animals to Animats 13 | Buch | Sack Fachmedien

    del Pobil / Chinellato / Morales From Animals to Animats 13

    13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08863-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauzy / Ortmeier | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Rauzy / Ortmeier Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado Kloos | Semantics of Digital Circuits | Buch | Sack Fachmedien

    Delgado Kloos Semantics of Digital Circuits

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18540-6
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Springer | The Munich Project CIP | Buch | Sack Fachmedien

    Springer The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swart / Roubens / Orlowska | Theory and Applications of Relational Structures as Knowledge Instruments | Buch | Sack Fachmedien

    Swart / Roubens / Orlowska Theory and Applications of Relational Structures as Knowledge Instruments

    COST Action 274, TARSKI, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makedon / Spirakis / Mehlhorn | VLSI Algorithms and Architectures | Buch | Sack Fachmedien

    Makedon / Spirakis / Mehlhorn VLSI Algorithms and Architectures

    Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16766-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kop / Pastor / Mayr | Conceptual Modeling - ER 2005 | Buch | Sack Fachmedien

    Kop / Pastor / Mayr Conceptual Modeling - ER 2005

    24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29389-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hasegawa / Dalmau Royo | Management of Multimedia Networks and Services | Buch | Sack Fachmedien

    Hasegawa / Dalmau Royo Management of Multimedia Networks and Services

    8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Barcelona, Spain, October 24-26, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29641-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang / Mueller / Hwang | Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications | Buch | Sack Fachmedien

    Chang / Mueller / Hwang Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications

    6th International Conference on E-learning and Games, Edutainment 2011, Taipei, Taiwan, September 7-9, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23455-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Hermann | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tari | On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE | Buch | Sack Fachmedien

    Tari On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

    OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48274-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-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