Ergebnisse filtern
Fachgebiet
Medium
  • 929
  • 11
  • 5
  • 1
Erscheinungsjahr
  • 2
  • 2
  • 3
  • 6
  • 17
  • 26
  • 40
  • 23
  • 46
  • 18
  • 25
  • 20
  • 14
  • 8
  • 82
  • 10
  • 30
  • 40
  • 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
  • 1
  • 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
  • 1
  • 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
  • 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
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 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
  • 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
  • 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
  • 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
  • 1
  • 2
  • 1
  • 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
  • 2
  • 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
  • 2
  • 1
  • 13
  • 1
  • 2
  • 1
  • 10
  • 6
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 203
  • 212
  • 107
  • 5
  • 5
  • 53
  • 84
  • 186
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 4
  • 7
Preis
  • 4
  • 32
  • 311
  • 599
Sprachen
  • 912
  • 36
Verfügbarkeit
  • 946
Katalog
  • 946
  • 25
946  Titel
    Bevinakoppa | Still Image Compression on Parallel Computer Architectures | Buch | Sack Fachmedien

    Bevinakoppa Still Image Compression on Parallel Computer Architectures

    1999. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-7923-8322-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vlahavas / Tsarchopoulos / Sakellariou | Parallel and Constraint Logic Programming | Buch | Sack Fachmedien

    Vlahavas / Tsarchopoulos / Sakellariou Parallel and Constraint Logic Programming

    An Introduction to Logic, Parallelism and Constraints
    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-7923-8371-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Douglis / Davison | Web Content Caching and Distribution | Buch | Sack Fachmedien

    Douglis / Davison Web Content Caching and Distribution

    Proceedings of the 8th International Workshop
    2004. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4020-2257-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talia / Bilas / Dikaiakos | Knowledge and Data Management in GRIDs | Buch | Sack Fachmedien

    Talia / Bilas / Dikaiakos Knowledge and Data Management in GRIDs

    2007. Auflage 2006
    Verlag: Springer Us
    ISBN: 978-0-387-37830-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kowalik | Parallel Computation and Computers for Artificial Intelligence | Buch | Sack Fachmedien

    Kowalik Parallel Computation and Computers for Artificial Intelligence

    1988. Auflage 1987
    Verlag: Springer Us
    ISBN: 978-0-89838-227-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolognesi / van de Lagemaat / Vissers | Lotosphere: Software Development with Lotos | Buch | Sack Fachmedien

    Bolognesi / van de Lagemaat / Vissers Lotosphere: Software Development with Lotos

    1995. Auflage 1995
    Verlag: Springer Us
    ISBN: 978-0-7923-9529-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vassiliadis / Pimentel | Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Vassiliadis / Pimentel Computer Systems: Architectures, Modeling, and Simulation

    Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22377-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Frachtenberg | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Frachtenberg Job Scheduling Strategies for Parallel Processing

    11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-31024-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunkel / Meuer / Ludwig | Supercomputing | Buch | Sack Fachmedien

    Kunkel / Meuer / Ludwig Supercomputing

    28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38749-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Herwijnen | Practical SGML | Buch | Sack Fachmedien

    van Herwijnen Practical SGML

    2. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-9434-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oltean / Dolev | Optical Supercomputing | Buch | Sack Fachmedien

    Oltean / Dolev Optical Supercomputing

    4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38249-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaidyanathan / Trahan | Dynamic Reconfiguration | Buch | Sack Fachmedien

    Vaidyanathan / Trahan Dynamic Reconfiguration

    Architectures and Algorithms
    2003. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-0-306-48189-5
    Medium: Buch
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Wolf / Reeve | PARLE '93 Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Bode / Wolf / Reeve PARLE '93 Parallel Architectures and Languages Europe

    5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56891-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim / Ferreira | Parallel Algorithms for Irregularly Structured Problems | Buch | Sack Fachmedien

    Rolim / Ferreira Parallel Algorithms for Irregularly Structured Problems

    Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60321-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luk / Moore | Field-Programmable Logic and Applications | Buch | Sack Fachmedien

    Luk / Moore Field-Programmable Logic and Applications

    5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60294-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spruth | The Design of a Microprocessor | Buch | Sack Fachmedien

    Spruth The Design of a Microprocessor

    1989. 1989
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-51395-7
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    America | Parallel Database Systems | Buch | Sack Fachmedien

    America Parallel Database Systems

    PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings.
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54132-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Theobald / Meinel | Algorithms and Data Structures in VLSI Design | Buch | Sack Fachmedien

    Theobald / Meinel Algorithms and Data Structures in VLSI Design

    OBDD - Foundations and Applications
    1. Auflage 1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64486-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolc / Borowik | Many-Valued Logics 2 | Buch | Sack Fachmedien

    Bolc / Borowik Many-Valued Logics 2

    Automated Reasoning and Practical Applications
    Softcover Nachdruck of hardcover 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-08417-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yuen / Wang / Shi | GPU Solutions to Multi-scale Problems in Science and Engineering | Buch | Sack Fachmedien

    Yuen / Wang / Shi GPU Solutions to Multi-scale Problems in Science and Engineering

    2013
    Verlag: Springer
    ISBN: 978-3-642-16404-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hamblen / Hall / Furman | Rapid Prototyping of Digital Systems | Buch | Sack Fachmedien

    Hamblen / Hall / Furman Rapid Prototyping of Digital Systems

    Quartus(r) II Edition
    3rd Auflage
    Verlag: Springer Us
    ISBN: 978-0-387-27728-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramachandran | Digital VLSI Systems Design | Buch | Sack Fachmedien

    Ramachandran Digital VLSI Systems Design

    A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-5828-8
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucas / Gray | Advanced Database Systems | Buch | Sack Fachmedien

    Lucas / Gray Advanced Database Systems

    10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6 - 8, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55693-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ercal / Özgüner | Parallel Computing on Distributed Memory Multiprocessors | Buch | Sack Fachmedien

    Ercal / Özgüner Parallel Computing on Distributed Memory Multiprocessors

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56295-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Newey / Grundy | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Newey / Grundy Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64987-8
    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