Ergebnisse filtern
Fachgebiet
Medium
  • 5549
Erscheinungsjahr
  • 170
  • 395
  • 394
  • 366
  • 336
  • 303
  • 279
  • 266
  • 301
  • 273
  • 291
  • 255
  • 269
  • 291
  • 313
  • 281
  • 188
  • 45
  • 58
  • 79
  • 49
  • 28
  • 79
  • 233
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 11
  • 5
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 21
  • 6
  • 2
  • 2
  • 18
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 9
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 9
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 3
  • 3
  • 9
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 4
  • 3
  • 9
  • 5
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 11
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 11
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 5
  • 10
  • 7
  • 4
  • 3
  • 2
  • 3
  • 3
  • 7
  • 4
  • 4
  • 4
  • 5
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 8
  • 7
  • 3
  • 6
  • 16
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 18
  • 3
  • 4
  • 5
  • 4
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 6
  • 10
  • 4
  • 4
  • 22
  • 12
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 35
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 21
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 5
  • 9
  • 9
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 8
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 32
  • 4
  • 4
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 10
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 11
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 13
  • 3
  • 3
  • 12
  • 3
  • 7
  • 11
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 6
  • 9
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 17
  • 15
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 18
  • 19
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 10
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 9
  • 6
  • 4
  • 3
  • 4
  • 9
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 13
  • 21
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 33
  • 6
  • 4
  • 4
  • 15
  • 6
  • 13
  • 3
  • 10
  • 4
  • 4
  • 12
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 9
  • 3
  • 6
  • 3
  • 18
  • 13
  • 4
  • 4
  • 6
  • 3
  • 7
  • 17
  • 5
  • 5
  • 17
  • 4
  • 4
  • 4
  • 6
  • 9
  • 4
  • 4
  • 17
  • 3
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 10
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 5
  • 33
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 8
  • 22
  • 3
  • 4
  • 11
  • 6
  • 3
  • 16
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 17
  • 5
  • 3
  • 15
  • 7
  • 4
  • 4
  • 3
  • 3
  • 14
  • 4
  • 7
  • 5
  • 4
  • 9
  • 6
  • 3
  • 4
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 12
  • 5
  • 3
  • 7
  • 5
  • 5
  • 19
  • 6
  • 4
  • 4
  • 11
  • 4
  • 6
  • 4
  • 4
  • 4
Verlag
  • 1
  • 8
  • 5
  • 2
  • 6
  • 2
  • 1618
  • 6
  • 3
  • 1
  • 3047
  • 1
  • 7
  • 18
  • 15
  • 1
  • 2
  • 559
  • 4
  • 216
  • 8
  • 19
Preis
  • 4
  • 237
  • 4462
  • 846
Sprachen
  • 5547
  • 1
  • 1
Verfügbarkeit
  • 5546
  • 3
Eigenschaften
  • 35
Katalog
  • 5549
5.549  Treffer  für „Computer Science (R0)“
    Wu / Shabestari / Xing | Applications of Medical Artificial Intelligence | eBook | Sack Fachmedien
    E-Book

    Wu / Shabestari / Xing Applications of Medical Artificial Intelligence

    Second International Workshop, AMAI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-47076-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Albarqouni / Cardoso / Dou | Domain Adaptation and Representation Transfer, and Affordable Healthcare and AI for Resource Diverse Global Health | eBook | Sack Fachmedien
    E-Book

    Albarqouni / Cardoso / Dou Domain Adaptation and Representation Transfer, and Affordable Healthcare and AI for Resource Diverse Global Health

    Third MICCAI Workshop, DART 2021, and First MICCAI Workshop, FAIR 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27 and October 1, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87722-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Fragomeni | Virtual, Augmented and Mixed Reality | eBook | Sack Fachmedien
    E-Book

    Chen / Fragomeni Virtual, Augmented and Mixed Reality

    16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-61041-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Moallem | HCI for Cybersecurity, Privacy and Trust | eBook | Sack Fachmedien
    E-Book

    Moallem HCI for Cybersecurity, Privacy and Trust

    6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-61379-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    139,09 € (inkl. MwSt.)
    sofort verfügbar
    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
    Kim / Chen | Machine Learning for Cyber Security | eBook | Sack Fachmedien
    E-Book

    Kim / Chen Machine Learning for Cyber Security

    5th International Conference, ML4CS 2023, Yanuca Island, Fiji, December 4–6, 2023, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer Singapore
    ISBN: 978-981-97-2458-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Goharian / Tonellotto / He | Advances in Information Retrieval | eBook | Sack Fachmedien
    E-Book

    Goharian / Tonellotto / He Advances in Information Retrieval

    46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-56060-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    128,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhu / Li | Information Security and Privacy | eBook | Sack Fachmedien
    E-Book

    Zhu / Li Information Security and Privacy

    29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer Singapore
    ISBN: 978-981-97-5028-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hermanns | Interactive Markov Chains | eBook | Sack Fachmedien
    E-Book

    Hermanns Interactive Markov Chains

    The Quest for Quantified Quality
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45804-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kaufmann / Wagner | Drawing Graphs | eBook | Sack Fachmedien
    E-Book

    Kaufmann / Wagner Drawing Graphs

    Methods and Models
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44969-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yu | High-Dimensional Indexing | eBook | Sack Fachmedien
    E-Book

    Yu High-Dimensional Indexing

    Transformational Approaches to High-Dimensional Range and Similarity Searches
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45770-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grandoni | Dependable Computing EDCC-4 | eBook | Sack Fachmedien
    E-Book

    Grandoni Dependable Computing EDCC-4

    4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-36080-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zitzler / Deb / Thiele | Evolutionary Multi-Criterion Optimization | eBook | Sack Fachmedien
    E-Book

    Zitzler / Deb / Thiele Evolutionary Multi-Criterion Optimization

    First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44719-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jürgens | Index Structures for Data Warehouses | eBook | Sack Fachmedien
    E-Book

    Jürgens Index Structures for Data Warehouses

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45935-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | eBook | Sack Fachmedien
    E-Book

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45842-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhou / Yung | Applied Cryptography and Network Security | eBook | Sack Fachmedien
    E-Book

    Zhou / Yung Applied Cryptography and Network Security

    8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13708-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rome / Bloomfield | Critical Information Infrastructures Security | eBook | Sack Fachmedien
    E-Book

    Rome / Bloomfield Critical Information Infrastructures Security

    4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14379-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Syverson | Financial Cryptography | eBook | Sack Fachmedien
    E-Book

    Syverson Financial Cryptography

    5th International Conference, FC 2001, Grand Cayman, British West Indies, February 19-22, 2001. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-46088-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Albrecht / Steinhöfel | Stochastic Algorithms: Foundations and Applications | eBook | Sack Fachmedien
    E-Book

    Albrecht / Steinhöfel Stochastic Algorithms: Foundations and Applications

    Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39816-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhao / Guibas | Information Processing in Sensor Networks | eBook | Sack Fachmedien
    E-Book

    Zhao / Guibas Information Processing in Sensor Networks

    Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-36978-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Havelund / Penix / Visser | SPIN Model Checking and Software Verification | eBook | Sack Fachmedien
    E-Book

    Havelund / Penix / Visser SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-45297-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dean / Gravel | COTS-Based Software Systems | eBook | Sack Fachmedien
    E-Book

    Dean / Gravel COTS-Based Software Systems

    First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45588-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kuchen / Ueda | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Kuchen / Ueda Functional and Logic Programming

    5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44716-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aardal / Gerards | Integer Programming and Combinatorial Optimization | eBook | Sack Fachmedien
    E-Book

    Aardal / Gerards Integer Programming and Combinatorial Optimization

    8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45535-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yakhno | Advances in Information Systems | eBook | Sack Fachmedien
    E-Book

    Yakhno Advances in Information Systems

    Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-36077-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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