Ergebnisse filtern
Fachgebiet
Medium
  • 162
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 5
  • 2
  • 4
  • 1
  • 20
  • 9
  • 1
  • 2
  • 1
  • 9
  • 11
  • 8
  • 5
  • 11
  • 8
  • 8
  • 14
  • 9
  • 7
  • 5
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 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
  • 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
  • 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
  • 3
  • 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
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 30
  • 122
  • 7
  • 3
Preis
  • 2
  • 5
  • 135
  • 20
Sprachen
  • 161
  • 1
Verfügbarkeit
  • 162
Katalog
  • 162
  • 13
162  Treffer  für „Lecture Notes in Computer Science“
    Steinholtz / Bergman / Soelvberg | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Steinholtz / Bergman / Soelvberg Advanced Information Systems Engineering

    Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52625-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Tong / Chen | High Performance Computing and Applications | Buch | Sack Fachmedien

    Zhang / Tong / Chen High Performance Computing and Applications

    Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-11841-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selic / Schürr | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Selic / Schürr Model Driven Engineering Languages and Systems

    12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04424-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arcelli / Sanniti di Baja / Cordella | Visual Form 2001 | Buch | Sack Fachmedien

    Arcelli / Sanniti di Baja / Cordella Visual Form 2001

    4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42120-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson | Programming Languages and Systems - ESOP '96 | Buch | Sack Fachmedien

    Nielson Programming Languages and Systems - ESOP '96

    6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61055-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    North | Graph Drawing | Buch | Sack Fachmedien

    North Graph Drawing

    Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62495-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlavicka / Pataricza / Maehle | Dependable Computing - EDDC-3 | Buch | Sack Fachmedien

    Hlavicka / Pataricza / Maehle Dependable Computing - EDDC-3

    Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66483-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
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66226-6
    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
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60360-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pastor / Olive | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Pastor / Olive Advanced Information Systems Engineering

    9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63107-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böhme / Smith / Brenner | Financial Cryptography and Data Security | Buch | Sack Fachmedien

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

    FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-662-44773-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jorge / Falcao e Cunha / Jardim Nunes | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

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

    10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20159-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gawlick / Reuter / Haynie | High Performance Transaction Systems | Buch | Sack Fachmedien

    Gawlick / Reuter / Haynie High Performance Transaction Systems

    2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51085-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Margaria | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Melham / Margaria 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
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42541-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Bruni | Web Services and Formal Methods | Buch | Sack Fachmedien

    Wolf / Bruni Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Li | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogh / Lynch | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Krogh / Lynch Hybrid Systems: Computation and Control

    Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67259-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DiBattista | Graph Drawing | Buch | Sack Fachmedien

    DiBattista Graph Drawing

    5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63938-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierre / Milne | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Pierre / Milne Correct Hardware Design and Verification Methods

    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56778-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wijers / Wasserman / Brinkkemper | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Wijers / Wasserman / Brinkkemper Advanced Information Systems Engineering

    6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58113-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindsay / Eriksson | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

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

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Näher | Algorithm Engineering | Buch | Sack Fachmedien

    Wagner / Näher Algorithm Engineering

    4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42512-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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