Ergebnisse filtern
Fachgebiet
Medium
  • 3272
  • 4
Erscheinungsjahr
  • 189
  • 287
  • 166
  • 153
  • 126
  • 101
  • 121
  • 141
  • 72
  • 115
  • 79
  • 96
  • 106
  • 108
  • 83
  • 56
  • 71
  • 59
  • 150
  • 152
  • 77
  • 40
  • 76
  • 55
  • 67
  • 36
  • 45
  • 64
  • 55
  • 56
  • 48
  • 46
  • 43
  • 24
  • 29
  • 20
  • 26
  • 12
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 5
  • 3
  • 7
  • 2
  • 3
  • 6
  • 16
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 15
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 10
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 14
  • 2
  • 2
  • 6
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 7
  • 12
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 7
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 6
  • 3
  • 24
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 24
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 23
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 20
  • 2
  • 5
  • 2
  • 3
  • 12
  • 2
  • 3
  • 5
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 18
  • 5
  • 4
  • 4
  • 12
  • 3
  • 12
  • 3
  • 19
  • 3
  • 3
  • 4
  • 11
  • 3
  • 9
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 16
  • 3
  • 3
  • 3
  • 3
  • 8
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 27
  • 4
  • 4
  • 3
  • 4
  • 5
  • 16
  • 4
  • 5
  • 3
  • 5
  • 6
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 4
  • 5
  • 10
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 16
  • 7
  • 8
  • 5
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 12
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 18
  • 3
  • 7
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 12
  • 76
  • 5
  • 4
  • 8
  • 11
  • 3
  • 32
  • 3
  • 5
  • 4
  • 3
  • 3
  • 15
  • 3
  • 4
  • 5
  • 3
  • 5
  • 12
  • 4
  • 4
  • 5
  • 3
  • 7
  • 31
  • 4
  • 3
  • 4
  • 7
  • 3
  • 24
  • 8
  • 4
  • 6
  • 3
  • 3
  • 11
  • 3
  • 12
  • 3
  • 8
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 5
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 5
  • 6
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 10
  • 8
  • 18
  • 4
  • 4
  • 4
  • 4
  • 4
  • 30
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 7
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 13
  • 4
  • 4
  • 7
  • 3
  • 11
  • 3
  • 4
  • 5
  • 3
  • 4
  • 13
  • 6
  • 4
  • 16
  • 3
  • 12
  • 3
  • 3
  • 3
  • 7
  • 4
  • 9
  • 3
  • 5
  • 4
  • 4
  • 8
  • 4
  • 3
  • 6
  • 5
  • 3
  • 6
  • 13
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 24
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 77
  • 7
  • 5
  • 5
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 16
  • 4
  • 4
  • 5
  • 3
  • 3
  • 77
  • 3
  • 12
  • 5
  • 7
  • 3
  • 76
  • 3
  • 6
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 11
  • 10
  • 6
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 76
  • 9
  • 3
  • 4
  • 3
  • 4
  • 3
  • 15
  • 4
  • 3
  • 9
  • 3
  • 9
  • 3
  • 4
  • 8
  • 5
  • 3
  • 3
  • 6
  • 8
  • 6
  • 4
  • 3
  • 11
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 10
  • 3
  • 16
  • 5
  • 4
  • 5
  • 5
  • 3
  • 4
  • 10
  • 4
  • 4
  • 3
  • 3
  • 14
  • 3
  • 4
  • 9
  • 5
  • 5
  • 3
  • 3
  • 7
  • 4
  • 24
  • 4
  • 7
  • 3
  • 76
  • 16
  • 5
  • 3
  • 5
  • 7
  • 38
  • 7
  • 4
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 18
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 8
  • 18
  • 9
  • 3
  • 4
  • 13
  • 7
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 15
  • 30
  • 6
  • 3
  • 3
  • 11
  • 9
  • 4
  • 3
  • 4
  • 4
  • 7
  • 3
Verlag
  • 1
  • 1
  • 1
  • 4
  • 2
  • 992
  • 953
  • 11
  • 590
  • 1
  • 412
  • 240
  • 30
  • 5
  • 4
  • 5
  • 18
  • 3
  • 3
Preis
  • 6
  • 79
  • 1599
  • 1592
Sprachen
  • 3276
  • 1
Verfügbarkeit
  • 3273
  • 3
Katalog
  • 3276
  • 233
3.276  Treffer  für „Lecture Notes in Computer Science“
    Garcia / Salgado / Martinez | Visual Content Processing and Representation | Buch | Sack Fachmedien

    Garcia / Salgado / Martinez Visual Content Processing and Representation

    8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrial / Langmaack / Börger | Formal Methods for Industrial Applications | Buch | Sack Fachmedien

    Abrial / Langmaack / Börger Formal Methods for Industrial Applications

    Specifying and Programming the Steam Boiler Control
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61929-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeschke / Liu / Schilberg | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Jeschke / Liu / Schilberg Intelligent Robotics and Applications

    4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wicker / Chmora | Error Control, Cryptology, and Speech Compression | Buch | Sack Fachmedien

    Wicker / Chmora Error Control, Cryptology, and Speech Compression

    Workshop on Information Protection, Moscow, Russia, December 6 - 9, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58265-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burkhard / Lindemann / Verbrugge | Multi-Agent Systems and Applications V | Buch | Sack Fachmedien

    Burkhard / Lindemann / Verbrugge Multi-Agent Systems and Applications V

    5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75253-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Beckert Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28931-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weiß / Klusch | Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet | Buch | Sack Fachmedien

    Weiß / Klusch Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet

    Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64676-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ellis / Sowa / Levinson | Conceptual Structures: Applications, Implementation and Theory | Buch | Sack Fachmedien

    Ellis / Sowa / Levinson Conceptual Structures: Applications, Implementation and Theory

    Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60161-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Arikawa | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jantke / Arikawa Algorithmic Learning Theory

    4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puebla | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Puebla Logic-Based Program Synthesis and Transformation

    16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71409-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benz / Shi / Gopinath | NASA Formal Methods | Buch | Sack Fachmedien

    Benz / Shi / Gopinath NASA Formal Methods

    16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60697-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petersen / Dahl | Image Analysis | Buch | Sack Fachmedien

    Petersen / Dahl Image Analysis

    23rd Scandinavian Conference, SCIA 2025, Reykjavik, Iceland, June 23-25, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-95910-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Chen | Active Conceptual Modeling of Learning | Buch | Sack Fachmedien

    Wong / Chen Active Conceptual Modeling of Learning

    Next Generation Learning-Base System Development
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77502-7
    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
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etalle / Truszczynski | Logic Programming | Buch | Sack Fachmedien

    Etalle / Truszczynski Logic Programming

    22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36635-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartz-Beielstein / Blesa / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics

    4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75513-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demeester / Terzis / Moerman | Wireless Sensor Networks | Buch | Sack Fachmedien

    Demeester / Terzis / Moerman Wireless Sensor Networks

    10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36671-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Schroeder-Heister Extensions of Logic Programming

    International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53590-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mineau / Sowa / Moulin | Conceptual Graphs for Knowledge Representation | Buch | Sack Fachmedien

    Mineau / Sowa / Moulin Conceptual Graphs for Knowledge Representation

    First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56979-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maier / Hornegger / Steidl | Medical Imaging Systems | Buch | Sack Fachmedien

    Maier / Hornegger / Steidl Medical Imaging Systems

    An Introductory Guide
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96519-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palazzo | Evolutionary Trends of the Internet | Buch | Sack Fachmedien

    Palazzo Evolutionary Trends of the Internet

    2001 Thyrrhenian International Workshop on Digital Communications, IWDC 2001, Taormina, Italy, September 17-20, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42592-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Marinaro / Faundez-Zanuy | Verbal and Nonverbal Communication Behaviours | Buch | Sack Fachmedien

    Esposito / Marinaro / Faundez-Zanuy Verbal and Nonverbal Communication Behaviours

    COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76441-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heule / Gurfinkel | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Heule / Gurfinkel 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 Nature Switzerland
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prendinger / Ishizuka / Lester | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Prendinger / Ishizuka / Lester Intelligent Virtual Agents

    8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85482-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zha / Pan / Thwaites | Interactive Technologies and Sociotechnical Systems | Buch | Sack Fachmedien

    Zha / Pan / Thwaites Interactive Technologies and Sociotechnical Systems

    12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46304-7
    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