Ergebnisse filtern
Fachgebiet
Medium
  • 388
Erscheinungsjahr
  • 4
  • 14
  • 4
  • 3
  • 5
  • 5
  • 1
  • 6
  • 6
  • 5
  • 3
  • 5
  • 2
  • 1
  • 11
  • 26
  • 29
  • 4
  • 5
  • 7
  • 11
  • 8
  • 17
  • 22
  • 31
  • 22
  • 9
  • 24
  • 11
  • 6
  • 6
  • 6
  • 5
  • 5
  • 6
  • 7
  • 6
  • 8
  • 4
  • 7
  • 7
  • 1
  • 3
  • 3
  • 4
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 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
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 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
  • 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
  • 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
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 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
  • 1
  • 1
  • 1
Verlag
  • 47
  • 279
  • 38
  • 3
  • 14
  • 7
Preis
  • 4
  • 25
  • 319
  • 40
Sprachen
  • 388
  • 3
Verfügbarkeit
  • 384
  • 4
Katalog
  • 388
  • 10
388  Treffer  für „Lecture Notes in Computer Science“
    Tahar / Li | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Tahar / Li Formal Methods and Software Engineering

    24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21¿24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-99-7583-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mössenböck | Modular Programming Languages | Buch | Sack Fachmedien

    Mössenböck Modular Programming Languages

    Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Lorho / Jourdan | Attribute Grammars | Buch | Sack Fachmedien

    Deransart / Lorho / Jourdan Attribute Grammars

    Definitions, Systems and Bibliography
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50056-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '85 | Buch | Sack Fachmedien

    Wada Logic Programming '85

    Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strohmeier | Reliable Software Technologies - Ada Europe 96 | Buch | Sack Fachmedien

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simpson / Nichols | ESEC '87 | Buch | Sack Fachmedien

    Simpson / Nichols ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Ada: The Choice for '92 | Buch | Sack Fachmedien

    Christodoulakis Ada: The Choice for '92

    Ada-Europe International Conference Athens, Greece, May 13-17, 1991
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54092-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / de Liguoro / Damiani | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / de Liguoro / Damiani Types for Proofs and Programs

    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-02443-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Damiani / Coppo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Damiani / Coppo Types for Proofs and Programs

    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Saraiva / Dybjer | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Saraiva / Dybjer Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martell / Paech | Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs | Buch | Sack Fachmedien

    Martell / Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

    14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Umeda / Wolf / Takata | Declarative Programming for Knowledge Management | Buch | Sack Fachmedien

    Umeda / Wolf / Takata Declarative Programming for Knowledge Management

    16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69233-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coquand / Smith / Dybjer | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coquand / Smith / Dybjer Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürgensen / Boldt | Automata Implementation | Buch | Sack Fachmedien

    Jürgensen / Boldt Automata Implementation

    4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raymond / Yu / Wood | Automata Implementation | Buch | Sack Fachmedien

    Raymond / Yu / Wood Automata Implementation

    First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63174-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Treleaven / Nijman | PARLE Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Bakker / Treleaven / Nijman PARLE Parallel Architectures and Languages Europe

    Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17945-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morales / Hermenegildo | Static Analysis | Buch | Sack Fachmedien

    Morales / Hermenegildo Static Analysis

    30th International Symposium, SAS 2023, Cascais, Portugal, October 22¿24, 2023, Proceedings
    2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-44244-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borning | Principles and Practice of Constraint Programming | Buch | Sack Fachmedien

    Borning Principles and Practice of Constraint Programming

    Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58601-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezivin / Lieberman / Hullot | ECOOP '87. European Conference on Object-Oriented Programming | Buch | Sack Fachmedien

    Bezivin / Lieberman / Hullot ECOOP '87. European Conference on Object-Oriented Programming

    Paris, France, June 15-17, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18353-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhalachandra / Wienke | Accelerator Programming Using Directives | Buch | Sack Fachmedien

    Bhalachandra / Wienke Accelerator Programming Using Directives

    6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-49942-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ringwood / Huntbach | Agent-Oriented Programming | Buch | Sack Fachmedien

    Ringwood / Huntbach Agent-Oriented Programming

    From Prolog to Guarded Definite Clauses
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66683-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Zimmermann / Hutt | GAG: A Practical Compiler Generator | Buch | Sack Fachmedien

    Kastens / Zimmermann / Hutt GAG: A Practical Compiler Generator

    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11591-5
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polak | Compiler Specification and Verification | Buch | Sack Fachmedien

    Polak Compiler Specification and Verification

    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10886-3
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Supinski / Olivier / Müller | Scaling OpenMP for Exascale Performance and Portability | Buch | Sack Fachmedien

    de Supinski / Olivier / Müller Scaling OpenMP for Exascale Performance and Portability

    13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20¿22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-65577-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Rozenberg | L Systems | Buch | Sack Fachmedien

    Salomaa / Rozenberg L Systems

    1974
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-06867-9
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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