Ergebnisse filtern
Fachgebiet
Medium
  • 3226
  • 5
Erscheinungsjahr
  • 76
  • 224
  • 269
  • 153
  • 135
  • 115
  • 89
  • 115
  • 104
  • 75
  • 107
  • 82
  • 88
  • 108
  • 111
  • 84
  • 54
  • 69
  • 54
  • 151
  • 152
  • 70
  • 38
  • 74
  • 55
  • 65
  • 34
  • 47
  • 55
  • 50
  • 53
  • 47
  • 49
  • 43
  • 27
  • 27
  • 19
  • 26
  • 11
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 16
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 14
  • 3
  • 2
  • 6
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 15
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 19
  • 2
  • 2
  • 2
  • 5
  • 6
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 10
  • 10
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 8
  • 7
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 24
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 5
  • 24
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 22
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 21
  • 3
  • 2
  • 5
  • 2
  • 4
  • 11
  • 2
  • 2
  • 3
  • 5
  • 5
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 18
  • 3
  • 5
  • 4
  • 12
  • 3
  • 13
  • 3
  • 19
  • 5
  • 4
  • 13
  • 3
  • 9
  • 4
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 16
  • 4
  • 3
  • 4
  • 3
  • 8
  • 9
  • 3
  • 3
  • 4
  • 3
  • 28
  • 4
  • 5
  • 4
  • 3
  • 5
  • 16
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 16
  • 7
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 10
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 19
  • 3
  • 8
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 77
  • 3
  • 4
  • 6
  • 13
  • 31
  • 4
  • 5
  • 3
  • 5
  • 3
  • 18
  • 3
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 3
  • 4
  • 4
  • 5
  • 31
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 22
  • 8
  • 3
  • 4
  • 6
  • 3
  • 12
  • 3
  • 13
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 8
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 10
  • 9
  • 17
  • 4
  • 3
  • 5
  • 4
  • 3
  • 30
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 9
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 14
  • 6
  • 5
  • 16
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 4
  • 8
  • 3
  • 5
  • 5
  • 3
  • 6
  • 3
  • 12
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 24
  • 5
  • 4
  • 3
  • 8
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 78
  • 6
  • 5
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 76
  • 10
  • 9
  • 4
  • 76
  • 8
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 8
  • 10
  • 5
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 76
  • 9
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 9
  • 5
  • 8
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 13
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 6
  • 3
  • 5
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 7
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 5
  • 4
  • 18
  • 4
  • 5
  • 3
  • 3
  • 12
  • 2
  • 8
  • 6
  • 4
  • 12
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 24
  • 4
  • 7
  • 5
  • 76
  • 3
  • 15
  • 3
  • 4
  • 5
  • 7
  • 39
  • 7
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 17
  • 11
  • 3
  • 3
  • 5
  • 3
  • 5
  • 9
  • 17
  • 9
  • 4
  • 14
  • 7
  • 6
  • 3
  • 4
  • 3
  • 4
  • 16
  • 29
  • 6
  • 3
  • 9
  • 5
  • 5
  • 3
  • 9
  • 7
  • 4
  • 4
Verlag
  • 1
  • 1
  • 1
  • 1
  • 2
  • 7
  • 2
  • 3145
  • 5
  • 1
  • 1
  • 14
  • 3
  • 14
  • 5
  • 2
  • 2
  • 18
  • 4
  • 2
Preis
  • 6
  • 74
  • 1609
  • 1542
Sprachen
  • 3231
Verfügbarkeit
  • 3226
  • 5
Eigenschaften
  • 4
Katalog
  • 3231
  • 199
3.231  Treffer  für „Lecture Notes in Computer Science“
    Neele / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Neele / Wijs Model Checking Software

    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echtle / Hammer / Powell | Dependable Computing - EDCC-1 | Buch | Sack Fachmedien

    Echtle / Hammer / Powell Dependable Computing - EDCC-1

    First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58426-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Ortuño | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Rojas / Ortuño Bioinformatics and Biomedical Engineering

    5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-56147-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karl / Willig / Wolisz | Wireless Sensor Networks | Buch | Sack Fachmedien

    Karl / Willig / Wolisz Wireless Sensor Networks

    First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20825-9
    Medium: Buch
    53,49 € (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
    Salah / Ruiz-del-Solar / Mericli | Human Behavior Understanding | Buch | Sack Fachmedien

    Salah / Ruiz-del-Solar / Mericli Human Behavior Understanding

    Third Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34013-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Kern-Isberner | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Hartmann / Kern-Isberner Foundations of Information and Knowledge Systems

    5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77683-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Wang / Zhou | Internet of Vehicles - Technologies and Services | Buch | Sack Fachmedien

    Hsu / Wang / Zhou Internet of Vehicles - Technologies and Services

    Third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-51968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Wechler | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Kirchner / Wechler Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barter / Brooks | AI '88 | Buch | Sack Fachmedien

    Barter / Brooks AI '88

    2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52062-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Lukose | Distributed Artificial Intelligence: Architecture and Modelling | Buch | Sack Fachmedien

    Zhang / Lukose Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Varadharajan / Pieprzyk / Mu | Information Security and Privacy | Buch | Sack Fachmedien

    Varadharajan / Pieprzyk / Mu Information Security and Privacy

    Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63232-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mugnier / Chein | Conceptual Structures: Theory, Tools and Applications | Buch | Sack Fachmedien

    Mugnier / Chein Conceptual Structures: Theory, Tools and Applications

    6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64791-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lokoc / Lokoc / Peška | MultiMedia Modeling | Buch | Sack Fachmedien

    Lokoc / Lokoc / Peška MultiMedia Modeling

    32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29-31, 2026, Proceedings, Part IV
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956962-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler / Halász / Dang | Hybrid Systems Biology | Buch | Sack Fachmedien

    Maler / Halász / Dang Hybrid Systems Biology

    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27655-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakaibara / Kobayashi / Sato | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau | The Logic System of Concept Graphs with Negation | Buch | Sack Fachmedien

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romero / McDermott / Correia | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Romero / McDermott / Correia Evolutionary and Biologically Inspired Music, Sound, Art and Design

    Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44334-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Harris / Kroening | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Harris / Kroening Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Rovatsos / Payne | Cooperative Information Agents X | Buch | Sack Fachmedien

    Klusch / Rovatsos / Payne Cooperative Information Agents X

    10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38569-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khachay / Kochetov / Eremeev | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Khachay / Kochetov / Eremeev Mathematical Optimization Theory and Operations Research

    22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35304-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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