Ergebnisse filtern
Fachgebiet
Medium
  • 335
Erscheinungsjahr
  • 8
  • 46
  • 32
  • 5
  • 3
  • 2
  • 9
  • 5
  • 2
  • 5
  • 5
  • 3
  • 1
  • 4
  • 4
  • 4
  • 2
  • 3
  • 7
  • 6
  • 7
  • 9
  • 11
  • 15
  • 12
  • 10
  • 8
  • 18
  • 8
  • 4
  • 11
  • 3
  • 4
  • 2
  • 3
  • 11
  • 6
  • 13
  • 8
  • 6
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 13
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 3
  • 13
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
Verlag
  • 46
  • 185
  • 32
  • 18
  • 54
Preis
  • 3
  • 11
  • 278
  • 43
Sprachen
  • 335
  • 1
  • 1
Verfügbarkeit
  • 335
Katalog
  • 335
  • 5
335  Treffer  für „Lecture Notes in Computer Science“
    Alur / Sontag / Henzinger | Hybrid Systems III | Buch | Sack Fachmedien

    Alur / Sontag / Henzinger Hybrid Systems III

    Verification and Control
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Servit / Hartenstein | Field-Programmable Logic: Architectures, Synthesis and Applications | Buch | Sack Fachmedien

    Servit / Hartenstein Field-Programmable Logic: Architectures, Synthesis and Applications

    4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58419-3
    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

    ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27160-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karydis / Chatzigiannakis | Algorithmic Aspects of Cloud Computing | Buch | Sack Fachmedien

    Karydis / Chatzigiannakis Algorithmic Aspects of Cloud Computing

    8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49360-7
    Medium: Buch
    69,54 € (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
    Hu / Medvet / Lourenço | Genetic Programming | Buch | Sack Fachmedien

    Hu / Medvet / Lourenço Genetic Programming

    24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72811-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurevich / Thiele / Kutter | Abstract State Machines - Theory and Applications | Buch | Sack Fachmedien

    Gurevich / Thiele / Kutter Abstract State Machines - Theory and Applications

    International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67959-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Syre / Rem | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Syre / Rem PARLE '89 - Parallel Architectures and Languages Europe

    Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lysaght / Hartenstein / Irvine | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Lysaght / Hartenstein / Irvine Field Programmable Logic and Applications

    9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66457-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kubatova / Sick / Hochberger | Architecture of Computing Systems -- ARCS 2013 | Buch | Sack Fachmedien

    Kubatova / Sick / Hochberger Architecture of Computing Systems -- ARCS 2013

    26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36423-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schoeberl / Hochberger / Pionteck | Architecture of Computing Systems - ARCS 2019 | Buch | Sack Fachmedien

    Schoeberl / Hochberger / Pionteck Architecture of Computing Systems - ARCS 2019

    32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18655-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Willemse / Ferreira | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Willemse / Ferreira Software Engineering and Formal Methods

    21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-47114-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Suhartanto / Wang | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Yang / Suhartanto / Wang Advanced Data Mining and Applications

    19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part V
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-46676-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Sastry | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Sastry Hybrid Systems V

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Bauer / Ungerer | Organic and Pervasive Computing -- ARCS 2004 | Buch | Sack Fachmedien

    Müller-Schloer / Bauer / Ungerer Organic and Pervasive Computing -- ARCS 2004

    International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21238-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | Buch | Sack Fachmedien

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74963-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carretero / Shende / Schreiber | Euro-Par 2024: Parallel Processing | Buch | Sack Fachmedien

    Carretero / Shende / Schreiber Euro-Par 2024: Parallel Processing

    30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-69576-6
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagel / Goehringer / Diniz | Euro-Par 2025: Parallel Processing | Buch | Sack Fachmedien

    Nagel / Goehringer / Diniz Euro-Par 2025: Parallel Processing

    31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99853-9
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sipper / Perez-Uribe / Mange | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Sipper / Perez-Uribe / Mange Evolvable Systems: From Biology to Hardware

    Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Suhartanto / Wang | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Yang / Suhartanto / Wang Advanced Data Mining and Applications

    19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-46673-1
    Medium: Buch
    106,99 € (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
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63104-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soudris / Barke / Pirsch | Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Soudris / Barke / Pirsch Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation

    10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41068-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hornby / Haddow / Sekanina | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Hornby / Haddow / Sekanina Evolvable Systems: From Biology to Hardware

    8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85856-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Weixin / Iwata | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware

    First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63173-6
    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