Ergebnisse filtern
Fachgebiet
Medium
  • 555
Erscheinungsjahr
  • 1
  • 7
  • 14
  • 25
  • 25
  • 25
  • 53
  • 41
  • 33
  • 43
  • 32
  • 35
  • 18
  • 20
  • 28
  • 22
  • 24
  • 19
  • 14
  • 26
  • 11
  • 18
  • 6
  • 5
  • 3
  • 2
  • 3
  • 1
  • 1
Autoren
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 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
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 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
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 6
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 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
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 553
  • 1
  • 1
Preis
  • 2
  • 479
  • 74
Sprachen
  • 555
Verfügbarkeit
  • 555
Katalog
  • 555
  • 24
555  Treffer  für „Lecture Notes in Computer Science“
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codognet | Logic Programming | Buch | Sack Fachmedien

    Codognet Logic Programming

    17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42935-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Boiten / Derrick / Smith Integrated Formal Methods

    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21377-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Nuno Oliveira | Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Nuno Oliveira Mathematics of Program Construction

    5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer / Botella | Software Engineering - ESEC '95 | Buch | Sack Fachmedien

    Schäfer / Botella Software Engineering - ESEC '95

    5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60406-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    America | ECOOP '91 European Conference on Object-Oriented Programming | Buch | Sack Fachmedien

    America ECOOP '91 European Conference on Object-Oriented Programming

    Geneva, Switzerland, July 15-19, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54262-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ur / Bin / Wolfsthal | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Ur / Bin / Wolfsthal Hardware and Software, Verification and Testing

    First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32604-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almási / Cascaval / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Almási / Cascaval / Wu Languages and Compilers for Parallel Computing

    19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | CONCUR '92 | Buch | Sack Fachmedien

    Cleaveland CONCUR '92

    Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55822-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra | Programming Languages and Systems | Buch | Sack Fachmedien

    Swierstra Programming Languages and Systems

    8th European Symposium on Programming, ESOP'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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indulska / Raymond | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Indulska / Raymond Distributed Applications and Interoperable Systems

    7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72881-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreczmar / Salwicki / Warpechowski | LOGLAN '88 - Report on the Programming Language | Buch | Sack Fachmedien

    Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52325-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Dongarra / Ludwig | Parallel Virtual Machine - EuroPVM'96 | Buch | Sack Fachmedien

    Bode / Dongarra / Ludwig Parallel Virtual Machine - EuroPVM'96

    Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorton / Heinemann / Crnkovic | Component-Based Software Engineering | Buch | Sack Fachmedien

    Gorton / Heinemann / Crnkovic Component-Based Software Engineering

    9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35628-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Odell / Weiß | Agent-Oriented Software Engineering III | Buch | Sack Fachmedien

    Giunchiglia / Odell / Weiß Agent-Oriented Software Engineering III

    Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00713-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-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