Ergebnisse filtern
Fachgebiet
Medium
  • 1786
Erscheinungsjahr
  • 11
  • 96
  • 144
  • 33
  • 17
  • 7
  • 20
  • 47
  • 42
  • 40
  • 36
  • 42
  • 67
  • 51
  • 46
  • 57
  • 13
  • 41
  • 47
  • 126
  • 122
  • 44
  • 26
  • 54
  • 35
  • 50
  • 27
  • 38
  • 57
  • 55
  • 52
  • 43
  • 40
  • 42
  • 23
  • 24
  • 21
  • 19
  • 11
  • 9
  • 4
  • 1
  • 3
  • 1
  • 2
Autoren
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 17
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 7
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 24
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 24
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 21
  • 2
  • 6
  • 2
  • 6
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 12
  • 3
  • 2
  • 5
  • 2
  • 3
  • 8
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 13
  • 2
  • 18
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 16
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 16
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 7
  • 4
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 10
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 12
  • 2
  • 2
  • 76
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 19
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 7
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 11
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 3
  • 2
  • 10
  • 2
  • 3
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 6
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 10
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 24
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 6
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 77
  • 7
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 11
  • 4
  • 6
  • 4
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 8
  • 9
  • 5
  • 3
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 76
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 15
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 8
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 4
  • 2
  • 13
  • 3
  • 2
  • 2
  • 4
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 24
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 76
  • 3
  • 3
  • 16
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 5
  • 4
  • 4
  • 2
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 2
Verlag
  • 1774
  • 12
Preis
  • 3
  • 47
  • 1339
  • 397
Sprachen
  • 1786
Verfügbarkeit
  • 1784
  • 2
Katalog
  • 1786
  • 119
1.786  Treffer  für „Lecture Notes in Computer Science“
    Chmora / Wicker | Error Control, Cryptology, and Speech Compression | Buch | Sack Fachmedien

    Chmora / Wicker Error Control, Cryptology, and Speech Compression

    Workshop on Information Protection, Moscow, Russia, December 6 - 9, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58265-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sparck Jones / Galliers | Evaluating Natural Language Processing Systems | Buch | Sack Fachmedien

    Sparck Jones / Galliers Evaluating Natural Language Processing Systems

    An Analysis and Review
    1995
    Verlag: Springer
    ISBN: 978-3-540-61309-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach | Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach Practical Reasoning

    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61313-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christensen / Bunke / Noltemeier | Sensor Based Intelligent Robots | Buch | Sack Fachmedien

    Christensen / Bunke / Noltemeier Sensor Based Intelligent Robots

    International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66933-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Kittler / Roli Multiple Classifier Systems

    First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67704-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horlait / Magedanz / Glitho | Mobile Agents for Telecommunication Applications | Buch | Sack Fachmedien

    Horlait / Magedanz / Glitho Mobile Agents for Telecommunication Applications

    5th International Workshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003 Proceedings
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20298-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Meta-Level Control for Deductive Database Systems | Buch | Sack Fachmedien

    Schmidt Meta-Level Control for Deductive Database Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53754-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Book | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Book Rewriting Techniques and Applications

    4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53904-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim / Demetrovics / Gerhardt | MFDBS 91 | Buch | Sack Fachmedien

    Thalheim / Demetrovics / Gerhardt MFDBS 91

    3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54009-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pauli | Learning-Based Robot Vision | Buch | Sack Fachmedien

    Pauli Learning-Based Robot Vision

    Principles and Applications
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42108-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freire / Chemouil / Lorenz | Universal Multiservice Networks | Buch | Sack Fachmedien

    Freire / Chemouil / Lorenz Universal Multiservice Networks

    Third European Conference, ECUMN 2004, Porto, Portugal, October 25-27. 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23551-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vicente / Hutchison | Management of Multimedia Networks and Services | Buch | Sack Fachmedien

    Vicente / Hutchison Management of Multimedia Networks and Services

    7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 3-6, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23239-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Lescanne / Wechler | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Grabowski / Lescanne / Wechler Algebraic and Logic Programming

    International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-50667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marshall / Nettles / Wakamiya | Active Networks | Buch | Sack Fachmedien

    Marshall / Nettles / Wakamiya Active Networks

    IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42678-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomi | Evolutionary Robotics. From Intelligent Robotics to Artificial Life | Buch | Sack Fachmedien

    Gomi Evolutionary Robotics. From Intelligent Robotics to Artificial Life

    International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42737-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coden / Brown / Srinivasan | Information Retrieval Techniques for Speech Applications | Buch | Sack Fachmedien

    Coden / Brown / Srinivasan Information Retrieval Techniques for Speech Applications

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43156-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leyton | A Generative Theory of Shape | Buch | Sack Fachmedien

    Leyton A Generative Theory of Shape

    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42717-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borning | Principles and Practice of Constraint Programming | Buch | Sack Fachmedien

    Borning Principles and Practice of Constraint Programming

    Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58601-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsiang | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Hsiang Rewriting Techniques and Applications

    6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klas / Schrefl | Metaclasses and Their Application | Buch | Sack Fachmedien

    Klas / Schrefl Metaclasses and Their Application

    Data Model Tailoring and Database Integration
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60063-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff / Herre / Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff / Herre / Schroeder-Heister Extensions of Logic Programming

    5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravo / Hervás / Villarreal | Ambient Assisted Living | Buch | Sack Fachmedien

    Bravo / Hervás / Villarreal Ambient Assisted Living

    Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desnos / Pertuz | Design and Architecture for Signal and Image Processing | Buch | Sack Fachmedien

    Desnos / Pertuz Design and Architecture for Signal and Image Processing

    15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12747-2
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chan / Liu / Zhu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Chan / Liu / Zhu Intelligent Robotics and Applications

    13th International Conference, ICIRA 2020, Kuala Lumpur, Malaysia, November 5-7, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-66644-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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