Ergebnisse filtern
Fachgebiet
Medium
  • 7783
Erscheinungsjahr
  • 165
  • 692
  • 714
  • 435
  • 296
  • 155
  • 173
  • 199
  • 184
  • 205
  • 208
  • 221
  • 188
  • 208
  • 208
  • 178
  • 175
  • 202
  • 165
  • 234
  • 218
  • 188
  • 277
  • 239
  • 209
  • 192
  • 132
  • 127
  • 99
  • 107
  • 103
  • 97
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 6
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 20
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 16
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 4
  • 17
  • 4
  • 6
  • 7
  • 10
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 4
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 8
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 15
  • 14
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 6
  • 8
  • 11
  • 4
  • 8
  • 7
  • 6
  • 11
  • 5
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 5
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 19
  • 38
  • 5
  • 4
  • 5
  • 9
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 9
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 34
  • 38
  • 4
  • 8
  • 23
  • 7
  • 8
  • 4
  • 14
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 5
  • 27
  • 4
  • 13
  • 46
  • 8
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 7
  • 16
  • 4
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 8
  • 5
  • 5
  • 10
  • 15
  • 35
  • 5
  • 4
  • 19
  • 7
  • 17
  • 21
  • 67
  • 4
  • 11
  • 4
  • 15
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 22
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 7
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 7
  • 67
  • 4
  • 5
  • 10
  • 4
  • 6
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 18
  • 5
  • 8
  • 6
  • 4
  • 4
  • 4
  • 16
  • 4
  • 7
  • 6
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 7
  • 9
  • 4
  • 4
  • 6
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 4
  • 8
  • 13
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 5
  • 29
  • 4
  • 6
  • 9
  • 9
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 35
  • 4
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 13
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 13
  • 12
  • 4
  • 5
  • 4
  • 5
  • 18
  • 20
  • 24
  • 6
  • 4
  • 62
  • 4
  • 19
  • 6
  • 9
  • 4
  • 12
  • 20
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 14
  • 12
  • 6
  • 18
  • 4
  • 11
  • 4
  • 6
  • 7
  • 4
  • 6
  • 18
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 7
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 13
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 5
  • 6
  • 11
  • 37
  • 13
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 18
  • 5
  • 6
  • 18
  • 8
  • 4
  • 4
  • 13
  • 6
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 11
  • 7
  • 11
  • 5
  • 4
  • 8
  • 24
  • 9
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 6
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 9
  • 8
  • 4
  • 7
  • 4
  • 5
  • 19
  • 8
  • 4
  • 91
  • 4
  • 39
  • 11
  • 11
  • 89
  • 21
  • 14
  • 7
  • 4
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 8
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 10
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 10
  • 15
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 34
  • 8
  • 4
  • 6
  • 6
  • 7
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 6
  • 5
  • 7
  • 5
  • 29
  • 35
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 8
  • 4
  • 14
  • 23
  • 21
  • 7
  • 13
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 12
  • 11
  • 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
  • 4
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 24
  • 5
  • 11
  • 4
  • 5
  • 13
  • 4
  • 5
  • 21
  • 6
  • 4
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 6
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 18
  • 4
  • 10
  • 4
  • 5
  • 4
  • 5
  • 5
  • 20
  • 4
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 5
  • 19
  • 4
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 21
Verlag
  • 1
  • 7735
  • 3
  • 5
  • 1
  • 1
  • 3
  • 1
  • 33
Preis
  • 27
  • 235
  • 5873
  • 1648
Sprachen
  • 7778
  • 16
  • 12
Verfügbarkeit
  • 7773
  • 10
Eigenschaften
  • 2
Katalog
  • 7783
  • 330
7.783  Treffer  für „Lecture Notes in Computer Science“
    Nivat / Perrin | Automata on Infinite Words | Buch | Sack Fachmedien

    Nivat / Perrin Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Cossentino | Agent-Oriented Software Engineering XIII | Buch | Sack Fachmedien

    Müller / Cossentino Agent-Oriented Software Engineering XIII

    13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39865-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Chio / Preuss / Cagnoni | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Di Chio / Preuss / Cagnoni Applications of Evolutionary Computation

    EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
    2010
    Verlag: Springer
    ISBN: 978-3-642-12238-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Glesner | Field-Programmable Logic, Smart Applications, New Paradigms and Compilers | Buch | Sack Fachmedien

    Hartenstein / Glesner Field-Programmable Logic, Smart Applications, New Paradigms and Compilers

    6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61730-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hung / Kapur | Theoretical Aspects of Computing - ICTAC 2017 | Buch | Sack Fachmedien

    Hung / Kapur Theoretical Aspects of Computing - ICTAC 2017

    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67728-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Gupta / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Gupta / Sack Algorithms and Data Structures

    6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66279-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lehner / Meyer / Streit | Euro-Par 2006 Workshops: Parallel Processing | Buch | Sack Fachmedien

    Lehner / Meyer / Streit Euro-Par 2006 Workshops: Parallel Processing

    CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72226-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolucci / Sichman / Verhagen | Multi-Agent-Based Simulation XX | Buch | Sack Fachmedien

    Paolucci / Sichman / Verhagen Multi-Agent-Based Simulation XX

    20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60842-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Sun / Poggio | Brain Informatics | Buch | Sack Fachmedien

    Yao / Sun / Poggio Brain Informatics

    International Conference, BI 2010, Toronto, Canada, August 28-30, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15313-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parter | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Parter Structural Information and Communication Complexity

    29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-09992-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saitis / Farkhatdinov / Papetti | Haptic and Audio Interaction Design | Buch | Sack Fachmedien

    Saitis / Farkhatdinov / Papetti Haptic and Audio Interaction Design

    11th International Workshop, HAID 2022, London, UK, August 25-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15018-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Kang | Knowledge Acquisition: Approaches, Algorithms and Applications | Buch | Sack Fachmedien

    Richards / Kang Knowledge Acquisition: Approaches, Algorithms and Applications

    Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01714-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hämmerli | Critical Information Infrastructures Security | Buch | Sack Fachmedien

    Hämmerli Critical Information Infrastructures Security

    Second International Workshop, CRITIS 2007, Benalmadena-Costa, Spain, October 3-5, 2007
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89095-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koenitz / Sezen / Ferri | Interactive Storytelling | Buch | Sack Fachmedien

    Koenitz / Sezen / Ferri Interactive Storytelling

    6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02755-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Zhou | Human Aspects of IT for the Aged Population | Buch | Sack Fachmedien

    Gao / Zhou Human Aspects of IT for the Aged Population

    9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34916-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design. User Experience of Products, Services, and Intelligent Environments | Buch | Sack Fachmedien

    Rau Cross-Cultural Design. User Experience of Products, Services, and Intelligent Environments

    12th International Conference, CCD 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17403-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-75379-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weger / Deneuville / Horlemann | Code-Based Cryptography | Buch | Sack Fachmedien

    Weger / Deneuville / Horlemann Code-Based Cryptography

    12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90228-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chong / Kozyrakis / Oskin | Intelligent Memory Systems | Buch | Sack Fachmedien

    Chong / Kozyrakis / Oskin Intelligent Memory Systems

    Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42328-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cho / Jacquet | Technologies for Advanced Heterogeneous Networks II | Buch | Sack Fachmedien

    Cho / Jacquet Technologies for Advanced Heterogeneous Networks II

    Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49364-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-63497-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dam | Analysis and Verification of Multiple-Agent Languages | Buch | Sack Fachmedien

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57248-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