Ergebnisse filtern
Fachgebiet
Medium
  • 139
Erscheinungsjahr
  • 13
  • 21
  • 6
  • 2
  • 5
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 7
  • 8
  • 11
  • 14
  • 14
  • 11
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 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
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Verlag
  • 139
Preis
  • 8
  • 111
  • 20
Sprachen
  • 139
Verfügbarkeit
  • 139
Katalog
  • 139
  • 9
139  Treffer  für „Lecture Notes in Computer Science“
    Paliouras / Vounckx / Verkest | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29013-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borrione / Paul | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Borrione / Paul Correct Hardware Design and Verification Methods

    13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29105-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Jähnichen / Xu | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Zhou / Jähnichen / Xu Advanced Parallel Processing Technologies

    5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20054-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Melham | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Margaria / Melham 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
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42541-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Rawski | Reversible Computation | Buch | Sack Fachmedien

    Lanese / Rawski Reversible Computation

    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-52481-4
    Medium: Buch
    53,49 € (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
    ISBN: 978-3-030-47360-0
    Medium: Buch
    42,79 € (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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00012-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chakraborty / Navas | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Chakraborty / Navas Verified Software. Theories, Tools, and Experiments

    11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41599-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chico / Macii | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

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

    13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20074-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

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

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45331-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Bergenthum / Ciardo | Transactions on Petri Nets and Other Models of Concurrency XVII | Buch | Sack Fachmedien

    Koutny / Bergenthum / Ciardo Transactions on Petri Nets and Other Models of Concurrency XVII

    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-662-68190-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Cavalcanti | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Beyer / Cavalcanti 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
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Lahav / Wolff | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Sobolev / Yakobovskiy | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Sobolev / Yakobovskiy Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49434-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutrib / Meyer | Reversible Computation | Buch | Sack Fachmedien

    Kutrib / Meyer Reversible Computation

    15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38099-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Metaverse - METAVERSE 2022 | Buch | Sack Fachmedien

    Zhang Metaverse - METAVERSE 2022

    18th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-23517-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Serhani / Zhang | Services - SERVICES 2021 | Buch | Sack Fachmedien

    Serhani / Zhang Services - SERVICES 2021

    17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-96584-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlavicka / Maehle / Pataricza | Dependable Computing - EDDC-3 | Buch | Sack Fachmedien

    Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3

    Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66483-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voros / Huebner / Keramidas | Applied Reconfigurable Computing. Architectures, Tools, and Applications | Buch | Sack Fachmedien

    Voros / Huebner / Keramidas Applied Reconfigurable Computing. Architectures, Tools, and Applications

    14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78889-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drira / Martelli / Villemur | Cooperative Environments for Distributed Systems Engineering | Buch | Sack Fachmedien

    Drira / Martelli / Villemur Cooperative Environments for Distributed Systems Engineering

    The Distributed Systems Environment Report
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43083-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishida / Isbister | Digital Cities | Buch | Sack Fachmedien

    Ishida / Isbister Digital Cities

    Technologies, Experiences, and Future Perspectives
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67265-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00172-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kambayashi / Mohania / Tjoa | Data Warehousing and Knowledge Discovery | Buch | Sack Fachmedien

    Kambayashi / Mohania / Tjoa Data Warehousing and Knowledge Discovery

    Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67980-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Grünbacher | Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing | Buch | Sack Fachmedien

    Hartenstein / Grünbacher Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing

    10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67899-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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