Ergebnisse filtern
Fachgebiet
Medium
  • 300
Erscheinungsjahr
  • 41
  • 29
  • 5
  • 1
  • 9
  • 7
  • 1
  • 5
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 7
  • 9
  • 11
  • 15
  • 10
  • 10
  • 9
  • 16
  • 8
  • 5
  • 11
  • 3
  • 4
  • 1
  • 3
  • 11
  • 5
  • 13
  • 8
  • 6
  • 1
  • 1
  • 3
  • 3
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 13
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 13
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 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
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 9
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 13
  • 13
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
Verlag
  • 14
  • 184
  • 31
  • 18
  • 52
  • 1
Preis
  • 2
  • 12
  • 260
  • 26
Sprachen
  • 300
  • 1
  • 1
Verfügbarkeit
  • 299
  • 1
Katalog
  • 300
  • 5
300  Treffer  für „Lecture Notes in Computer Science“
    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
    Dzeroski / Lavrac / Lavrac | Inductive Logic Programming | Buch | Sack Fachmedien

    Dzeroski / Lavrac / Lavrac Inductive Logic Programming

    7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63514-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Romanovsky / Gacek | Architecting Dependable Systems IV | Buch | Sack Fachmedien

    Lemos / Romanovsky / Gacek Architecting Dependable Systems IV

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74033-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Li / Zomaya | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wang / Li / Zomaya Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27118-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff / Schroeder-Heister / Herre | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff / Schroeder-Heister / Herre Extensions of Logic Programming

    5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus / Meinke / Heering | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Hanus / Meinke / Heering Algebraic and Logic Programming

    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuoka / Yonezawa | Metalevel Architectures and Separation of Crosscutting Concerns | Buch | Sack Fachmedien

    Matsuoka / Yonezawa Metalevel Architectures and Separation of Crosscutting Concerns

    Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42618-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eveking / Camurati | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Eveking / Camurati Correct Hardware Design and Verification Methods

    IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60385-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCune | Automated Deduction - CADE-14 | Buch | Sack Fachmedien

    McCune Automated Deduction - CADE-14

    14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63104-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Zicari / Han | Big Data Benchmarks, Performance Optimization, and Emerging Hardware | Buch | Sack Fachmedien

    Zhan / Zicari / Han Big Data Benchmarks, Performance Optimization, and Emerging Hardware

    6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29005-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roche / Bhasin | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Roche / Bhasin Smart Card Research and Advanced Applications

    22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14¿16, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-54408-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rother / Köthe | Pattern Recognition | Buch | Sack Fachmedien

    Rother / Köthe Pattern Recognition

    45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19¿22, 2023, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-54604-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Shagaliev / Sobolev | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Shagaliev / Sobolev Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25¿26, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49434-5
    Medium: Buch
    70,61 € (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
    Keevallik / Hartenstein | Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm | Buch | Sack Fachmedien

    Keevallik / Hartenstein Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

    8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64948-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clack / Koopman | Implementation of Functional Languages | Buch | Sack Fachmedien

    Clack / Koopman Implementation of Functional Languages

    11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67864-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Perrier / Lamarche | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Lecomte / Perrier / Lamarche Logical Aspects of Computational Linguistics

    Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65751-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann / Monien | Data Structures and Efficient Algorithms | Buch | Sack Fachmedien

    Ottmann / Monien Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koymans | Specifying Message Passing and Time-Critical Systems with Temporal Logic | Buch | Sack Fachmedien

    Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56283-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shvartsman | Principles of Distributed Systems | Buch | Sack Fachmedien

    Shvartsman Principles of Distributed Systems

    10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-49990-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Pettorossi Logic Based Program Synthesis and Transformation

    11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43915-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Yu | Implementation and Application of Automata | Buch | Sack Fachmedien

    Paun / Yu Implementation and Application of Automata

    5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42491-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski / Lorho | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski / Lorho Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50820-5
    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