Ergebnisse filtern
Fachgebiet
Medium
  • 192
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 4
  • 4
  • 3
  • 2
  • 5
  • 3
  • 7
  • 21
  • 10
  • 4
  • 5
  • 1
  • 1
  • 8
  • 11
  • 9
  • 5
  • 14
  • 8
  • 8
  • 15
  • 9
  • 8
  • 5
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 192
Preis
  • 2
  • 4
  • 165
  • 21
Sprachen
  • 191
  • 1
Verfügbarkeit
  • 192
Katalog
  • 192
  • 12

Mathematik Interdisziplinär

192  Treffer  für „Lecture Notes in Computer Science“
    Jajodia | Computer Security - ESORICS 2008 | Buch | Sack Fachmedien

    Jajodia Computer Security - ESORICS 2008

    13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janßen | Trends in Computer Algebra | Buch | Sack Fachmedien

    Janßen Trends in Computer Algebra

    International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18928-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Seiler | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing

    19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66319-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Seiler | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing

    17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24020-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Seiler | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing

    18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45640-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Mayr | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing

    14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32972-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hulzen | Computer Algebra | Buch | Sack Fachmedien

    Hulzen Computer Algebra

    EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 Proceedings
    Softcover Nachdruck of the original 1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12868-7
    Medium: Buch
    28,88 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srivas / Camilleri | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Srivas / Camilleri Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerber / Carette / Kaliszyk | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kerber / Carette / Kaliszyk Intelligent Computer Mathematics

    International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
    2015
    Verlag: Springer
    ISBN: 978-3-319-20614-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Benzmüller / Miller Intelligent Computer Mathematics

    13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradley | Computer Performance Engineering | Buch | Sack Fachmedien

    Bradley Computer Performance Engineering

    6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02923-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Aspinall / Lange | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Aspinall / Lange Intelligent Computer Mathematics

    MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39319-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt / Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Halbwachs / Peled Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Henzinger Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61474-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutierrez / Schicho / Weimann | Computer Algebra and Polynomials | Buch | Sack Fachmedien

    Gutierrez / Schicho / Weimann Computer Algebra and Polynomials

    Applications of Algebra and Number Theory
    2015
    Verlag: Springer
    ISBN: 978-3-319-15080-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chin / Pong | Computer Vision - ACCV'98 | Buch | Sack Fachmedien

    Chin / Pong Computer Vision - ACCV'98

    Third Asian Conference on Computer Vision, Hong Kong, China, January 8 - 10, 1998, Proceedings, Volume I
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63930-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miguet / Montanvert / Ubeda | Discrete Geometry for Computer Imagery | Buch | Sack Fachmedien

    Miguet / Montanvert / Ubeda Discrete Geometry for Computer Imagery

    6th International Workshop, DGCI'96, Lyon, France, November 13 - 15, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62005-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichler / Moreno-Diaz | Computer Aided Systems Theory - EUROCAST '89 | Buch | Sack Fachmedien

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

    A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52215-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 2017 | Buch | Sack Fachmedien

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

    16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vassiliadis / Berekovic / Hämäläinen | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

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

    7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73622-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertels / Dimopoulos / Silvano | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation

    9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03137-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adam / Buša / Hnatic | Mathematical Modeling and Computational Science | Buch | Sack Fachmedien

    Adam / Buša / Hnatic Mathematical Modeling and Computational Science

    International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28211-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magnusson | System Configuration Management | Buch | Sack Fachmedien

    Magnusson System Configuration Management

    ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64733-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Amadio Foundations of Software Science and Computational Structures

    11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78497-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Engberg | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Nielsen / Engberg Foundations of Software Science and Computation Structures

    5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43366-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Seidl Foundations of Software Science and Computational Structures

    10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71388-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00897-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
    Pernici / Thanos | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Pernici / Thanos Advanced Information Systems Engineering

    10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64556-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laender / Liddle / Storey | Conceptual Modeling - ER 2000 | Buch | Sack Fachmedien

    Laender / Liddle / Storey Conceptual Modeling - ER 2000

    19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41072-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keromytis | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Keromytis Financial Cryptography and Data Security

    16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32945-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim | Conceptual Modeling - ER '96 | Buch | Sack Fachmedien

    Thalheim Conceptual Modeling - ER '96

    15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61784-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ling / Mendelzon / Vieille | Deductive and Object-Oriented Databases | Buch | Sack Fachmedien

    Ling / Mendelzon / Vieille Deductive and Object-Oriented Databases

    Fourth International Conference, DOOD' 95, Singapore, December 4-7, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60608-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Siegel / Hartkopf | Cooperative Buildings. Integrating Information, Organizations, and Architecture | Buch | Sack Fachmedien

    Streitz / Siegel / Hartkopf Cooperative Buildings. Integrating Information, Organizations, and Architecture

    Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66596-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arisawa / Kambayashi | Conceptual Modeling for New Information Systems Technologies | Buch | Sack Fachmedien

    Arisawa / Kambayashi Conceptual Modeling for New Information Systems Technologies

    ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44122-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constantopoulos / Mylopoulos / Vassiliou | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Constantopoulos / Mylopoulos / Vassiliou Advanced Information Systems Engineering

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61292-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liddle / Mayr / Thalheim | Conceptual Modeling for E-Business and the Web | Buch | Sack Fachmedien

    Liddle / Mayr / Thalheim Conceptual Modeling for E-Business and the Web

    ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41073-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Egenhofer / Herring | Advances in Spatial Databases | Buch | Sack Fachmedien

    Egenhofer / Herring Advances in Spatial Databases

    4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60159-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tavares / Meijer | Selected Areas in Cryptography | Buch | Sack Fachmedien

    Tavares / Meijer Selected Areas in Cryptography

    5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65894-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellare | Advances in Cryptology - CRYPTO 2000 | Buch | Sack Fachmedien

    Bellare Advances in Cryptology - CRYPTO 2000

    20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67907-3
    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

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher | Formal Methods in Systems Biology | Buch | Sack Fachmedien

    Fisher Formal Methods in Systems Biology

    First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68410-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamachari / Suri / Heinzelman | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Krishnamachari / Suri / Heinzelman Distributed Computing in Sensor Systems

    5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02084-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / de Supinski / Chapman | Evolving OpenMP in an Age of Extreme Parallelism | Buch | Sack Fachmedien

    Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism

    5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02284-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonsson / Parrow | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

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

    4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61648-1
    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
    Börger / Gargantini / Riccobene | Abstract State Machines 2003: Advances in Theory and Practice | Buch | Sack Fachmedien

    Börger / Gargantini / Riccobene Abstract State Machines 2003: Advances in Theory and Practice

    10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00624-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ravn / Rischel | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

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

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann / Thalheim | Abstract State Machines 2004. Advances in Theory and Practice | Buch | Sack Fachmedien

    Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice

    11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22094-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

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

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / King | ZB 2003: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40253-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkatou / Cluzeau / Regensburger | Algebraic and Algorithmic Aspects of Differential and Integral Operators | Buch | Sack Fachmedien

    Barkatou / Cluzeau / Regensburger Algebraic and Algorithmic Aspects of Differential and Integral Operators

    5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54478-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damgard | Lectures on Data Security | Buch | Sack Fachmedien

    Damgard Lectures on Data Security

    Modern Cryptology in Theory and Practice
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65757-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Eigenmann / Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nareyek | Constraint-Based Agents | Buch | Sack Fachmedien

    Nareyek Constraint-Based Agents

    An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42258-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66587-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ottmann Automata, Languages and Programming

    14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18088-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grosky / Plasil | SOFSEM 2002: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Grosky / Plasil SOFSEM 2002: Theory and Practice of Informatics

    29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00145-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitch | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Fitch Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57272-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Back / Petre / de Vink | Transactions on Computational Systems Biology XIII | Buch | Sack Fachmedien

    Back / Petre / de Vink Transactions on Computational Systems Biology XIII

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19747-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Nerode | Hybrid Systems IV | Buch | Sack Fachmedien

    Antsaklis / Kohn / Nerode Hybrid Systems IV

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63358-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57235-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castelfranchi / Werner | Artificial Social Systems | Buch | Sack Fachmedien

    Castelfranchi / Werner Artificial Social Systems

    4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58266-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Steffen | Correct System Design | Buch | Sack Fachmedien

    Olderog / Steffen Correct System Design

    Recent Insights and Advances
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Limongelli | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Calmet / Limongelli Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61697-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Vaandrager | Lectures on Embedded Systems | Buch | Sack Fachmedien

    Rozenberg / Vaandrager Lectures on Embedded Systems

    European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65193-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lynch / Krogh | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Lynch / Krogh Hybrid Systems: Computation and Control

    Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67259-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Haverkort / Leucker Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revi
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barendregt / Nipkow | Types for Proofs and Programs | Buch | Sack Fachmedien

    Barendregt / Nipkow Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger / Sontag | Hybrid Systems III | Buch | Sack Fachmedien

    Alur / Henzinger / Sontag Hybrid Systems III

    Verification and Control
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52531-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Lindsay | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Condon / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Condon / Rozenberg DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42076-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calzarossa / Tucci | Performance Evaluation of Complex Systems: Techniques and Tools | Buch | Sack Fachmedien

    Calzarossa / Tucci Performance Evaluation of Complex Systems: Techniques and Tools

    Performance 2002. Tutorial Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44252-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davidsson / Logan / Takadama | Multi-Agent and Multi-Agent-Based Simulation | Buch | Sack Fachmedien

    Davidsson / Logan / Takadama Multi-Agent and Multi-Agent-Based Simulation

    Joint Workshop MABS 2004
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25262-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Lakos | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gawlick / Haynie / Reuter | High Performance Transaction Systems | Buch | Sack Fachmedien

    Gawlick / Haynie / Reuter High Performance Transaction Systems

    2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51085-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garavel / Hatcliff | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Garavel / Hatcliff Tools and Algorithms for the Construction and Analysis of Systems

    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-00898-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Slezak | Future Generation Information Technology | Buch | Sack Fachmedien

    Lee / Slezak Future Generation Information Technology

    First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10508-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Manocha | Applied Computational Geometry. Towards Geometric Engineering | Buch | Sack Fachmedien

    Lin / Manocha Applied Computational Geometry. Towards Geometric Engineering

    FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61785-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habermann / Montanari | System Development and Ada | Buch | Sack Fachmedien

    Habermann / Montanari System Development and Ada

    CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18341-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Melham | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Margaria / Melham Correct Hardware Design and Verification Methods

    11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42541-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Näher / Wagner | Algorithm Engineering | Buch | Sack Fachmedien

    Näher / Wagner Algorithm Engineering

    4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42512-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Karsai / Lee | Model-Based Engineering of Embedded Real-Time Systems | Buch | Sack Fachmedien

    Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flanagan / König | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems

    18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Ambra / Guarracino / Talia | Euro-Par 2010 - Parallel Processing | Buch | Sack Fachmedien

    D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing

    16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15290-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Tripakis | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems

    9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24309-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulzrinne / State / Niccolini | Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks | Buch | Sack Fachmedien

    Schulzrinne / State / Niccolini Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

    Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89053-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Ambra / Guarracino / Talia | Euro-Par 2010 - Parallel Processing | Buch | Sack Fachmedien

    D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing

    16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15276-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozapalidis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    Bozapalidis / Rahonis Algebraic Informatics

    3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03563-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ma / Choi / Ata | Challenges for Next Generation Network Operations and Service Management | Buch | Sack Fachmedien

    Ma / Choi / Ata Challenges for Next Generation Network Operations and Service Management

    11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88622-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer auf der Heide | Algorithms - ESA 2001 | Buch | Sack Fachmedien

    Meyer auf der Heide Algorithms - ESA 2001

    9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42493-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    David / Sichman | Multi-Agent-Based Simulation IX | Buch | Sack Fachmedien

    David / Sichman Multi-Agent-Based Simulation IX

    International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01990-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Horváth | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Horváth Analytical and Stochastic Modeling Techniques and Applications

    16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02204-3
    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