Ergebnisse filtern
Fachgebiet
Medium
  • 205
Erscheinungsjahr
  • 1
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 8
  • 7
  • 8
  • 11
  • 15
  • 14
  • 9
  • 7
  • 6
  • 8
  • 5
  • 11
  • 12
  • 10
  • 9
  • 5
  • 11
  • 5
  • 8
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 12
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 7
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 22
  • 168
  • 12
  • 2
  • 1
Preis
  • 1
  • 158
  • 46
Sprachen
  • 205
  • 1
Verfügbarkeit
  • 205
Katalog
  • 205

Hochleistungsrechnen, Supercomputer

205  Treffer  für „Lecture Notes in Computer Science“
    Möhring | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Möhring Graph-Theoretic Concepts in Computer Science

    16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53832-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berghammer / Schmidt | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Berghammer / Schmidt Graph-Theoretic Concepts in Computer Science

    17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55121-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sedukhin / Omondi | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Sedukhin / Omondi Advances in Computer Systems Architecture

    8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20122-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srikanthan / Chang / Xue | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Srikanthan / Chang / Xue Advances in Computer Systems Architecture

    10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29643-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xue / Yew | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Xue / Yew Advances in Computer Systems Architecture

    9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23003-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Hu | Computer Aided Verification | Buch | Sack Fachmedien

    Vardi / Hu Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Ball | Computer Aided Verification | Buch | Sack Fachmedien

    Jones / Ball Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (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
    Vijaykumar / Falsafi | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Vijaykumar / Falsafi Power-Aware Computer Systems

    Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24031-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vijaykumar / Falsafi | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Vijaykumar / Falsafi Power-Aware Computer Systems

    Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-01028-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snyder / Bolding | Parallel Computer Routing and Communication | Buch | Sack Fachmedien

    Snyder / Bolding Parallel Computer Routing and Communication

    First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58429-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichler / Moreno Diaz | Computer Aided Systems Theory - EUROCAST 2003 | Buch | Sack Fachmedien

    Pichler / Moreno Diaz Computer Aided Systems Theory - EUROCAST 2003

    9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20221-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Diaz / Freire / Buchberger | Computer Aided Systems Theory - EUROCAST 2001 | Buch | Sack Fachmedien

    Moreno-Diaz / Freire / Buchberger Computer Aided Systems Theory - EUROCAST 2001

    A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42959-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichler / Albrecht / Moreno-Diaz | Computer Aided Systems Theory - EUROCAST '95 | Buch | Sack Fachmedien

    Pichler / Albrecht / Moreno-Diaz Computer Aided Systems Theory - EUROCAST '95

    A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60748-9
    Medium: Buch
    53,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
    Klir / Ören | Computer Aided Systems Theory - CAST '94 | Buch | Sack Fachmedien

    Klir / Ören Computer Aided Systems Theory - CAST '94

    4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61478-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hughes | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Hughes Functional Programming Languages and Computer Architecture

    5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54396-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Jouannaud Functional Programming Languages and Computer Architecture

    Proceedings, Nancy, France, September 16-19, 1985
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15975-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paul / Müller | The Complexity of Simple Computer Architectures | Buch | Sack Fachmedien

    Paul / Müller The Complexity of Simple Computer Architectures

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Diaz / Pichler | Computer Aided Systems Theory - EUROCAST '97 | Buch | Sack Fachmedien

    Moreno-Diaz / Pichler Computer Aided Systems Theory - EUROCAST '97

    A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63811-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozubek / Cermák / Cermák | High Performance Computing in Science and Engineering | Buch | Sack Fachmedien

    Kozubek / Cermák / Cermák High Performance Computing in Science and Engineering

    Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97135-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hämäläinen / Vassiliadis / Pimentel | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Hämäläinen / Vassiliadis / Pimentel Embedded Computer Systems: Architectures, Modeling, and Simulation

    5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26969-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherwani / Kapenga / Doncker | Computing in the 90's | Buch | Sack Fachmedien

    Sherwani / Kapenga / Doncker Computing in the 90's

    The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings
    1991
    Verlag: Springer
    ISBN: 978-0-387-97628-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nishio / Osaki | Reliability Evaluation of Some Fault-Tolerant Computer Architectures | Buch | Sack Fachmedien

    Nishio / Osaki Reliability Evaluation of Some Fault-Tolerant Computer Architectures

    1980
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutra / Marques / Camacho | High Performance Computing for Computational Science - VECPAR 2016 | Buch | Sack Fachmedien

    Dutra / Marques / Camacho High Performance Computing for Computational Science - VECPAR 2016

    12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-61981-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palma / Dongarra / Waldén | High Performance Computing for Computational Science - VECPAR 2002 | Buch | Sack Fachmedien

    Palma / Dongarra / Waldén High Performance Computing for Computational Science - VECPAR 2002

    5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00852-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daydé / Nakajima / Marques | High Performance Computing for Computational Science -- VECPAR 2014 | Buch | Sack Fachmedien

    Daydé / Nakajima / Marques High Performance Computing for Computational Science -- VECPAR 2014

    11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17352-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guessarian | Semantics of Systems of Concurrent Processes | Buch | Sack Fachmedien

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enjalbert / Wagner / Finkel | STACS 93 | Buch | Sack Fachmedien

    Enjalbert / Wagner / Finkel STACS 93

    10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56503-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wrightson / Fronhöfer | Parallelization in Inference Systems | Buch | Sack Fachmedien

    Wrightson / Fronhöfer Parallelization in Inference Systems

    International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55425-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1991 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1991

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54398-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1988 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1988

    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50580-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Prieto / Cabestany | New Trends in Neural Computation | Buch | Sack Fachmedien

    Mira / Prieto / Cabestany New Trends in Neural Computation

    International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1990 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1990

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53863-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1989 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1989

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52494-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1993 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1993

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (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
    Schneider / Brandt | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Schneider / Brandt Theorem Proving in Higher Order Logics

    20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74590-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felty / Gunter | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Felty / Gunter Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Basin | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Wolff / Basin Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Koczkodaj / Fiala | Advances in Computing and Information - ICCI '91 | Buch | Sack Fachmedien

    Dehne / Koczkodaj / Fiala Advances in Computing and Information - ICCI '91

    International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54029-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmeck / Wolf / Ungerer | Trends in Network and Pervasive Computing - ARCS 2002 | Buch | Sack Fachmedien

    Schmeck / Wolf / Ungerer Trends in Network and Pervasive Computing - ARCS 2002

    International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43409-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems

    6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41055-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parrow / Jonsson | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Parrow / Jonsson Formal Techniques in Real-Time and Fault-Tolerant Systems

    4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61648-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Damm | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Olderog / Damm Formal Techniques in Real-Time and Fault-Tolerant Systems

    7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44165-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Rischel / Ravn | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Vytopil / Roever | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Vytopil / Roever 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
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zima / Joe / Shimasaki | High Performance Computing | Buch | Sack Fachmedien

    Zima / Joe / Shimasaki High Performance Computing

    4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43674-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Cotronis | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

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

    8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42609-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranzlmüller / Volkert / Kacsuk | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Kranzlmüller / Volkert / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface

    9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44296-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capello / Dongarra / Herault | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Capello / Dongarra / Herault Recent Advances in Parallel Virtual Machine and Message Passing Interface

    14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75415-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Alexandrov | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

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

    5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65041-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Margalef / Luque | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Margalef / Luque Recent Advances in Parallel Virtual Machine and Message Passing Interface

    6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66549-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranzlmüller / Dongarra / Kacsuk | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

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

    11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23163-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Podhorszki / Kacsuk | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Podhorszki / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface

    7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Rozenberg / Roever | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | Buch | Sack Fachmedien

    Bakker / Rozenberg / Roever Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

    School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51080-2
    Medium: Buch
    106,99 € (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
    1989
    Verlag: Springer
    ISBN: 978-0-387-97089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Midkiff / Li | Languages and Compilers for High Performance Computing | Buch | Sack Fachmedien

    Eigenmann / Midkiff / Li Languages and Compilers for High Performance Computing

    17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28009-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darte / Perrin | The Data Parallel Programming Model | Buch | Sack Fachmedien

    Darte / Perrin The Data Parallel Programming Model

    Foundations, HPF Realization, and Scientific Applications
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61736-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vanneschi / Treleaven | Future Parallel Computers | Buch | Sack Fachmedien

    Vanneschi / Treleaven Future Parallel Computers

    An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18203-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maziero / Assis Silva / Silva | Dependable Computing | Buch | Sack Fachmedien

    Maziero / Assis Silva / Silva Dependable Computing

    Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29572-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudolph / Feitelson | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing

    IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41120-8
    Medium: Buch
    53,49 € (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
    O'Boyle / Bodin / Cintra | Transactions on High-Performance Embedded Architectures and Compilers I | Buch | Sack Fachmedien

    O'Boyle / Bodin / Cintra Transactions on High-Performance Embedded Architectures and Compilers I

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71527-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silvano / Schulte / Bertels | Transactions on High-Performance Embedded Architectures and Compilers V | Buch | Sack Fachmedien

    Silvano / Schulte / Bertels Transactions on High-Performance Embedded Architectures and Compilers V

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58833-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böckle | Exploitation of Fine-Grain Parallelism | Buch | Sack Fachmedien

    Böckle Exploitation of Fine-Grain Parallelism

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60054-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagode / Ltaief / Anzt | High Performance Computing | Buch | Sack Fachmedien

    Jagode / Ltaief / Anzt High Performance Computing

    ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59850-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk / Pnueli / Maler | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Wiedijk / Pnueli / Maler Hybrid Systems: Computation and Control

    6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00913-9
    Medium: Buch
    106,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
    Weiland / Sadayappan / Juckeland | High Performance Computing | Buch | Sack Fachmedien

    Weiland / Sadayappan / Juckeland High Performance Computing

    34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-20655-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yovine / Lakhnech | Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Yovine / Lakhnech Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23167-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Rudolph Job Scheduling Strategies for Parallel Processing

    9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20405-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Grünbacher | Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping | Buch | Sack Fachmedien

    Hartenstein / Grünbacher Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping

    Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57091-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwiegelshohn / Frachtenberg | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Schwiegelshohn / Frachtenberg Job Scheduling Strategies for Parallel Processing

    12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71034-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Sontag / Henzinger | Hybrid Systems III | Buch | Sack Fachmedien

    Alur / Sontag / Henzinger Hybrid Systems III

    Verification and Control
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler | Hybrid and Real-Time Systems | Buch | Sack Fachmedien

    Maler Hybrid and Real-Time Systems

    International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62600-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Servit / Hartenstein | Field-Programmable Logic: Architectures, Synthesis and Applications | Buch | Sack Fachmedien

    Servit / Hartenstein 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
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58419-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polychronopoulos / Tomita / Joe | High Performance Computing | Buch | Sack Fachmedien

    Polychronopoulos / Tomita / Joe High Performance Computing

    Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65969-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lysaght / Hartenstein / Irvine | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Lysaght / Hartenstein / Irvine Field Programmable Logic and Applications

    9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66457-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | Mathematics of Program Construction | Buch | Sack Fachmedien

    Snepscheut Mathematics of Program Construction

    375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51305-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Yokota | Supercomputing Frontiers | Buch | Sack Fachmedien

    Wu / Yokota Supercomputing Frontiers

    4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69952-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaynak / Xu / Alpaydin | Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003 | Buch | Sack Fachmedien

    Kaynak / Xu / Alpaydin Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003

    Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40408-8
    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
    Seger / Joyce | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Seger / Joyce Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halatsis / Theodoridis / Maritsas | PARLE '94 Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Halatsis / Theodoridis / Maritsas PARLE '94 Parallel Architectures and Languages Europe

    6th International PARLE Conference, Athens, Greece, July 4 - 8, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58184-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | Buch | Sack Fachmedien

    Sharp Higher-Level Hardware Synthesis

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faudemay / Boral | Database Machines | Buch | Sack Fachmedien

    Faudemay / Boral Database Machines

    Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51324-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Meyer | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pflanz | On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors | Buch | Sack Fachmedien

    Pflanz On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43318-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Bauer / Ungerer | Organic and Pervasive Computing -- ARCS 2004 | Buch | Sack Fachmedien

    Müller-Schloer / Bauer / Ungerer Organic and Pervasive Computing -- ARCS 2004

    International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21238-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertels / Cardoso / Vassiliadis | Reconfigurable Computing: Architectures and Applications | Buch | Sack Fachmedien

    Bertels / Cardoso / Vassiliadis Reconfigurable Computing: Architectures and Applications

    Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36708-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brown / Leeser | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

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

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    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 I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soudris / Barke / Pirsch | Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Soudris / Barke / Pirsch Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation

    10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41068-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Weixin / Iwata | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware

    First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63173-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Condon | DNA Computing | Buch | Sack Fachmedien

    Rozenberg / Condon DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42076-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spirakis | Algorithms - ESA '95 | Buch | Sack Fachmedien

    Spirakis Algorithms - ESA '95

    Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60313-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    González-Vélez / Kolodziej / Kolodziej | High-Performance Modelling and Simulation for Big Data Applications | Buch | Sack Fachmedien

    González-Vélez / Kolodziej / Kolodziej High-Performance Modelling and Simulation for Big Data Applications

    Selected Results of the COST Action IC1406 cHiPSet
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-16271-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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