Fachgebiet
Medium
  • 2235
  • 191
  • 11
Erscheinungsjahr
  • 1
  • 11
  • 281
  • 296
  • 254
  • 241
  • 209
  • 158
  • 196
  • 121
  • 128
  • 83
  • 80
  • 44
  • 44
  • 61
  • 77
  • 25
  • 20
  • 1
  • 6
  • 5
  • 9
  • 10
  • 6
  • 7
  • 1
  • 2
  • 3
  • 5
  • 8
  • 2
  • 3
  • 3
  • 2
  • 1
  • 3
  • 6
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 4
  • 2
  • 5
  • 5
  • 3
  • 9
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 5
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 27
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 30
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 9
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 7
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 15
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 9
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 30
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 7
  • 8
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 4
  • 4
  • 3
  • 3
Verlag
  • 2
  • 2
  • 10
  • 4
  • 8
  • 1
  • 5
  • 2
  • 1
  • 7
  • 7
  • 1
  • 83
  • 3
  • 249
  • 140
  • 1
  • 2
  • 1
  • 3
  • 3
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 7
  • 3
  • 1
  • 333
  • 61
  • 638
  • 3
  • 2
  • 174
  • 133
  • 9
  • 7
  • 21
  • 1
  • 52
  • 16
  • 165
  • 239
  • 17
  • 5
  • 1
  • 2
Preis
  • 16
  • 240
  • 1172
  • 1009
Sprachen
  • 2365
  • 71
  • 3
Verfügbarkeit
  • 2381
  • 56
Katalog
  • 2437
  • 282
2.437  Titel


    Villani / Serra / Cagnoni Artificial Life and Evolutionary Computation

    17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6¿8, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57429-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Worrell / Kobayashi Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 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-57227-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weil Computer Science ¿ Theory and Applications

    12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-58746-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nguyen / Hoang / Trawinski Intelligent Information and Database Systems

    10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75419-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lu / Chen Frontiers in Algorithmics

    12th International Workshop, FAW 2018, Guangzhou, China, May 8¿10, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78454-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brankovic / Smyth / Ryan Combinatorial Algorithms

    28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78824-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wong / Carro / Beck Applied Reconfigurable Computing

    13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56257-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Riolo / Kordon / Worzel Genetic Programming Theory and Practice XIII

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-81706-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mavronicolas Algorithms and Complexity

    13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13¿16, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-30447-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Herzig / Pardo / Luo Logic and Argumentation

    5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-40874-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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 International Publishing
    ISBN: 978-3-031-45331-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sproston / Petrucci Formal Modeling and Analysis of Timed Systems

    21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19¿21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-42625-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49274-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Orjuela-Cañón / Arias-Londoño / Lopez Applications of Computational Intelligence

    6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48414-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zohar / Barbosa Formal Methods: Foundations and Applications

    26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49341-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dimitrova / Wolff / Lahav 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 Nature Switzerland
    ISBN: 978-3-031-50520-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vass Regional Failure Events in Communication Networks

    Models, Algorithms and Applications
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-14258-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chopard / Arabi Haddad / Bandini Cellular Automata

    15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12¿15, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-14925-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boulier / Vorozhtsov / England Computer Algebra in Scientific Computing

    24th International Workshop, CASC 2022, Gebze, Turkey, August 22¿26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-14787-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Farmer Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-21114-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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