Ergebnisse filtern
Fachgebiet
Medium
  • 10722
  • 2641
Erscheinungsjahr
  • 316
  • 1017
  • 1052
  • 803
  • 631
  • 398
  • 405
  • 438
  • 415
  • 424
  • 420
  • 439
  • 396
  • 439
  • 442
  • 398
  • 366
  • 271
  • 247
  • 278
  • 291
  • 223
  • 446
  • 590
  • 263
  • 252
  • 179
  • 176
  • 135
  • 135
  • 137
  • 121
  • 112
  • 99
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 8
  • 7
  • 12
  • 11
  • 6
  • 11
  • 12
  • 11
  • 20
  • 8
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 8
  • 13
  • 31
  • 52
  • 7
  • 48
  • 7
  • 7
  • 6
  • 6
  • 19
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 10
  • 6
  • 20
  • 7
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 19
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 9
  • 11
  • 10
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 15
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 11
  • 12
  • 13
  • 7
  • 7
  • 18
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 49
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 10
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 18
  • 8
  • 10
  • 7
  • 16
  • 11
  • 7
  • 8
  • 7
  • 6
  • 8
  • 23
  • 12
  • 7
  • 20
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 9
  • 9
  • 16
  • 25
  • 9
  • 9
  • 7
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 19
  • 12
  • 7
  • 11
  • 11
  • 10
  • 51
  • 47
  • 8
  • 30
  • 6
  • 11
  • 21
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 12
  • 8
  • 20
  • 7
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 13
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 10
  • 9
  • 12
  • 16
  • 17
  • 68
  • 45
  • 11
  • 9
  • 27
  • 13
  • 22
  • 34
  • 109
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 8
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 10
  • 21
  • 9
  • 15
  • 9
  • 8
  • 8
  • 6
  • 8
  • 15
  • 7
  • 53
  • 6
  • 12
  • 6
  • 10
  • 7
  • 7
  • 16
  • 27
  • 8
  • 9
  • 7
  • 25
  • 46
  • 11
  • 7
  • 6
  • 14
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 11
  • 19
  • 8
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 10
  • 7
  • 8
  • 8
  • 19
  • 6
  • 12
  • 12
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 13
  • 6
  • 18
  • 7
  • 6
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 11
  • 6
  • 9
  • 6
  • 30
  • 8
  • 9
  • 6
  • 20
  • 44
  • 7
  • 6
  • 6
  • 11
  • 13
  • 19
  • 6
  • 35
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 6
  • 6
  • 27
  • 41
  • 22
  • 14
  • 8
  • 28
  • 7
  • 6
  • 14
  • 10
  • 7
  • 34
  • 6
  • 6
  • 15
  • 37
  • 47
  • 6
  • 8
  • 9
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 8
  • 6
  • 7
  • 9
  • 6
  • 18
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 8
  • 6
  • 23
  • 7
  • 6
  • 7
  • 8
  • 19
  • 8
  • 8
  • 7
  • 13
  • 18
  • 6
  • 19
  • 7
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 21
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 7
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 15
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 12
  • 7
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 28
  • 10
  • 6
  • 7
  • 6
  • 12
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 12
  • 23
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 32
  • 8
  • 9
  • 7
  • 44
  • 34
  • 6
  • 8
  • 6
  • 9
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 7
  • 27
  • 8
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 13
  • 6
  • 6
  • 8
  • 6
  • 20
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 9
  • 9
  • 101
  • 14
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 14
  • 56
  • 16
  • 6
  • 20
  • 6
  • 7
  • 16
  • 9
  • 13
  • 7
  • 6
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 7
  • 7
  • 6
  • 6
  • 13
  • 7
  • 17
  • 16
  • 19
  • 9
  • 18
  • 9
  • 7
  • 11
  • 34
  • 12
  • 10
  • 10
  • 17
  • 8
  • 6
  • 7
  • 25
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 16
  • 7
  • 6
  • 13
  • 17
  • 10
  • 10
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 9
  • 10
  • 7
  • 8
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 23
  • 6
  • 10
  • 10
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 6
  • 23
  • 11
  • 9
  • 11
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 14
  • 13
  • 12
  • 120
  • 31
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 7
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 12
  • 18
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 9
  • 7
  • 14
  • 6
  • 6
  • 6
  • 7
  • 12
  • 16
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 8
  • 11
  • 11
  • 18
  • 8
  • 20
  • 40
  • 16
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 16
  • 12
  • 8
  • 12
  • 11
  • 6
  • 50
  • 9
  • 42
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 12
  • 12
  • 22
  • 8
  • 23
  • 35
  • 6
  • 9
  • 15
  • 29
  • 14
  • 18
  • 33
  • 70
  • 12
  • 21
  • 21
  • 10
  • 15
  • 8
  • 8
  • 20
  • 22
  • 19
  • 12
  • 9
  • 12
  • 72
  • 25
  • 15
  • 12
  • 9
  • 17
  • 19
  • 9
  • 10
  • 17
  • 8
  • 17
  • 14
  • 8
  • 6
  • 16
  • 16
  • 10
  • 12
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 11
  • 6
  • 12
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 7
  • 6
  • 20
  • 8
  • 20
  • 8
  • 13
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 8
  • 7
  • 33
  • 8
  • 17
  • 8
  • 12
  • 7
  • 7
  • 9
  • 8
  • 9
  • 7
  • 10
  • 7
  • 14
  • 13
  • 11
  • 7
  • 21
  • 17
  • 6
  • 7
  • 6
  • 7
  • 17
  • 11
  • 30
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 30
  • 8
  • 12
  • 6
  • 7
  • 14
  • 10
  • 6
  • 9
  • 21
  • 7
  • 9
  • 7
  • 8
  • 63
  • 16
  • 6
  • 7
  • 10
  • 7
  • 28
  • 7
  • 7
  • 7
  • 6
  • 58
  • 20
  • 81
  • 8
  • 23
  • 8
  • 13
  • 8
  • 7
  • 9
  • 39
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 15
  • 15
  • 30
Verlag
  • 3
  • 11571
  • 36
  • 1564
  • 14
  • 3
  • 3
  • 127
  • 1
  • 1
  • 40
Preis
  • 47
  • 489
  • 10547
  • 2280
Sprachen
  • 13355
  • 19
  • 15
Verfügbarkeit
  • 13347
  • 16
Eigenschaften
  • 22
Katalog
  • 13363
  • 551
13.363  Treffer  für „Lecture Notes in Computer Science“
    Zaphiris / Ioannou | Learning and Collaboration Technologies | Buch | Sack Fachmedien

    Zaphiris / Ioannou Learning and Collaboration Technologies

    11th International Conference, LCT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-61690-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Moreno-Diaz / Cabestany | Biological and Artificial Computation: From Neuroscience to Technology | Buch | Sack Fachmedien

    Mira / Moreno-Diaz / Cabestany Biological and Artificial Computation: From Neuroscience to Technology

    International Work-Conference on Artificial and Natural Neural Networks, IWANN'97, Lanzarote, Canary Islands, Spain, June 4-6, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63047-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortner / Simon / Zilles | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Ortner / Simon / Zilles Algorithmic Learning Theory

    27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46378-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deng / Miao / Lei | Artificial Intelligence and Computational Intelligence | Buch | Sack Fachmedien

    Deng / Miao / Lei Artificial Intelligence and Computational Intelligence

    Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23880-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Pierce | DNA Computing | Buch | Sack Fachmedien

    Carbone / Pierce DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Steffen / Yi | Model Checking, Synthesis, and Learning | eBook | Sack Fachmedien
    E-Book

    Olderog / Steffen / Yi Model Checking, Synthesis, and Learning

    Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-91384-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | eBook | Sack Fachmedien
    E-Book

    Gelbukh Computational Linguistics and Intelligent Text Processing

    19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part I
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-23793-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Alferes / Johansson | Practical Aspects of Declarative Languages | eBook | Sack Fachmedien
    E-Book

    Alferes / Johansson Practical Aspects of Declarative Languages

    21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-05998-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | eBook | Sack Fachmedien
    E-Book

    Sharp Higher-Level Hardware Synthesis

    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24657-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | Buch | Sack Fachmedien

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigna | Mobile Agents and Security | eBook | Sack Fachmedien
    E-Book

    Vigna Mobile Agents and Security

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-68671-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mahmud / Vassanelli / Kaiser | Brain Informatics | Buch | Sack Fachmedien

    Mahmud / Vassanelli / Kaiser Brain Informatics

    13th International Conference, BI 2020, Padua, Italy, September 19, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59276-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Aziz | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    23rd International Conference, NEW2AN 2023, and 16th Conference, ruSMART 2023, Dubai, United Arab Emirates, December 21-22, 2023, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60993-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanc-Talon / Helbert / Philips | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Blanc-Talon / Helbert / Philips Advanced Concepts for Intelligent Vision Systems

    19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01448-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Martino / Peron / Tezuka | Web and Wireless Geographical Information Systems | Buch | Sack Fachmedien

    Di Martino / Peron / Tezuka Web and Wireless Geographical Information Systems

    11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29246-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araújo / Mendonça / Pinho | Pattern Recognition and Image Analysis | Buch | Sack Fachmedien

    Araújo / Mendonça / Pinho Pattern Recognition and Image Analysis

    4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02171-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Ji / Steinbauer | RoboCup 2015: Robot World Cup XIX | Buch | Sack Fachmedien

    Almeida / Ji / Steinbauer RoboCup 2015: Robot World Cup XIX

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-29338-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antoniou / Grobelnik / Simperl | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Antoniou / Grobelnik / Simperl The Semantic Web: Research and Applications

    8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21063-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Márquez / Ramos / Urrutia | Computational Geometry | Buch | Sack Fachmedien

    Márquez / Ramos / Urrutia Computational Geometry

    XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34190-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remke / Stoelinga | Stochastic Model Checking | eBook | Sack Fachmedien
    E-Book

    Remke / Stoelinga Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45489-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36749-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Dybjer / Pinto | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Dybjer / Pinto Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39656-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hirschberg / Meyers | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Hirschberg / Meyers Combinatorial Pattern Matching

    7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61258-2
    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