Ergebnisse filtern
Fachgebiet
Medium
  • 1869
  • 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
  • 118
  • 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
  • 1
  • 2
  • 1
  • 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
  • 3
  • 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
  • 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
  • 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
  • 54
  • 16
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
Preis
  • 2
  • 44
  • 1140
  • 693
Sprachen
  • 1868
  • 10
  • 2
Verfügbarkeit
  • 1874
  • 5
Katalog
  • 1879
  • 115
1.879  Treffer  für „Design“
    Hill / Shugard / Fishburn | Algorithms and Techniques for VLSI Layout Synthesis | Buch | Sack Fachmedien

    Hill / Shugard / Fishburn Algorithms and Techniques for VLSI Layout Synthesis

    1989. Auflage 1988
    Verlag: Springer Us
    ISBN: 978-0-89838-301-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bessiere | Principles and Practice of Constraint Programming - CP 2007 | Buch | Sack Fachmedien

    Bessiere Principles and Practice of Constraint Programming - CP 2007

    13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74969-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ashley / Bridge | Case-Based Reasoning Research and Development | Buch | Sack Fachmedien

    Ashley / Bridge Case-Based Reasoning Research and Development

    5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40433-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berkel | Handshake Circuits | Buch | Sack Fachmedien

    Berkel Handshake Circuits

    An Asynchronous Architecture for VLSI Programming
    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-61715-4
    Medium: Buch
    85,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breu | Algebraic Specification Techniques in Object Oriented Programming Environments | Buch | Sack Fachmedien

    Breu Algebraic Specification Techniques in Object Oriented Programming Environments

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54972-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baral / Greco / Leone | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Baral / Greco / Leone Logic Programming and Nonmonotonic Reasoning

    8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28538-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekanina | Evolvable Components | Buch | Sack Fachmedien

    Sekanina Evolvable Components

    From Theory to Hardware Implementations
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40377-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brzozowski / Seger | Asynchronous Circuits | Buch | Sack Fachmedien

    Brzozowski / Seger Asynchronous Circuits

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-0-387-94420-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geraets / Kroon / Schoebel | Algorithmic Methods for Railway Optimization | Buch | Sack Fachmedien

    Geraets / Kroon / Schoebel Algorithmic Methods for Railway Optimization

    International Dagstuhl Workshop, Railway Optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74245-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Paul | The Complexity of Simple Computer Architectures | Buch | Sack Fachmedien

    Müller / Paul The Complexity of Simple Computer Architectures

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Zeng Evolvable Systems: From Biology to Hardware

    7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74625-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biryukov | Fast Software Encryption | Buch | Sack Fachmedien

    Biryukov Fast Software Encryption

    14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74617-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | FM8501: A Verified Microprocessor | Buch | Sack Fachmedien

    Hunt FM8501: A Verified Microprocessor

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57960-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Domingo-Ferrer / Chan / Watson | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Domingo-Ferrer / Chan / Watson Smart Card Research and Advanced Applications

    IFIP TC8 / WG8.8 Fourth Working Conference on Smart Card Research and Advanced Applications September 20-22, 2000, Bristol, United Kingdom
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-0-7923-7953-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholl | Functional Decomposition with Applications to FPGA Synthesis | Buch | Sack Fachmedien

    Scholl Functional Decomposition with Applications to FPGA Synthesis

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4419-4929-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krivine / Stefani | Reversible Computation | Buch | Sack Fachmedien

    Krivine / Stefani Reversible Computation

    7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20859-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Gibbons | Integrated Formal Methods | Buch | Sack Fachmedien

    Davies / Gibbons Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagdeo | The Complete Verilog Book | Buch | Sack Fachmedien

    Sagdeo The Complete Verilog Book

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer US
    ISBN: 978-1-4757-7126-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagdeo | The Complete Verilog Book | Buch | Sack Fachmedien

    Sagdeo The Complete Verilog Book

    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-7923-8188-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Adamatzky / Martínez | Designing Beauty: The Art of Cellular Automata | Buch | Sack Fachmedien

    Adamatzky / Martínez Designing Beauty: The Art of Cellular Automata

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-80105-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamatzky / Martínez | Designing Beauty: The Art of Cellular Automata | Buch | Sack Fachmedien

    Adamatzky / Martínez Designing Beauty: The Art of Cellular Automata

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-27269-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen / Santoro | Distributed Algorithms | Buch | Sack Fachmedien

    Leeuwen / Santoro Distributed Algorithms

    4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54099-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takahara / Mesarovic | Organization Structure: Cybernetic Systems Foundation | Buch | Sack Fachmedien

    Takahara / Mesarovic Organization Structure: Cybernetic Systems Foundation

    2003. Auflage 2003
    Verlag: Springer Us
    ISBN: 978-0-306-47808-6
    Medium: Buch
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Westerink / Ouwerkerk / Overbeek | Probing Experience | Buch | Sack Fachmedien

    Westerink / Ouwerkerk / Overbeek Probing Experience

    From Assessment of User Emotions and Behaviour to Development of Products
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-90-481-7675-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Man / Tang / Kwong | Genetic Algorithms | Buch | Sack Fachmedien

    Man / Tang / Kwong Genetic Algorithms

    Concepts and Designs
    1999
    Verlag: Springer
    ISBN: 978-1-85233-072-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westerink / Ouwerkerk / Overbeek | Probing Experience | Buch | Sack Fachmedien

    Westerink / Ouwerkerk / Overbeek Probing Experience

    From Assessment of User Emotions and Behaviour to Development of Products
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-6592-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Church / Englert | Quantum Computing Devices | Buch | Sack Fachmedien

    Chen / Church / Englert Quantum Computing Devices

    Principles, Designs, and Analysis
    1. Auflage 2006
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-58488-681-5
    Medium: Buch
    299,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholl | Functional Decomposition with Applications to FPGA Synthesis | Buch | Sack Fachmedien

    Scholl Functional Decomposition with Applications to FPGA Synthesis

    2002
    Verlag: Springer US
    ISBN: 978-0-7923-7585-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeser / Brown | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

    Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borowik / Karpinskyy / Lahno | Theory of Digital Automata | Buch | Sack Fachmedien

    Borowik / Karpinskyy / Lahno Theory of Digital Automata

    2013
    Verlag: Springer
    ISBN: 978-94-017-8452-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas Computer Performance Engineering

    8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24748-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim / Demetrovics / Gerhardt | MFDBS 91 | Buch | Sack Fachmedien

    Thalheim / Demetrovics / Gerhardt MFDBS 91

    3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54009-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borowik / Karpinskyy / Lahno | Theory of Digital Automata | Buch | Sack Fachmedien

    Borowik / Karpinskyy / Lahno Theory of Digital Automata

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-007-5227-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Istepanian / Whidborne | Digital Controller Implementation and Fragility | Buch | Sack Fachmedien

    Istepanian / Whidborne Digital Controller Implementation and Fragility

    A Modern Perspective
    1. Auflage. 2001
    Verlag: Springer
    ISBN: 978-1-85233-390-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Zavattaro | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05555-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burke / Trick | Practice and Theory of Automated Timetabling V | Buch | Sack Fachmedien

    Burke / Trick Practice and Theory of Automated Timetabling V

    5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30705-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roberts / Sedra | Spice | Buch | Sack Fachmedien

    Roberts / Sedra Spice

    2. Auflage 1996
    Verlag: Oxford University Press
    ISBN: 978-0-19-510842-2
    Medium: Buch
    138,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Przigoda / Wille / Drechsler | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Buch | Sack Fachmedien

    Przigoda / Wille / Drechsler Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89214-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Przigoda / Wille / Drechsler | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Buch | Sack Fachmedien

    Przigoda / Wille / Drechsler Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72813-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00296-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meduna | Automata and Languages | Buch | Sack Fachmedien

    Meduna Automata and Languages

    Theory and Applications
    2000
    Verlag: Springer
    ISBN: 978-1-85233-074-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebert / Humayoun / Seyff | Usability- and Accessibility-Focused Requirements Engineering | Buch | Sack Fachmedien

    Ebert / Humayoun / Seyff Usability- and Accessibility-Focused Requirements Engineering

    First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Se
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45915-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkalov / Titarenko | Logic Synthesis for FSM-Based Control Units | Buch | Sack Fachmedien

    Barkalov / Titarenko Logic Synthesis for FSM-Based Control Units

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26064-3
    Medium: Buch
    160,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
    Sharp | Higher-Level Hardware Synthesis | Buch | Sack Fachmedien

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkalov / Titarenko | Logic Synthesis for FSM-Based Control Units | Buch | Sack Fachmedien

    Barkalov / Titarenko Logic Synthesis for FSM-Based Control Units

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04308-6
    Medium: Buch
    160,49 € (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
    Jansen / Rolim | Approximation Algorithms for Combinatorial Optimization | Buch | Sack Fachmedien

    Jansen / Rolim Approximation Algorithms for Combinatorial Optimization

    International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bandyopadhyay / Pal | Classification and Learning Using Genetic Algorithms | Buch | Sack Fachmedien

    Bandyopadhyay / Pal Classification and Learning Using Genetic Algorithms

    Applications in Bioinformatics and Web Intelligence
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-49606-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergstra / Burgess | Handbook of Network and System Administration | Buch | Sack Fachmedien

    Bergstra / Burgess Handbook of Network and System Administration

    Erscheinungsjahr 2007
    Verlag: Elsevier BV
    ISBN: 978-0-444-52198-9
    Medium: Buch
    224,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Seiffertt | Digital Logic for Computing | Buch | Sack Fachmedien

    Seiffertt Digital Logic for Computing

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-86015-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Badger / Rozier NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Merz / Spies | Formal Systems Specification | Buch | Sack Fachmedien

    Broy / Merz / Spies Formal Systems Specification

    The RPC-Memory Specification Case Study
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61984-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella | Programming Languages and Systems - ESOP '94 | Buch | Sack Fachmedien

    Sannella Programming Languages and Systems - ESOP '94

    5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57880-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goemans / Jansen / Rolim | Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques | Buch | Sack Fachmedien

    Goemans / Jansen / Rolim Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques

    4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA,USA, Augu
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42470-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seiffertt | Digital Logic for Computing | Buch | Sack Fachmedien

    Seiffertt Digital Logic for Computing

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-56837-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Persiano / Solis-Oba | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Persiano / Solis-Oba Approximation and Online Algorithms

    Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24574-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Roever / Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasteren | On the Shape of Mathematical Arguments | Buch | Sack Fachmedien

    Gasteren On the Shape of Mathematical Arguments

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52849-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi Formal Languages and Compilation

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer Nature B.V.
    ISBN: 978-1-84996-817-1
    Medium: Buch
    75,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Adam / Bhargava / Yesha | Digital Libraries: Current Issues | Buch | Sack Fachmedien

    Adam / Bhargava / Yesha Digital Libraries: Current Issues

    Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59282-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bensalem / Lakhnech / Legay | From Programs to Systems - The Systems Perspective in Computing | Buch | Sack Fachmedien

    Bensalem / Lakhnech / Legay From Programs to Systems - The Systems Perspective in Computing

    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54847-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogler | Modular Construction and Partial Order Semantics of Petri Nets | Buch | Sack Fachmedien

    Vogler Modular Construction and Partial Order Semantics of Petri Nets

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Servit | Field-Programmable Logic: Architectures, Synthesis and Applications | Buch | Sack Fachmedien

    Hartenstein / Servit Field-Programmable Logic: Architectures, Synthesis and Applications

    4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58419-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropf | Introduction to Formal Hardware Verification | Buch | Sack Fachmedien

    Kropf Introduction to Formal Hardware Verification

    Softcover Nachdruck of hardcover 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-08477-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropf | Introduction to Formal Hardware Verification | Buch | Sack Fachmedien

    Kropf Introduction to Formal Hardware Verification

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65445-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scott / Aldrich | Programming Language Pragmatics | Buch | Sack Fachmedien

    Scott / Aldrich Programming Language Pragmatics

    5. Auflage 2025
    Verlag: Elsevier LTD
    ISBN: 978-0-323-99966-3
    Medium: Buch
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Hachtel / Somenzi | Logic Synthesis and Verification Algorithms | Buch | Sack Fachmedien

    Hachtel / Somenzi Logic Synthesis and Verification Algorithms

    1996. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-7923-9746-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Hachtel / Somenzi | Logic Synthesis and Verification Algorithms | Buch | Sack Fachmedien

    Hachtel / Somenzi Logic Synthesis and Verification Algorithms

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-1-4757-7036-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xavier / Iyengar | Parallel Algorithms | Buch | Sack Fachmedien

    Xavier / Iyengar Parallel Algorithms

    1. Auflage 1998
    Verlag: John Wiley & Sons
    ISBN: 978-0-471-25182-8
    Medium: Buch
    191,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Chen / Akoka / Kangassalu | Conceptual Modeling | Buch | Sack Fachmedien

    Chen / Akoka / Kangassalu Conceptual Modeling

    Current Issues and Future Directions
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65926-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dierkes / Pecheur | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Dierkes / Pecheur Formal Methods for Industrial Critical Systems

    18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41009-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peña-Reyes | Coevolutionary Fuzzy Modeling | Buch | Sack Fachmedien

    Peña-Reyes Coevolutionary Fuzzy Modeling

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22994-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jonoska / Rozenberg | Nanotechnology: Science and Computation | Buch | Sack Fachmedien

    Chen / Jonoska / Rozenberg Nanotechnology: Science and Computation

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06775-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73108-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thielscher | Challenges for Action Theories | Buch | Sack Fachmedien

    Thielscher Challenges for Action Theories

    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67455-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jonoska / Rozenberg | Nanotechnology: Science and Computation | Buch | Sack Fachmedien

    Chen / Jonoska / Rozenberg Nanotechnology: Science and Computation

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30295-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pejas / Piegat | Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems | Buch | Sack Fachmedien

    Pejas / Piegat Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-1-4020-7776-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebert / van der Veer / Domik | Building Bridges: HCI, Visualization, and Non-formal Modeling | Buch | Sack Fachmedien

    Ebert / van der Veer / Domik Building Bridges: HCI, Visualization, and Non-formal Modeling

    IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54893-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Savidis | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi / Savidis Rapid Integration of Software Engineering Techniques

    Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34063-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic | Algorithmics for Hard Problems | Buch | Sack Fachmedien

    Hromkovic Algorithmics for Hard Problems

    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    2. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07909-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coussy / Morawiec | High-Level Synthesis | Buch | Sack Fachmedien

    Coussy / Morawiec High-Level Synthesis

    From Algorithm to Digital Circuit
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8587-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Pejas / Piegat | Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems | Buch | Sack Fachmedien

    Pejas / Piegat Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

    1. Auflage Softcover of orig. Auflage 2005
    Verlag: Springer Nature B.V.
    ISBN: 978-1-4419-5438-1
    Medium: Buch
    229,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Pejas / Piegat | Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems | eBook | Sack Fachmedien
    E-Book

    Pejas / Piegat Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-0-387-23484-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    213,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hausser | Grundlagen der Computerlinguistik | Buch | Sack Fachmedien

    Hausser Grundlagen der Computerlinguistik

    Mensch-Maschine-Kommunikation in natürlicher Sprache
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67187-9
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimato / Galdi / Persiano | Security in Communication Networks | Buch | Sack Fachmedien

    Cimato / Galdi / Persiano Security in Communication Networks

    Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00420-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pieprzyk / Safavi-Naini / Seberry | Information Security and Privacy | Buch | Sack Fachmedien

    Pieprzyk / Safavi-Naini / Seberry Information Security and Privacy

    4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65756-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Ottmann | Data Structures and Efficient Algorithms | Buch | Sack Fachmedien

    Monien / Ottmann Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno Díaz / Pichler / Quesada Arencibia | Computer Aided Systems Theory -- EUROCAST 2011 | Buch | Sack Fachmedien

    Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory -- EUROCAST 2011

    13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno Díaz / Pichler / Quesada Arencibia | Computer Aided Systems Theory -- EUROCAST 2011 | Buch | Sack Fachmedien

    Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory -- EUROCAST 2011

    13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27578-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feinberg / Levin / Rabinovich | VLSI Planarization | Buch | Sack Fachmedien

    Feinberg / Levin / Rabinovich VLSI Planarization

    Methods, Models, Implementation
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-0-7923-4510-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Stogny | Next Generation Information System Technology | Buch | Sack Fachmedien

    Schmidt / Stogny Next Generation Information System Technology

    First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990. Procceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54141-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Müller / Podelski | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Joshi / Müller / Podelski Verified Software: Theories, Tools, Experiments

    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27704-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephanidis | Universal Acess in Human Computer Interaction. Coping with Diversity | Buch | Sack Fachmedien

    Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity

    Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73278-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lalanne / Kohlas | Human Machine Interaction | Buch | Sack Fachmedien

    Lalanne / Kohlas Human Machine Interaction

    Research Results of the MMI Program
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00436-0
    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
    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

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