Ergebnisse filtern
Fachgebiet
Medium
  • 338
Erscheinungsjahr
  • 36
  • 76
  • 33
  • 22
  • 25
  • 16
  • 24
  • 18
  • 17
  • 16
  • 19
  • 4
  • 5
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 17
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 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
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 5
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 13
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 6
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 18
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 7
  • 3
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 7
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 34
  • 22
  • 176
  • 11
  • 94
  • 1
Preis
  • 1
  • 21
  • 279
  • 37
Sprachen
  • 338
Verfügbarkeit
  • 338
Katalog
  • 338
  • 4
338  Treffer  für „Lecture Notes in Computer Science“
    Gribaudo / Remke / Jansen | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Gribaudo / Remke / Jansen Quantitative Evaluation of Systems

    17th International Conference, QEST 2020, Vienna, Austria, August 31 ¿ September 3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59853-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Wu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Zhang / Wu Combinatorial Optimization and Applications

    14th International Conference, COCOA 2020, Dallas, TX, USA, December 11¿13, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64842-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wies / Finkbeiner | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Wies / Finkbeiner Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16¿18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94582-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasieniec / Gasieniec / Levcopoulos | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Gasieniec / Gasieniec / Levcopoulos Fundamentals of Computation Theory

    22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25026-3
    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
    Barneva / Brimkov | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Barneva / Brimkov Combinatorial Image Analysis

    18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-59107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / Felty | Automated Deduction - CADE-25 | Buch | Sack Fachmedien

    Middeldorp / Felty Automated Deduction - CADE-25

    25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21400-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Sim | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Kaufmann / Sim Applications of Evolutionary Computation

    21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tahar / Li | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Tahar / Li Formal Methods and Software Engineering

    24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21¿24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-99-7583-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasieniec / Gasieniec / Radzik | Algorithms for Sensor Systems | Buch | Sack Fachmedien

    Gasieniec / Gasieniec / Radzik Algorithms for Sensor Systems

    17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9¿10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89239-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chimani / Bekos | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Chimani / Bekos Graph Drawing and Network Visualization

    31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20¿22, 2023, Revised Selected Papers, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49271-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Satapathy / Suganthan | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

    Panigrahi / Satapathy / Suganthan Swarm, Evolutionary, and Memetic Computing

    6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48958-2
    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
    Kranakis / Chávez / Navarro | LATIN 2016: Theoretical Informatics | Buch | Sack Fachmedien

    Kranakis / Chávez / Navarro LATIN 2016: Theoretical Informatics

    12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49528-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / van Leeuwen / Kratsch | Treewidth, Kernels, and Algorithms | Buch | Sack Fachmedien

    Fomin / van Leeuwen / Kratsch Treewidth, Kernels, and Algorithms

    Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-42070-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Schöning | Complexity and Structure | Buch | Sack Fachmedien

    Schöning Complexity and Structure

    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16079-3
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tari / Wu / Li | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Tari / Wu / Li Algorithms and Architectures for Parallel Processing

    23rd International Conference, ICA3PP 2023, Tianjin, China, October 20¿22, 2023, Proceedings, Part III
    2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-97-0797-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Sung / Sadakane | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Sung / Sadakane WALCOM: Algorithms and Computation

    14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 ¿ April 2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-39880-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Nakano / Mandal | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Das / Nakano / Mandal WALCOM: Algorithms and Computation

    13th International Conference, WALCOM 2019, Guwahati, India, February 27 ¿ March 2, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-10563-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranakis / Georgiou | Algorithmics of Wireless Networks | Buch | Sack Fachmedien

    Kranakis / Georgiou Algorithmics of Wireless Networks

    19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7¿8, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48881-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shirmohammadi / Dima | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Shirmohammadi / Dima Formal Modeling and Analysis of Timed Systems

    19th International Conference, FORMATS 2021, Paris, France, August 24¿26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85036-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uehara / Yen / Yamanaka | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Uehara / Yen / Yamanaka WALCOM: Algorithms and Computation

    18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18¿20, 2024, Proceedings
    2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-97-0565-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scheideler | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Scheideler Structural Information and Communication Complexity

    22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25257-5
    Medium: Buch
    53,49 € (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

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