Ergebnisse filtern
Fachgebiet
Medium
  • 4839
  • 22
  • 9
Erscheinungsjahr
  • 1
  • 4
  • 33
  • 66
  • 54
  • 51
  • 68
  • 117
  • 135
  • 98
  • 136
  • 90
  • 142
  • 105
  • 144
  • 108
  • 250
  • 92
  • 174
  • 338
  • 310
  • 319
  • 238
  • 245
  • 224
  • 198
  • 143
  • 119
  • 109
  • 102
  • 87
  • 91
  • 81
  • 58
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 6
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 6
  • 8
  • 6
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 5
  • 3
  • 2
  • 9
  • 5
  • 4
  • 5
  • 11
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 9
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 2
  • 2
  • 1
  • 10
  • 2
  • 2
  • 9
  • 1
  • 3
  • 1
  • 7
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 7
  • 2
  • 1126
  • 2167
  • 1
  • 624
  • 1
  • 6
  • 3
  • 53
  • 97
  • 127
  • 77
  • 222
  • 8
  • 37
  • 3
  • 2
  • 1
  • 2
  • 8
  • 3
  • 1
  • 36
  • 2
  • 27
  • 1
  • 1
  • 3
Preis
  • 15
  • 205
  • 2990
  • 1660
Sprachen
  • 4729
  • 136
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4854
  • 16
Katalog
  • 4870
  • 212
4.870  Titel
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61469-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janicki / Chatain / Sidorova | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Janicki / Chatain / Sidorova Application and Theory of Petri Nets and Concurrency

    41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-51830-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali Abam / S. Barbosa | Topics in Theoretical Computer Science | Buch | Sack Fachmedien

    Ali Abam / S. Barbosa Topics in Theoretical Computer Science

    Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57851-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pun / Simao / Stolz | Theoretical Aspects of Computing - ICTAC 2020 | Buch | Sack Fachmedien

    Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020

    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64275-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Höfig / Zeller | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Höfig / Zeller Model-Based Safety and Assessment

    7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58919-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hielscher / Wagenknecht | Formale Sprachen, abstrakte Automaten und Compiler | Buch | Sack Fachmedien

    Hielscher / Wagenknecht Formale Sprachen, abstrakte Automaten und Compiler

    Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung
    3., überarbeitete und ergänzte Auflage 2022
    Verlag: Springer
    ISBN: 978-3-658-36852-4
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Komendantskaya | Mathematics of Program Construction | Buch | Sack Fachmedien

    Komendantskaya Mathematics of Program Construction

    14th International Conference, MPC 2022, Tbilisi, Georgia, September 26¿28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16911-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vasyukevich | Asynchronous Operators of Sequential Logic: Venjunction & Sequention | Buch | Sack Fachmedien

    Vasyukevich Asynchronous Operators of Sequential Logic: Venjunction & Sequention

    Digital Circuit Analysis and Design
    2011
    Verlag: Springer
    ISBN: 978-3-642-26882-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Henzinger / Sgall | Automata, Languages and Programming | Buch | Sack Fachmedien

    Aceto / Henzinger / Sgall Automata, Languages and Programming

    38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22011-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Modgil / Oren / Toni | Theory and Applications of Formal Argumentation | Buch | Sack Fachmedien

    Modgil / Oren / Toni Theory and Applications of Formal Argumentation

    First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29183-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Hofmann Foundations of Software Science and Computational Structures

    14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19804-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hauck / DeHon | Reconfigurable Computing | Buch | Sack Fachmedien

    Hauck / DeHon Reconfigurable Computing

    The Theory and Practice of Fpga-Based Computation Volume 1
    Erscheinungsjahr 2007
    Verlag: Elsevier Science
    ISBN: 978-0-12-370522-8
    Medium: Buch
    100,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Applications and Services | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Applications and Services

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73109-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergveld / Notten / Kruijt | Battery Management Systems | Buch | Sack Fachmedien

    Bergveld / Notten / Kruijt Battery Management Systems

    Design by Modelling
    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6108-9
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pacuit | Neighborhood Semantics for Modal Logic | Buch | Sack Fachmedien

    Pacuit Neighborhood Semantics for Modal Logic

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67148-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldwasser / Micciancio | Complexity of Lattice Problems | Buch | Sack Fachmedien

    Goldwasser / Micciancio Complexity of Lattice Problems

    A Cryptographic Perspective
    2002
    Verlag: Springer US
    ISBN: 978-0-7923-7688-0
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murawski | Recursive Functions and Metamathematics | Buch | Sack Fachmedien

    Murawski Recursive Functions and Metamathematics

    Problems of Completeness and Decidability, Gödel's Theorems
    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5904-3
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rendell | Turing Machine Universality of the Game of Life | Buch | Sack Fachmedien

    Rendell Turing Machine Universality of the Game of Life

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19841-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kiefer / Kucera / Kretínský | Taming the Infinities of Concurrency | Buch | Sack Fachmedien

    Kiefer / Kucera / Kretínský Taming the Infinities of Concurrency

    Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-56221-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Posthoff / Steinbach | Logic Functions and Equations | Buch | Sack Fachmedien

    Posthoff / Steinbach Logic Functions and Equations

    Binary Models for Computer Science
    2004. Auflage 2005
    Verlag: Springer Us
    ISBN: 978-1-4020-2937-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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