Ergebnisse filtern
Fachgebiet
Medium
  • 140
Erscheinungsjahr
  • 13
  • 20
  • 6
  • 3
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 7
  • 7
  • 12
  • 16
  • 16
  • 12
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 3
  • 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
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 6
  • 84
  • 16
  • 34
Preis
  • 7
  • 113
  • 20
Sprachen
  • 140
Verfügbarkeit
  • 140
Katalog
  • 140
  • 8
140  Treffer  für „Lecture Notes in Computer Science“
    Hlawiczka / Simoncini / Silva | Dependable Computing - EDCC-2 | Buch | Sack Fachmedien

    Hlawiczka / Simoncini / Silva Dependable Computing - EDCC-2

    Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61772-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gellersen | Handheld and Ubiquitous Computing | Buch | Sack Fachmedien

    Gellersen Handheld and Ubiquitous Computing

    First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66550-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hochet / Bellido / Acosta | Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Hochet / Bellido / Acosta Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation

    12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44143-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vassiliadis / Deprettere | Embedded Processor Design Challenges | Buch | Sack Fachmedien

    Vassiliadis / Deprettere Embedded Processor Design Challenges

    Systems, Architectures, Modeling, and Simulation - SAMOS
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43322-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson | Interactive Systems: Design, Specification, and Verification | Buch | Sack Fachmedien

    Johnson Interactive Systems: Design, Specification, and Verification

    8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42807-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tyrrell / Torresen / Haddow | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tyrrell / Torresen / Haddow Evolvable Systems: From Biology to Hardware

    5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00730-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tronci / Geist | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Tronci / Geist Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Liu / Zhan | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Xu / Liu / Zhan Advanced Parallel Processing Technologies

    7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76836-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Morgan / Woods | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Becker / Morgan / Woods Reconfigurable Computing: Architectures, Tools and Applications

    5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00640-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobini / O'Neill / Brabazon | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Giacobini / O'Neill / Brabazon Applications of Evolutionary Computing

    EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01128-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Hojjat | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Ábrahám / Hojjat Fundamentals of Software Engineering

    10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-42440-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57255-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57245-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poess / Nambiar | Performance Evaluation and Benchmarking for the Era of Cloud(s) | Buch | Sack Fachmedien

    Poess / Nambiar Performance Evaluation and Benchmarking for the Era of Cloud(s)

    11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-55023-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diehl / Kale / Thoman | Asynchronous Many-Task Systems and Applications | Buch | Sack Fachmedien

    Diehl / Kale / Thoman Asynchronous Many-Task Systems and Applications

    First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15¿17, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-32315-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Haarslev / Cheng | Theory and Application of Diagrams | Buch | Sack Fachmedien

    Anderson / Haarslev / Cheng Theory and Application of Diagrams

    First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67915-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Wilke / Thomas | Automata, Logics, and Infinite Games | Buch | Sack Fachmedien

    Grädel / Wilke / Thomas Automata, Logics, and Infinite Games

    A Guide to Current Research
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00388-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ulidowski / Lanese / Schultz | Reversible Computation: Extending Horizons of Computing | Buch | Sack Fachmedien

    Ulidowski / Lanese / Schultz Reversible Computation: Extending Horizons of Computing

    Selected Results of the COST Action IC1405
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-47360-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Kutrib | Reversible Computation | Buch | Sack Fachmedien

    Meyer / Kutrib Reversible Computation

    15th International Conference, RC 2023, Giessen, Germany, July 18¿19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-38099-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Beyer | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Beyer Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / André | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Sun / André Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-45331-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / André | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Sun / André Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-45328-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Macii / Chico | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Macii / Chico Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20074-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Rudolph Job Scheduling Strategies for Parallel Processing

    8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00172-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grandoni | Dependable Computing EDCC-4 | Buch | Sack Fachmedien

    Grandoni Dependable Computing EDCC-4

    4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00012-9
    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