Ergebnisse filtern
Fachgebiet
Medium
  • 7766
Erscheinungsjahr
  • 128
  • 689
  • 714
  • 434
  • 296
  • 156
  • 176
  • 198
  • 187
  • 204
  • 208
  • 222
  • 190
  • 207
  • 206
  • 187
  • 178
  • 204
  • 168
  • 231
  • 221
  • 186
  • 280
  • 240
  • 209
  • 193
  • 132
  • 128
  • 98
  • 108
  • 103
  • 96
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 9
  • 5
  • 3
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 21
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 4
  • 14
  • 25
  • 36
  • 5
  • 3
  • 28
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 14
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 19
  • 4
  • 6
  • 7
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 10
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 17
  • 14
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 7
  • 9
  • 11
  • 4
  • 8
  • 7
  • 6
  • 11
  • 4
  • 4
  • 4
  • 7
  • 24
  • 11
  • 5
  • 10
  • 5
  • 12
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 7
  • 19
  • 38
  • 5
  • 4
  • 5
  • 10
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 6
  • 8
  • 4
  • 6
  • 6
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 9
  • 6
  • 4
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 36
  • 38
  • 4
  • 8
  • 23
  • 7
  • 8
  • 4
  • 14
  • 8
  • 5
  • 24
  • 12
  • 6
  • 6
  • 15
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 5
  • 4
  • 6
  • 6
  • 27
  • 4
  • 4
  • 13
  • 46
  • 8
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 6
  • 15
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 5
  • 5
  • 10
  • 15
  • 35
  • 5
  • 4
  • 21
  • 9
  • 17
  • 22
  • 68
  • 4
  • 11
  • 4
  • 14
  • 4
  • 4
  • 4
  • 19
  • 7
  • 7
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 5
  • 25
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 9
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 5
  • 68
  • 4
  • 5
  • 10
  • 5
  • 4
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 19
  • 5
  • 8
  • 6
  • 6
  • 4
  • 4
  • 18
  • 7
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 6
  • 10
  • 4
  • 6
  • 6
  • 22
  • 4
  • 4
  • 7
  • 6
  • 5
  • 8
  • 4
  • 4
  • 8
  • 14
  • 20
  • 4
  • 6
  • 7
  • 15
  • 4
  • 4
  • 30
  • 4
  • 6
  • 9
  • 10
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 16
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 24
  • 36
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 4
  • 13
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 11
  • 12
  • 4
  • 5
  • 4
  • 6
  • 18
  • 20
  • 21
  • 6
  • 4
  • 62
  • 6
  • 19
  • 10
  • 4
  • 12
  • 21
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 14
  • 14
  • 6
  • 18
  • 4
  • 11
  • 4
  • 7
  • 7
  • 4
  • 6
  • 18
  • 31
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 12
  • 5
  • 4
  • 6
  • 7
  • 8
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 8
  • 8
  • 13
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 60
  • 4
  • 4
  • 7
  • 6
  • 4
  • 6
  • 11
  • 37
  • 15
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 18
  • 5
  • 7
  • 18
  • 8
  • 4
  • 13
  • 7
  • 13
  • 15
  • 8
  • 4
  • 16
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 4
  • 13
  • 10
  • 11
  • 4
  • 9
  • 7
  • 11
  • 5
  • 4
  • 4
  • 8
  • 24
  • 7
  • 7
  • 6
  • 9
  • 6
  • 5
  • 11
  • 7
  • 9
  • 5
  • 7
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 24
  • 12
  • 4
  • 5
  • 19
  • 4
  • 5
  • 91
  • 5
  • 6
  • 4
  • 5
  • 6
  • 9
  • 11
  • 9
  • 8
  • 4
  • 7
  • 4
  • 7
  • 19
  • 8
  • 4
  • 90
  • 4
  • 39
  • 11
  • 11
  • 89
  • 23
  • 14
  • 7
  • 4
  • 5
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 8
  • 89
  • 4
  • 5
  • 15
  • 22
  • 4
  • 8
  • 10
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 10
  • 15
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 11
  • 5
  • 4
  • 22
  • 5
  • 4
  • 5
  • 4
  • 4
  • 14
  • 4
  • 4
  • 8
  • 5
  • 9
  • 11
  • 40
  • 4
  • 6
  • 6
  • 6
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 13
  • 6
  • 5
  • 7
  • 5
  • 29
  • 33
  • 4
  • 8
  • 7
  • 8
  • 22
  • 6
  • 6
  • 8
  • 4
  • 14
  • 25
  • 4
  • 22
  • 8
  • 12
  • 22
  • 47
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 14
  • 11
  • 4
  • 4
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 4
  • 7
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 4
  • 4
  • 12
  • 7
  • 4
  • 27
  • 5
  • 11
  • 7
  • 4
  • 5
  • 13
  • 5
  • 21
  • 6
  • 4
  • 5
  • 18
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 5
  • 4
  • 25
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 7
  • 4
  • 9
  • 4
  • 18
  • 5
  • 9
  • 4
  • 11
  • 6
  • 24
  • 6
  • 14
  • 4
  • 4
  • 5
  • 4
  • 17
  • 4
  • 10
  • 5
  • 5
  • 4
  • 18
  • 7
  • 6
  • 5
  • 17
  • 4
  • 13
  • 4
  • 6
  • 4
  • 5
  • 5
  • 21
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 32
  • 7
  • 10
  • 5
  • 18
  • 5
  • 19
  • 5
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 23
Verlag
  • 1
  • 7719
  • 3
  • 5
  • 1
  • 3
  • 1
  • 33
Preis
  • 27
  • 229
  • 5857
  • 1653
Sprachen
  • 7761
  • 16
  • 12
Verfügbarkeit
  • 7756
  • 10
Eigenschaften
  • 1
Katalog
  • 7766
  • 333
7.766  Treffer  für „Lecture Notes in Computer Science“
    Bravetti / Núñez / Zavattaro | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Núñez / Zavattaro Web Services and Formal Methods

    Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38862-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dengel / Junker / Weisbecker | Reading and Learning | Buch | Sack Fachmedien

    Dengel / Junker / Weisbecker Reading and Learning

    Adaptive Content Recognition
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21904-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soares / Rosenzweig / Marcus | Design, User Experience, and Usability: UX Research and Design | Buch | Sack Fachmedien

    Soares / Rosenzweig / Marcus Design, User Experience, and Usability: UX Research and Design

    10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78220-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hering / Schnabel / Zhang | Biomedical Image Registration | Buch | Sack Fachmedien

    Hering / Schnabel / Zhang Biomedical Image Registration

    10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-11202-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Teixeira / Strube de Lima / Caldas de Oliveira | Computational Processing of the Portuguese Language | Buch | Sack Fachmedien

    Teixeira / Strube de Lima / Caldas de Oliveira Computational Processing of the Portuguese Language

    8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85979-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wooldridge / Müller / Tambe | Intelligent Agents II: Agent Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Wooldridge / Müller / Tambe Intelligent Agents II: Agent Theories, Architectures, and Languages

    IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60805-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuchen / Ueda | Functional and Logic Programming | Buch | Sack Fachmedien

    Kuchen / Ueda Functional and Logic Programming

    5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matousek / Mautner | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Matousek / Mautner Text, Speech and Dialogue

    12th International Conference, TSD 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04207-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    Gallagher Logic Program Synthesis and Transformation

    6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ojeda-Aciego / Sauerwald / Jäschke | Graph-Based Representation and Reasoning | Buch | Sack Fachmedien

    Ojeda-Aciego / Sauerwald / Jäschke Graph-Based Representation and Reasoning

    28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40959-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agah / Cabibihan / Howard | Social Robotics | Buch | Sack Fachmedien

    Agah / Cabibihan / Howard Social Robotics

    8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47436-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Merayo / Bravetti | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Hierons / Merayo / Bravetti Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40560-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerren / Purchase / Ward | Multivariate Network Visualization | Buch | Sack Fachmedien

    Kerren / Purchase / Ward Multivariate Network Visualization

    Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06792-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holvoet / Viroli | Coordination Models and Languages | Buch | Sack Fachmedien

    Holvoet / Viroli Coordination Models and Languages

    17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19281-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kowalewski / Roveri | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Kowalewski / Roveri Formal Methods for Industrial Critical Systems

    15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15897-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Zhang / Xia | Artificial Intelligence and Security | Buch | Sack Fachmedien

    Sun / Zhang / Xia Artificial Intelligence and Security

    8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06793-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06750-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blesa Aguilera / Blum / Gambini Santos | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Blesa Aguilera / Blum / Gambini Santos Hybrid Metaheuristics

    11th International Workshop, HM 2019, Concepción, Chile, January 16-18, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-05982-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Zuck | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Halbwachs / Zuck Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25333-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pezzulo / Butz / Castelfranchi | The Challenge of Anticipation | Buch | Sack Fachmedien

    Pezzulo / Butz / Castelfranchi The Challenge of Anticipation

    A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87701-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Jansen | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Jansen Approximation and Online Algorithms

    7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12449-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doermann / Jaeger | Arabic and Chinese Handwriting Recognition | Buch | Sack Fachmedien

    Doermann / Jaeger Arabic and Chinese Handwriting Recognition

    Summit, SACH 2006, College Park, MD, USA, September 27-28, 2006, Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78198-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schönbohm / Bellotti / Bucchiarone | Games and Learning Alliance | Buch | Sack Fachmedien

    Schönbohm / Bellotti / Bucchiarone Games and Learning Alliance

    13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78268-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Lahav / Wolff | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50523-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Miao | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    George / Miao Formal Methods and Software Engineering

    4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00029-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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