Ergebnisse filtern
Fachgebiet
Medium
  • 929
  • 10
  • 6
  • 1
Erscheinungsjahr
  • 2
  • 4
  • 3
  • 6
  • 15
  • 26
  • 40
  • 24
  • 46
  • 18
  • 25
  • 20
  • 13
  • 8
  • 83
  • 9
  • 30
  • 39
  • 28
  • 31
  • 31
  • 45
  • 36
  • 32
  • 28
  • 30
  • 32
  • 20
  • 27
  • 34
  • 28
  • 21
  • 15
  • 25
  • 18
  • 18
  • 2
  • 11
  • 3
  • 6
  • 2
  • 2
  • 1
  • 1
  • 2
Autoren
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 19
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 17
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 8
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 8
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 8
  • 2
  • 15
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 2
  • 14
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 38
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 42
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 8
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 12
  • 1
  • 2
  • 1
  • 10
  • 6
  • 1
  • 1
  • 1
  • 7
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 141
  • 222
  • 132
  • 9
  • 5
  • 62
  • 84
  • 200
  • 2
  • 4
  • 3
  • 2
  • 1
  • 2
  • 4
  • 8
Preis
  • 4
  • 30
  • 306
  • 606
Sprachen
  • 913
  • 35
Verfügbarkeit
  • 945
  • 1
Katalog
  • 946
  • 25
946  Titel
    Dongarra / Orlando / Laforenza | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Orlando / Laforenza Recent Advances in Parallel Virtual Machine and Message Passing Interface

    10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20149-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Gallivan / Gallopoulos | High-Performance Scientific Computing | Buch | Sack Fachmedien

    Berry / Gallivan / Gallopoulos High-Performance Scientific Computing

    Algorithms and Applications
    2012
    Verlag: Springer
    ISBN: 978-1-4471-5888-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagel / Resch / Kröner | High Performance Computing in Science and Engineering ¿13 | Buch | Sack Fachmedien

    Nagel / Resch / Kröner High Performance Computing in Science and Engineering ¿13

    Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-34435-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Napoli / Hermanns / Peyser | High-Performance Scientific Computing | Buch | Sack Fachmedien

    Di Napoli / Hermanns / Peyser High-Performance Scientific Computing

    First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Syre / Rem | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Syre / Rem PARLE '89 - Parallel Architectures and Languages Europe

    Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51285-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno / Cosp / Madrenas | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Moreno / Cosp / Madrenas Evolvable Systems: From Biology to Hardware

    6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunkel / Meuer / Ludwig | Supercomputing | Buch | Sack Fachmedien

    Kunkel / Meuer / Ludwig Supercomputing

    29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07517-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Rajsbaum / Brasileiro | Dependable Computing | Buch | Sack Fachmedien

    Bondavalli / Rajsbaum / Brasileiro Dependable Computing

    Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75293-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneck | Supercomputer Architecture | Buch | Sack Fachmedien

    Schneck Supercomputer Architecture

    1987
    Verlag: Springer US
    ISBN: 978-0-89838-238-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maruyama / Wahib / de Supinski | OpenMP: Memory, Devices, and Tasks | Buch | Sack Fachmedien

    Maruyama / Wahib / de Supinski OpenMP: Memory, Devices, and Tasks

    12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45549-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Interaction Between Compilers and Computer Architectures | Buch | Sack Fachmedien

    Interaction Between Compilers and Computer Architectures

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4419-4896-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maynard / Kurian John | Workload Characterization for Computer System Design | Buch | Sack Fachmedien

    Maynard / Kurian John Workload Characterization for Computer System Design

    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7777-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ames / Brenner | Frontiers of Supercomputing II | eBook | Sack Fachmedien
    E-Book

    Ames / Brenner Frontiers of Supercomputing II

    A National Reassessment
    Papers from the 2. Frontiers of Supercomputing Conference held at Los Alamos National Laboratory, 8/20–24/90., Nachdruck 2020
    Verlag: De Gruyter
    ISBN: 978-0-520-33603-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    71,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leondes | Algorithms and Architectures | Buch | Sack Fachmedien

    Leondes Algorithms and Architectures

    Volume 1
    Erscheinungsjahr 1997
    Verlag: Elsevier Science
    ISBN: 978-0-12-443861-3
    Medium: Buch
    131,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kempf / Ascheid / Leupers | Multiprocessor Systems on Chip | Buch | Sack Fachmedien

    Kempf / Ascheid / Leupers Multiprocessor Systems on Chip

    Design Space Exploration
    2011. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4419-8152-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ajmone Marsan | Application and Theory of Petri Nets 1993 | Buch | Sack Fachmedien

    Ajmone Marsan Application and Theory of Petri Nets 1993

    14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56863-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatty / Dewan | Engineering for Human-Computer Interaction | Buch | Sack Fachmedien

    Chatty / Dewan Engineering for Human-Computer Interaction

    Ifip Tc2/Tc13 Wg2.7/Wg13.4 Seventh Working Conference on Engineering for Human-Computer Interaction September 14-18, 1998, Heraklion, Crete, Greece
    1999. Auflage 1999
    Verlag: Springer Us
    ISBN: 978-0-412-83520-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reif / Chen | DNA Computing | Buch | Sack Fachmedien

    Reif / Chen DNA Computing

    9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20930-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Martino / Dongarra / Kranzlmüller | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Di Martino / Dongarra / Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface

    12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29009-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahni / Shukla / Prasanna | High Performance Computing - HiPC 2002 | Buch | Sack Fachmedien

    Sahni / Shukla / Prasanna High Performance Computing - HiPC 2002

    9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00303-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pop / Di Martino / Kolodziej | Resource Management for Big Data Platforms | Buch | Sack Fachmedien

    Pop / Di Martino / Kolodziej Resource Management for Big Data Platforms

    Algorithms, Modelling, and High-Performance Computing Techniques
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44880-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xie / Chen / Douglas | High Performance Computing and Applications | Buch | Sack Fachmedien

    Xie / Chen / Douglas High Performance Computing and Applications

    Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32556-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Sastry / Kohn | Hybrid Systems II | Buch | Sack Fachmedien

    Antsaklis / Sastry / Kohn Hybrid Systems II

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60472-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Damm | Computer Aided Verification | Buch | Sack Fachmedien

    Hermanns / Damm Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubert / Alves-Foss / Windley | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications

    8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60275-0
    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