Ergebnisse filtern
Fachgebiet
Medium
  • 180
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 17
  • 9
  • 3
  • 5
  • 2
  • 1
  • 9
  • 11
  • 8
  • 5
  • 14
  • 8
  • 8
  • 16
  • 9
  • 7
  • 5
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 180
Preis
  • 2
  • 2
  • 155
  • 21
Sprachen
  • 179
  • 1
Verfügbarkeit
  • 180
Katalog
  • 180
  • 14

Mathematik Interdisziplinär

180  Treffer  für „Lecture Notes in Computer Science“
    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

    20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99638-7
    Medium: Buch
    69,54 € (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
    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
    Gerdt / Koepf / Mayr | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing

    15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02296-3
    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

    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
    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
    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
    1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    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
    Thomas / Juiz | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas / Juiz Computer Performance Engineering

    5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87411-9
    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
    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
    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
    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
    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
    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
    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
    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 II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74726-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hämäläinen / Pimentel / Takala | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

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

    5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-26969-4
    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
    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
    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
    Aceto / Ingólfsdóttir | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Aceto / Ingólfsdóttir Foundations of Software Science and Computational Structures

    9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33045-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
    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
    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
    Beigl / Christiansen / Roth-Berghofer | Modeling and Using Context | Buch | Sack Fachmedien

    Beigl / Christiansen / Roth-Berghofer Modeling and Using Context

    7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24278-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
    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
    Baresi / Chi / Suzuki | Service-Oriented Computing | Buch | Sack Fachmedien

    Baresi / Chi / Suzuki Service-Oriented Computing

    7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10382-7
    Medium: Buch
    106,99 € (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
    Clark / Meiklejohn / Ryan | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Clark / Meiklejohn / Ryan Financial Cryptography and Data Security

    FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53356-7
    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
    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
    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
    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
    Sadeghi | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Sadeghi Financial Cryptography and Data Security

    17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39883-4
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    Maneth | Implementation and Application of Automata | Buch | Sack Fachmedien

    Maneth Implementation and Application of Automata

    14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02978-3
    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
    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
    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
    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
    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
    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
    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
    1998
    Verlag: Springer
    ISBN: 978-3-540-65193-2
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    Antsaklis / Kohn / Lemmon | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Lemmon Hybrid Systems V

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65643-2
    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
    Knudsen | Fast Software Encryption | Buch | Sack Fachmedien

    Knudsen Fast Software Encryption

    6th International Workshop, FSE'99 Rome, Italy, March 24-26, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66226-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abran / Braungarten / Dumke | Software Process and Product Measurement | Buch | Sack Fachmedien

    Abran / Braungarten / Dumke Software Process and Product Measurement

    International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05414-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    LeCharlier | Static Analysis | Buch | Sack Fachmedien

    LeCharlier Static Analysis

    First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58485-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klas / Schrefl | Metaclasses and Their Application | Buch | Sack Fachmedien

    Klas / Schrefl Metaclasses and Their Application

    Data Model Tailoring and Database Integration
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60063-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zohar / Eyal / Teague | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Zohar / Eyal / Teague Financial Cryptography and Data Security

    FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58819-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pavlou / Ahmed / Dagiuklas | Management of Converged Multimedia Networks and Services | Buch | Sack Fachmedien

    Pavlou / Ahmed / Dagiuklas Management of Converged Multimedia Networks and Services

    11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87358-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arcelli / Cordella / Sanniti di Baja | Visual Form 2001 | Buch | Sack Fachmedien

    Arcelli / Cordella / Sanniti di Baja Visual Form 2001

    4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42120-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böhme / Brenner / Moore | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Böhme / Brenner / Moore Financial Cryptography and Data Security

    FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44773-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rome / Bloomfield | Critical Information Infrastructures Security | Buch | Sack Fachmedien

    Rome / Bloomfield Critical Information Infrastructures Security

    4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14378-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olive / Pastor | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Olive / Pastor Advanced Information Systems Engineering

    9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63107-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jorge / Jardim Nunes / Falcao e Cunha | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Jorge / Jardim Nunes / Falcao e Cunha Interactive Systems. Design, Specification, and Verification

    10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20159-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycroft | Static Analysis | Buch | Sack Fachmedien

    Mycroft Static Analysis

    Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60360-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Senivongse / Oliveira | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Senivongse / Oliveira Distributed Applications and Interoperable Systems

    9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02163-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