Ergebnisse filtern
Fachgebiet
Medium
  • 10686
  • 2639
Erscheinungsjahr
  • 239
  • 1013
  • 1044
  • 798
  • 626
  • 393
  • 411
  • 438
  • 421
  • 428
  • 420
  • 436
  • 419
  • 431
  • 447
  • 383
  • 384
  • 271
  • 247
  • 278
  • 292
  • 228
  • 477
  • 582
  • 263
  • 253
  • 180
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 6
  • 13
  • 12
  • 9
  • 6
  • 5
  • 5
  • 5
  • 9
  • 12
  • 12
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 6
  • 6
  • 5
  • 5
  • 7
  • 5
  • 14
  • 6
  • 20
  • 7
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 9
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 13
  • 7
  • 57
  • 5
  • 18
  • 13
  • 7
  • 12
  • 12
  • 11
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 5
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 18
  • 7
  • 8
  • 5
  • 5
  • 46
  • 14
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 9
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 8
  • 13
  • 5
  • 5
  • 5
  • 7
  • 8
  • 49
  • 14
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 29
  • 9
  • 51
  • 5
  • 12
  • 15
  • 12
  • 9
  • 5
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 12
  • 9
  • 16
  • 6
  • 6
  • 9
  • 16
  • 12
  • 7
  • 7
  • 7
  • 8
  • 22
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 25
  • 8
  • 8
  • 6
  • 7
  • 9
  • 17
  • 25
  • 11
  • 9
  • 6
  • 11
  • 8
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 12
  • 9
  • 52
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 33
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 18
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 13
  • 12
  • 6
  • 12
  • 11
  • 12
  • 13
  • 17
  • 71
  • 42
  • 8
  • 32
  • 12
  • 22
  • 34
  • 6
  • 113
  • 8
  • 14
  • 10
  • 8
  • 21
  • 10
  • 8
  • 23
  • 16
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 14
  • 7
  • 55
  • 13
  • 10
  • 13
  • 24
  • 12
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 10
  • 12
  • 7
  • 90
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 7
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 6
  • 8
  • 14
  • 10
  • 6
  • 7
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 10
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 6
  • 7
  • 7
  • 12
  • 12
  • 16
  • 6
  • 10
  • 10
  • 9
  • 8
  • 6
  • 40
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 10
  • 6
  • 18
  • 48
  • 8
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 7
  • 34
  • 6
  • 15
  • 9
  • 6
  • 6
  • 10
  • 19
  • 6
  • 8
  • 18
  • 27
  • 44
  • 22
  • 10
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 18
  • 6
  • 16
  • 6
  • 9
  • 8
  • 7
  • 10
  • 13
  • 15
  • 21
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 83
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 31
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 28
  • 10
  • 6
  • 7
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 30
  • 8
  • 12
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 9
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 7
  • 8
  • 6
  • 20
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 104
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 59
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 15
  • 61
  • 8
  • 8
  • 8
  • 20
  • 10
  • 9
  • 23
  • 15
  • 6
  • 7
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 8
  • 7
  • 25
  • 6
  • 13
  • 15
  • 16
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 25
  • 9
  • 10
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 11
  • 10
  • 7
  • 32
  • 9
  • 12
  • 24
  • 11
  • 9
  • 6
  • 12
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 62
  • 13
  • 12
  • 12
  • 120
  • 29
  • 6
  • 19
  • 9
  • 14
  • 8
  • 14
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 10
  • 31
  • 11
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 35
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 8
  • 11
  • 13
  • 19
  • 38
  • 17
  • 9
  • 11
  • 8
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 9
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 33
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 32
  • 12
  • 18
  • 34
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 9
  • 75
  • 25
  • 15
  • 10
  • 8
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 13
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 12
  • 41
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 24
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 32
  • 7
  • 18
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 13
  • 10
  • 7
  • 21
  • 7
  • 14
  • 7
  • 17
  • 7
  • 11
  • 30
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 7
  • 13
  • 10
  • 9
  • 21
  • 7
  • 9
  • 7
  • 8
  • 60
  • 13
  • 7
  • 7
  • 7
  • 28
  • 7
  • 7
  • 60
  • 22
  • 78
  • 8
  • 21
  • 6
  • 6
  • 13
  • 9
  • 9
  • 41
  • 9
  • 8
  • 23
  • 25
  • 21
  • 11
  • 13
  • 6
  • 14
  • 15
  • 7
  • 29
Verlag
  • 2
  • 11560
  • 40
  • 1524
  • 3
  • 14
  • 3
  • 134
  • 1
  • 1
  • 43
Preis
  • 47
  • 491
  • 10515
  • 2272
Sprachen
  • 13317
  • 20
  • 15
Verfügbarkeit
  • 13304
  • 21
Eigenschaften
  • 26
Katalog
  • 13325
  • 550
13.325  Treffer  für „Lecture Notes in Computer Science“
    Leeser / Brown | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

    Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazzara / Ober / Salaün | Software Technologies: Applications and Foundations | eBook | Sack Fachmedien
    E-Book

    Mazzara / Ober / Salaün Software Technologies: Applications and Foundations

    STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04771-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mazzara / Ober / Salaün | Software Technologies: Applications and Foundations | Buch | Sack Fachmedien

    Mazzara / Ober / Salaün Software Technologies: Applications and Foundations

    STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04770-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifaleras / Lin | Generative Intelligence and Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Sifaleras / Lin Generative Intelligence and Intelligent Tutoring Systems

    20th International Conference, ITS 2024, Thessaloniki, Greece, June 10–13, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-63031-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Doherty / Blandford | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fox / Neuhold / Premsmit | Digital Libraries: Implementing Strategies and Sharing Experiences | Buch | Sack Fachmedien

    Fox / Neuhold / Premsmit Digital Libraries: Implementing Strategies and Sharing Experiences

    8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30850-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishida / Isbister | Digital Cities | eBook | Sack Fachmedien
    E-Book

    Ishida / Isbister Digital Cities

    Technologies, Experiences, and Future Perspectives
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-46422-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Renault / Boumerdassi / Leghris | Mobile, Secure, and Programmable Networking | eBook | Sack Fachmedien
    E-Book

    Renault / Boumerdassi / Leghris Mobile, Secure, and Programmable Networking

    5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-22885-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hu / Cornelis / Zhang | Rough Sets | Buch | Sack Fachmedien

    Hu / Cornelis / Zhang Rough Sets

    International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17-20, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65664-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Rem / Syre | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe

    Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blaser | Data Base Techniques for Pictorial Application | Buch | Sack Fachmedien

    Blaser Data Base Techniques for Pictorial Application

    Florence, June 20-22, 1979
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-09763-1
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Núñez / Nguyen / Camacho | Computational Collective Intelligence | Buch | Sack Fachmedien

    Núñez / Nguyen / Camacho Computational Collective Intelligence

    7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24305-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Protzenko / Raad | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Protzenko / Raad Verified Software. Theories, Tools and Experiments

    16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ibrahim / Rauber | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing

    25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30-November 2, 2025, Proceedings, Part IV
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958407-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ibrahim / Rauber | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing

    25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30 - November 2, 2025, Proceedings, Part V
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958413-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Visser / Ribeiro / Ohashi | RoboCup 2007: Robot Soccer World Cup XI | Buch | Sack Fachmedien

    Visser / Ribeiro / Ohashi RoboCup 2007: Robot Soccer World Cup XI

    2008
    Verlag: Springer
    ISBN: 978-3-540-68846-4
    Medium: Buch
    149,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Canteaut | Fast Software Encryption | eBook | Sack Fachmedien
    E-Book

    Canteaut Fast Software Encryption

    19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34047-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pflanz | On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors | Buch | Sack Fachmedien

    Pflanz On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43318-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemanski / Johansen / Manalo | Diagrammatic Representation and Inference | eBook | Sack Fachmedien
    E-Book

    Lemanski / Johansen / Manalo Diagrammatic Representation and Inference

    14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-71291-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Burkart | Automatic Verification of Sequential Infinite-State Processes | Buch | Sack Fachmedien

    Burkart Automatic Verification of Sequential Infinite-State Processes

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63982-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Automated and Algorithmic Debugging | Buch | Sack Fachmedien

    Fritzson Automated and Algorithmic Debugging

    First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57417-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Konomi | Distributed, Ambient and Pervasive Interactions | Buch | Sack Fachmedien

    Streitz / Konomi Distributed, Ambient and Pervasive Interactions

    13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92979-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cesa-Bianchi / Numao / Reischuk | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Cesa-Bianchi / Numao / Reischuk Algorithmic Learning Theory

    13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00170-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