Ergebnisse filtern
Fachgebiet
Medium
  • 375
Erscheinungsjahr
  • 38
  • 73
  • 32
  • 33
  • 21
  • 23
  • 18
  • 31
  • 23
  • 16
  • 15
  • 6
  • 4
  • 12
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 20
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 22
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 7
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 13
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 22
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 6
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 7
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 43
  • 23
  • 197
  • 12
  • 100
Preis
  • 1
  • 23
  • 305
  • 46
Sprachen
  • 375
Verfügbarkeit
  • 375
Katalog
  • 375
  • 5
375  Treffer  für „Lecture Notes in Computer Science“
    Ahrendt / Johnsen / Beckert | The Logic of Software. A Tasting Menu of Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Johnsen / Beckert The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bender / Mosteiro / Farach-Colton | LATIN 2018: Theoretical Informatics | Buch | Sack Fachmedien

    Bender / Mosteiro / Farach-Colton LATIN 2018: Theoretical Informatics

    13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77403-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Tronçon | Ludics, Dialogue and Interaction | Buch | Sack Fachmedien

    Lecomte / Tronçon Ludics, Dialogue and Interaction

    PRELUDE Project — 2006-2009. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19210-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arcaini / Fredericks / Yue | Search-Based Software Engineering | Buch | Sack Fachmedien

    Arcaini / Fredericks / Yue Search-Based Software Engineering

    15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48795-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bojanczyk / Potapov / Lasota | Reachability Problems | Buch | Sack Fachmedien

    Bojanczyk / Potapov / Lasota Reachability Problems

    9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24536-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oikonomou / Sellis | Algorithmic Aspects of Cloud Computing | Buch | Sack Fachmedien

    Oikonomou / Sellis Algorithmic Aspects of Cloud Computing

    Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57044-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Alfaro / Herrera-Joancomartí / Navarro-Arribas | Data Privacy Management, Cryptocurrencies and Blockchain Technology | Buch | Sack Fachmedien

    Garcia-Alfaro / Herrera-Joancomartí / Navarro-Arribas Data Privacy Management, Cryptocurrencies and Blockchain Technology

    ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67815-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vorst / Zee | Parallel Computing 1988 | Buch | Sack Fachmedien

    Vorst / Zee Parallel Computing 1988

    Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51604-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Benthem / Verbrugge / Ghosh | Models of Strategic Reasoning | Buch | Sack Fachmedien

    van Benthem / Verbrugge / Ghosh Models of Strategic Reasoning

    Logics, Games, and Communities
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48539-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Payne / Presutti / Qi | The Semantic Web - ISWC 2023 | Buch | Sack Fachmedien

    Payne / Presutti / Qi The Semantic Web - ISWC 2023

    22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-47242-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiese / Soto | LATIN 2024: Theoretical Informatics | Buch | Sack Fachmedien

    Wiese / Soto LATIN 2024: Theoretical Informatics

    16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-55597-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walsh / Gaspers | Theory and Applications of Satisfiability Testing - SAT 2017 | Buch | Sack Fachmedien

    Walsh / Gaspers Theory and Applications of Satisfiability Testing - SAT 2017

    20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Payne / Presutti / Qi | The Semantic Web - ISWC 2023 | Buch | Sack Fachmedien

    Payne / Presutti / Qi The Semantic Web - ISWC 2023

    22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-47239-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yew / Stenström / Li | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Yew / Stenström / Li Advanced Parallel Processing Technologies

    13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-29610-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yue / Ma / Li | Queueing Theory and Network Applications | Buch | Sack Fachmedien

    Yue / Ma / Li Queueing Theory and Network Applications

    12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68519-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Lee / Hon | Computing and Combinatorics | Buch | Sack Fachmedien

    Chen / Lee / Hon Computing and Combinatorics

    27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89542-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajsbaum / Olivetti / Balliu | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Rajsbaum / Olivetti / Balliu Structural Information and Communication Complexity

    30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-32732-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosu / Fisman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Rosu / Fisman Tools and Algorithms for the Construction and Analysis of Systems

    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99523-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goswami / Panda | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Goswami / Panda Algorithms and Discrete Applied Mathematics

    4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74179-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolieri / Ábrahám | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Paolieri / Ábrahám Quantitative Evaluation of Systems

    19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takahashi / Yue / Phung-Duc | Queueing Theory and Network Applications | Buch | Sack Fachmedien

    Takahashi / Yue / Phung-Duc Queueing Theory and Network Applications

    13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-93735-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sighireanu / Pichardie | Static Analysis | Buch | Sack Fachmedien

    Sighireanu / Pichardie Static Analysis

    27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-65473-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Challal / Yu | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Yang / Challal / Yu Wireless Algorithms, Systems, and Applications

    11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42835-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerulli / Mahjoub / Fujishige | Combinatorial Optimization | Buch | Sack Fachmedien

    Cerulli / Mahjoub / Fujishige Combinatorial Optimization

    4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45586-0
    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