Ergebnisse filtern
Fachgebiet
Medium
  • 1345
Erscheinungsjahr
  • 2
  • 10
  • 1
  • 4
  • 1
  • 2
  • 3
  • 1
  • 1
  • 5
  • 4
  • 1
  • 1
  • 29
  • 53
  • 132
  • 120
  • 60
  • 50
  • 68
  • 42
  • 76
  • 66
  • 61
  • 54
  • 61
  • 58
  • 61
  • 54
  • 47
  • 35
  • 50
  • 26
  • 30
  • 21
  • 17
  • 13
  • 5
  • 3
  • 1
  • 3
  • 10
  • 3
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 20
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 17
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 12
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
Verlag
  • 1334
  • 1
  • 2
  • 8
Preis
  • 7
  • 1095
  • 243
Sprachen
  • 1345
  • 3
  • 1
Verfügbarkeit
  • 1343
  • 2
Katalog
  • 1345
  • 57
1.345  Treffer  für „Lecture Notes in Computer Science“
    Di Gesù / Masulli / Petrosino | Fuzzy Logic and Applications | Buch | Sack Fachmedien

    Di Gesù / Masulli / Petrosino Fuzzy Logic and Applications

    5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31019-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montoyo / Munoz / Métais | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Montoyo / Munoz / Métais Natural Language Processing and Information Systems

    10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26031-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Audebaud / Paulin-Mohring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Audebaud / Paulin-Mohring Mathematics of Program Construction

    9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70593-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Imai / Wang | Information and Communications Security | Buch | Sack Fachmedien

    Imai / Wang Information and Communications Security

    9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77047-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sehun / Yung / Lee | Information Security Applications | Buch | Sack Fachmedien

    Sehun / Yung / Lee Information Security Applications

    8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77534-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77917-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

    Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonato / Chung | Algorithms and Models for the Web-Graph | Buch | Sack Fachmedien

    Bonato / Chung Algorithms and Models for the Web-Graph

    5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77003-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Neill / Vanneschi / Gustafson | Genetic Programming | Buch | Sack Fachmedien

    O'Neill / Vanneschi / Gustafson Genetic Programming

    11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78670-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Umeo / Morishita / Nishinari | Cellular Automata | Buch | Sack Fachmedien

    Umeo / Morishita / Nishinari Cellular Automata

    8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79991-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | Buch | Sack Fachmedien

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85360-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi | Transactions on Data Hiding and Multimedia Security II | Buch | Sack Fachmedien

    Shi Transactions on Data Hiding and Multimedia Security II

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73091-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ma / Zhang | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Ma / Zhang Combinatorial Pattern Matching

    18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73436-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polovina / Priss / Hill | Conceptual Structures: Knowledge Architectures for Smart Applications | Buch | Sack Fachmedien

    Polovina / Priss / Hill Conceptual Structures: Knowledge Architectures for Smart Applications

    15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73680-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Vain | Formal Techniques for Networked and Distributed Systems - FORTE 2007 | Buch | Sack Fachmedien

    Derrick / Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007

    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Gurevich | Tests and Proofs | Buch | Sack Fachmedien

    Meyer / Gurevich Tests and Proofs

    First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73769-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konev / Wolter | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Konev / Wolter Frontiers of Combining Systems

    6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74620-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Even / Kariv | Automata, Languages and Programming | Buch | Sack Fachmedien

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietz | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Dietz Languages and Compilers for Parallel Computing

    14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-04029-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kameyama / Stuckey | Functional and Logic Programming | Buch | Sack Fachmedien

    Kameyama / Stuckey Functional and Logic Programming

    7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21402-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21090-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camacho / King / Srinivasan | Inductive Logic Programming | Buch | Sack Fachmedien

    Camacho / King / Srinivasan Inductive Logic Programming

    14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22941-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Boiten / Derrick / Smith Integrated Formal Methods

    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21377-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kündig / Bührer / Dähler | Embedded Systems | Buch | Sack Fachmedien

    Kündig / Bührer / Dähler Embedded Systems

    New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18581-9
    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