Ergebnisse filtern
Fachgebiet
Medium
  • 1163
  • 347
Erscheinungsjahr
  • 10
  • 84
  • 89
  • 97
  • 97
  • 93
  • 91
  • 99
  • 98
  • 96
  • 113
  • 103
  • 111
  • 68
  • 65
  • 67
  • 59
  • 70
Autoren
  • 1
  • 4
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 53
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 12
  • 2
  • 9
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 5
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 7
  • 9
  • 4
  • 2
  • 3
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 4
  • 5
  • 2
  • 3
  • 18
  • 17
  • 3
  • 2
  • 2
  • 2
  • 7
  • 5
  • 8
  • 2
  • 2
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 12
  • 2
  • 8
  • 2
  • 59
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 7
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 3
  • 2
  • 19
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 15
  • 2
  • 12
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 3
  • 3
  • 2
  • 14
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 17
  • 2
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 46
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 54
  • 2
  • 5
  • 4
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 10
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 15
  • 14
  • 4
  • 6
  • 9
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 10
  • 15
  • 2
  • 6
  • 2
  • 2
  • 9
  • 15
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 58
  • 3
  • 19
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 14
  • 14
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 10
  • 9
  • 7
  • 4
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
Verlag
  • 1322
  • 175
  • 1
  • 2
  • 10
Preis
  • 68
  • 1235
  • 207
Sprachen
  • 1510
Verfügbarkeit
  • 1510
Katalog
  • 1510
  • 19
1.510  Treffer  für „Theoretical Computer Science and General Issues“
    Urban / Zhang | Interactive Theorem Proving | Buch | Sack Fachmedien

    Urban / Zhang Interactive Theorem Proving

    6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Weidenbach | Programming Logics | Buch | Sack Fachmedien

    Voronkov / Weidenbach Programming Logics

    Essays in Memory of Harald Ganzinger
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37650-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laarman / Sokolova | Model Checking Software | Buch | Sack Fachmedien

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84628-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mantoro / Lee / Ayu | Neural Information Processing | Buch | Sack Fachmedien

    Mantoro / Lee / Ayu Neural Information Processing

    28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92184-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürgensen / Karhumäki / Okhotin | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Jürgensen / Karhumäki / Okhotin Descriptional Complexity of Formal Systems

    16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09703-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muntean / Rolland / Poulakis | Algebraic Informatics | Buch | Sack Fachmedien

    Muntean / Rolland / Poulakis Algebraic Informatics

    5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40662-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mantoro / Lee / Ayu | Neural Information Processing | Buch | Sack Fachmedien

    Mantoro / Lee / Ayu Neural Information Processing

    28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part IV
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92272-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mantoro / Lee / Ayu | Neural Information Processing | Buch | Sack Fachmedien

    Mantoro / Lee / Ayu Neural Information Processing

    28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part III
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92237-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Jensen | Static Analysis | Buch | Sack Fachmedien

    Blazy / Jensen Static Analysis

    22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48287-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zsók / Hughes | Trends in Functional Programming | Buch | Sack Fachmedien

    Zsók / Hughes Trends in Functional Programming

    22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83977-2
    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