Ergebnisse filtern
Fachgebiet
Medium
  • 1870
  • 7
  • 3
Erscheinungsjahr
  • 1
  • 6
  • 9
  • 18
  • 13
  • 18
  • 18
  • 25
  • 35
  • 18
  • 38
  • 26
  • 44
  • 31
  • 40
  • 30
  • 104
  • 44
  • 77
  • 159
  • 129
  • 147
  • 119
  • 113
  • 86
  • 78
  • 65
  • 48
  • 46
  • 38
  • 38
  • 36
  • 29
  • 31
  • 18
  • 33
  • 14
  • 19
  • 9
  • 9
  • 7
  • 4
  • 1
  • 4
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 12
  • 7
  • 2
  • 16
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 15
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 6
  • 16
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
Verlag
  • 1
  • 2
  • 3
  • 3
  • 3
  • 9
  • 1
  • 22
  • 1
  • 2
  • 8
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1632
  • 8
  • 6
  • 1
  • 17
  • 19
  • 55
  • 15
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
Preis
  • 2
  • 44
  • 1140
  • 694
Sprachen
  • 1869
  • 10
  • 2
Verfügbarkeit
  • 1875
  • 5
Katalog
  • 1880
  • 115
1.880  Treffer  für „Design“
    Doty / Dietz | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Doty / Dietz DNA Computing and Molecular Programming

    24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00029-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baral / Brewka / Schlipf | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Baral / Brewka / Schlipf Logic Programming and Nonmonotonic Reasoning

    9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72199-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74791-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Megiddo / Xu / Alonstioti | Algorithmic Applications in Management | Buch | Sack Fachmedien

    Megiddo / Xu / Alonstioti Algorithmic Applications in Management

    First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-26224-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wermelinger / Margaria-Steffen | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Wermelinger / Margaria-Steffen Fundamental Approaches to Software Engineering

    7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21305-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walukiewicz | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Walukiewicz Foundations of Software Science and Computation Structures

    7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21298-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sands | Programming Languages and Systems | Buch | Sack Fachmedien

    Sands Programming Languages and Systems

    10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41862-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Cheese | Parallel Execution of Parlog | Buch | Sack Fachmedien

    Cheese Parallel Execution of Parlog

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55382-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Honsell / Miculan | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Honsell / Miculan Foundations of Software Science and Computation Structures

    4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41864-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hauck / DeHon | Reconfigurable Computing | Buch | Sack Fachmedien

    Hauck / DeHon Reconfigurable Computing

    The Theory and Practice of Fpga-Based Computation Volume 1
    Erscheinungsjahr 2007
    Verlag: Elsevier Science
    ISBN: 978-0-12-370522-8
    Medium: Buch
    94,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Paulson | Logic and Computation | Buch | Sack Fachmedien

    Paulson Logic and Computation

    Interactive Proof with Cambridge Lcf
    Erscheinungsjahr 2003
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39560-1
    Medium: Buch
    73,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Programming Languages and Systems | Buch | Sack Fachmedien

    Smolka Programming Languages and Systems

    9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt | Compiler Construction | Buch | Sack Fachmedien

    Watt Compiler Construction

    9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67263-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Metayer | Programming Languages and Systems | Buch | Sack Fachmedien

    Le Metayer Programming Languages and Systems

    11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43363-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wooldridge / Weiß / Ciancarini | Agent-Oriented Software Engineering II | Buch | Sack Fachmedien

    Wooldridge / Weiß / Ciancarini Agent-Oriented Software Engineering II

    Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43282-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Micheloni / Marelli / Ravasio | Error Correction Codes for Non-Volatile Memories | Buch | Sack Fachmedien

    Micheloni / Marelli / Ravasio Error Correction Codes for Non-Volatile Memories

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7864-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Micheloni / Marelli / Ravasio | Error Correction Codes for Non-Volatile Memories | Buch | Sack Fachmedien

    Micheloni / Marelli / Ravasio Error Correction Codes for Non-Volatile Memories

    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8390-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Yull | Btec National for It Practitioners: Core Units | Buch | Sack Fachmedien

    Yull Btec National for It Practitioners: Core Units

    1. Auflage 2009
    Verlag: CRC Press
    ISBN: 978-0-7506-8652-5
    Medium: Buch
    67,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Boyd | Cryptography and Coding | Buch | Sack Fachmedien

    Boyd Cryptography and Coding

    Fifth IMA Conference; Cirencester, UK, December 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60693-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crescenzi / Prencipe / Pucci | Fun with Algorithms | Buch | Sack Fachmedien

    Crescenzi / Prencipe / Pucci Fun with Algorithms

    4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72913-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obayashi / Deb / Poloni | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Obayashi / Deb / Poloni Evolutionary Multi-Criterion Optimization

    4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70927-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    An / Matwin / Ras | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    An / Matwin / Ras Foundations of Intelligent Systems

    17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68122-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Platforms and Techniques | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. Interaction Platforms and Techniques

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73106-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castor / Liu | Programming Languages | Buch | Sack Fachmedien

    Castor / Liu Programming Languages

    20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45278-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartlett | Face Image Analysis by Unsupervised Learning | Buch | Sack Fachmedien

    Bartlett Face Image Analysis by Unsupervised Learning

    1. Auflage 2001
    Verlag: Springer Nature B.V.
    ISBN: 978-0-7923-7348-3
    Medium: Buch
    112,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Pedrycz | Knowledge-Based Clustering | Buch | Sack Fachmedien

    Pedrycz Knowledge-Based Clustering

    1. Auflage 2005
    Verlag: John Wiley & Sons
    ISBN: 978-0-471-46966-7
    Medium: Buch
    142,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Kao | Encyclopedia of Algorithms | Buch | Sack Fachmedien

    Kao Encyclopedia of Algorithms

    Erscheinungsjahr 2008
    Verlag: Springer Netherlands
    ISBN: 978-0-387-36061-4
    Medium: Buch
    518,18 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Iyoda / de Moura | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Iyoda / de Moura Formal Methods: Foundations and Applications

    16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41070-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Cleaveland / Grosu | From Reactive Systems to Cyber-Physical Systems | Buch | Sack Fachmedien

    Bartocci / Cleaveland / Grosu From Reactive Systems to Cyber-Physical Systems

    Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31513-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Charikar / Jansen / Reingold | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Charikar / Jansen / Reingold Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

    10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74207-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csuhaj-Varjú / Ésik | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Csuhaj-Varjú / Ésik Fundamentals of Computation Theory

    16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74239-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odell / Giorgini / Müller | Agent-Oriented Software Engineering V | Buch | Sack Fachmedien

    Odell / Giorgini / Müller Agent-Oriented Software Engineering V

    5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24286-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann / Wiedemann | Kreativität und Form | Buch | Sack Fachmedien

    Zimmermann / Wiedemann Kreativität und Form

    Programm eines Glasperlenspiels zum Experimentieren mit Wissen
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27520-3
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Advances in Optimization and Approximation | Buch | Sack Fachmedien

    Advances in Optimization and Approximation

    1994. Auflage 1994
    Verlag: Springer Us
    ISBN: 978-0-7923-2785-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Paepcke | Object-Oriented Programming: The CLOS Perspective | Buch | Sack Fachmedien

    Paepcke Object-Oriented Programming: The CLOS Perspective

    Erscheinungsjahr 1993
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-66175-1
    Medium: Buch
    41,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Horspool | Compiler Construction | Buch | Sack Fachmedien

    Horspool Compiler Construction

    11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43369-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen / Stevens | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Katoen / Stevens Tools and Algorithms for the Construction and Analysis of Systems

    8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43419-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsche / Weber | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Kutsche / Weber Fundamental Approaches to Software Engineering

    5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann | An Introduction to Protein Informatics | Buch | Sack Fachmedien

    Zimmermann An Introduction to Protein Informatics

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4020-7578-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holzer / Kutrib | Implementation and Application of Automata | Buch | Sack Fachmedien

    Holzer / Kutrib Implementation and Application of Automata

    19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08845-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robbins | The Cray X-MP/Model 24 | Buch | Sack Fachmedien

    Robbins The Cray X-MP/Model 24

    A Case Study in Pipelined Architecture and Vector Processing
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-97089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dean / Boute | Teaching Formal Methods | Buch | Sack Fachmedien

    Dean / Boute Teaching Formal Methods

    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23611-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Engberg | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Nielsen / Engberg Foundations of Software Science and Computation Structures

    5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43366-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dunn / Meyer | A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures | Buch | Sack Fachmedien

    Dunn / Meyer A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

    2003
    Verlag: Springer US
    ISBN: 978-0-306-47743-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaturvedi | Soft Computing | Buch | Sack Fachmedien

    Chaturvedi Soft Computing

    Techniques and its Applications in Electrical Engineering
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09622-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchiori / Pan / de Sainte Marie | Web Reasoning and Rule Systems | Buch | Sack Fachmedien

    Marchiori / Pan / de Sainte Marie Web Reasoning and Rule Systems

    First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72981-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Irvine / Armstrong | Security Education and Critical Infrastructures | Buch | Sack Fachmedien

    Irvine / Armstrong Security Education and Critical Infrastructures

    IFIP TC11 / WG11.8 Third Annual World Conference on Information Security Education (WISE3) June 26-28, 2003, Monterey, California, USA
    Erscheinungsjahr 2003
    Verlag: Springer Nature B.V.
    ISBN: 978-1-4020-7478-3
    Medium: Buch
    112,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Williams | Developing Performance Support for Computer Systems | Buch | Sack Fachmedien

    Williams Developing Performance Support for Computer Systems

    1. Auflage 2004
    Verlag: CRC Press
    ISBN: 978-0-415-32640-7
    Medium: Buch
    126,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Applications and Services | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Applications and Services

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73109-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer / Lopes | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Dwyer / Lopes Fundamental Approaches to Software Engineering

    10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71288-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quintao Pereira | Programming Languages | Buch | Sack Fachmedien

    Quintao Pereira Programming Languages

    18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11862-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calder / Gilmore | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Calder / Gilmore Computational Methods in Systems Biology

    International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75139-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borzemski / Grzech / Ali | New Frontiers in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Borzemski / Grzech / Ali New Frontiers in Applied Artificial Intelligence

    21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Khor / Lee | Multiobjective Evolutionary Algorithms and Applications | Buch | Sack Fachmedien

    Tan / Khor / Lee Multiobjective Evolutionary Algorithms and Applications

    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-836-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Tan / Khor / Lee | Multiobjective Evolutionary Algorithms and Applications | Buch | Sack Fachmedien

    Tan / Khor / Lee Multiobjective Evolutionary Algorithms and Applications

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84996-935-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim / Libkin | Semantics in Databases | Buch | Sack Fachmedien

    Thalheim / Libkin Semantics in Databases

    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64199-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartz-Beielstein / Blesa / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics

    4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75513-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tuosto / Ouyang | Web Services and Formal Methods | Buch | Sack Fachmedien

    Tuosto / Ouyang Web Services and Formal Methods

    10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08259-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleijn / Yakovlev | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007

    28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sokolsky | Composition of Embedded Systems. Scientific and Industrial Issues | Buch | Sack Fachmedien

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelc | Distributed Computing | Buch | Sack Fachmedien

    Pelc Distributed Computing

    21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75141-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao | Extensions of the UNITY Methodology | Buch | Sack Fachmedien

    Rao Extensions of the UNITY Methodology

    Compositionality, Fairness and Probability in Parallelism
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59173-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Solis-Oba | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Jansen / Solis-Oba Approximation and Online Algorithms

    First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21079-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32616-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constantinides / Cheung / Luk | Synthesis and Optimization of DSP Algorithms | Buch | Sack Fachmedien

    Constantinides / Cheung / Luk Synthesis and Optimization of DSP Algorithms

    2004. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-1-4020-7930-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Sahni / Prasanna / Shukla | High Performance Computing - HiPC 2002 | Buch | Sack Fachmedien

    Sahni / Prasanna / Shukla High Performance Computing - HiPC 2002

    9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00303-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Battista / Zwick | Algorithms - ESA 2003 | Buch | Sack Fachmedien

    Di Battista / Zwick Algorithms - ESA 2003

    11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20064-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Zambonelli | Agent-Oriented Software Engineering VII | Buch | Sack Fachmedien

    Padgham / Zambonelli Agent-Oriented Software Engineering VII

    7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Advanced Formal Verification | Buch | Sack Fachmedien

    Drechsler Advanced Formal Verification

    2004
    Verlag: Springer
    ISBN: 978-1-4020-7721-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Fuzzy-Neuro Approach to Agent Applications | Buch | Sack Fachmedien

    Lee Fuzzy-Neuro Approach to Agent Applications

    From the AI Perspective to Modern Ontology
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21203-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jhala / Igarashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Jhala / Igarashi Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Jansen / Rolim | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Diaz / Jansen / Rolim Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

    9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38044-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grigoriev / Harrison / Hirsch | Computer Science -- Theory and Applications | Buch | Sack Fachmedien

    Grigoriev / Harrison / Hirsch Computer Science -- Theory and Applications

    First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34166-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aha / Watson | Case-Based Reasoning Research and Development | Buch | Sack Fachmedien

    Aha / Watson Case-Based Reasoning Research and Development

    4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August 2, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42358-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reinartz | Focusing Solutions for Data Mining | Buch | Sack Fachmedien

    Reinartz Focusing Solutions for Data Mining

    Analytical Studies and Experimental Results in Real-World Domains
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66429-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Redaelli | Phase Change Memory | Buch | Sack Fachmedien

    Redaelli Phase Change Memory

    Device Physics, Reliability and Applications
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69052-0
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Advances in Computers | Buch | Sack Fachmedien

    Advances in Computers

    Erscheinungsjahr 1995
    Verlag: ACADEMIC PR INC
    ISBN: 978-0-12-012141-0
    Medium: Buch
    70,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Arge / Hoffmann / Welzl | Algorithms - ESA 2007 | Buch | Sack Fachmedien

    Arge / Hoffmann / Welzl Algorithms - ESA 2007

    15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75519-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneier | Beyond Fear | Buch | Sack Fachmedien

    Schneier Beyond Fear

    Thinking Sensibly about Security in an Uncertain World
    2003. Corr. 2. Printing 2006 Auflage 2003
    Verlag: Springer
    ISBN: 978-0-387-02620-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Sherwani / Doncker / Kapenga | Computing in the 90's | Buch | Sack Fachmedien

    Sherwani / Doncker / Kapenga Computing in the 90's

    The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-0-387-97628-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait-Ameur / Qin | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ait-Ameur / Qin Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32408-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Redaelli | Phase Change Memory | Buch | Sack Fachmedien

    Redaelli Phase Change Memory

    Device Physics, Reliability and Applications
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88707-4
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Fuzzy-Neuro Approach to Agent Applications | Buch | Sack Fachmedien

    Lee Fuzzy-Neuro Approach to Agent Applications

    From the AI Perspective to Modern Ontology
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05949-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Distributed Algorithms | Buch | Sack Fachmedien

    Leeuwen Distributed Algorithms

    2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19366-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sawyer / Paech / Heymans | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Sawyer / Paech / Heymans Requirements Engineering: Foundation for Software Quality

    13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73030-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Wehrheim | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems

    8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34893-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rondelez / Woods | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Rondelez / Woods DNA Computing and Molecular Programming

    22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43993-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Jansen / Kenyon | Efficient Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Jansen / Kenyon Efficient Approximation and Online Algorithms

    Recent Progress on Classical Combinatorial Optimization Problems and New Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32212-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furia / Winter | Integrated Formal Methods | Buch | Sack Fachmedien

    Furia / Winter Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roever / Langmaack / Pnueli | Compositionality: The Significant Difference | Buch | Sack Fachmedien

    Roever / Langmaack / Pnueli Compositionality: The Significant Difference

    International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65493-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Bologna / Felici | Computer Safety, Reliability and Security | Buch | Sack Fachmedien

    Anderson / Bologna / Felici Computer Safety, Reliability and Security

    21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44157-1
    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
    Böszörményi / Schojer | Modular Programming Languages | Buch | Sack Fachmedien

    Böszörményi / Schojer Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40796-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulanger | Formal Methods | Buch | Sack Fachmedien

    Boulanger Formal Methods

    Industrial Use from Model to the Code
    1. Auflage 2012
    Verlag: Wiley
    ISBN: 978-1-84821-362-3
    Medium: Buch
    166,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Zander / Schieferdecker / Mosterman | Model-Based Testing for Embedded Systems | eBook | Sack Fachmedien
    E-Book

    Zander / Schieferdecker / Mosterman Model-Based Testing for Embedded Systems

    1. Auflage 2011
    Verlag: CRC Press
    ISBN: 978-1-4398-1847-3
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    117,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jansen / Leonardi / Vazirani | Approximation Algorithms for Combinatorial Optimization | Buch | Sack Fachmedien

    Jansen / Leonardi / Vazirani Approximation Algorithms for Combinatorial Optimization

    5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44186-1
    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