Ergebnisse filtern
Fachgebiet
Medium
  • 1162
Erscheinungsjahr
  • 7
  • 63
  • 70
  • 71
  • 76
  • 64
  • 66
  • 69
  • 66
  • 70
  • 78
  • 71
  • 67
  • 66
  • 62
  • 67
  • 59
  • 70
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 38
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 6
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 3
  • 14
  • 11
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 6
  • 4
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 7
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 4
  • 4
  • 4
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 9
  • 6
  • 2
  • 44
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 13
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 7
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 13
  • 2
  • 8
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 7
  • 6
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 13
  • 5
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 32
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 39
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 10
  • 10
  • 3
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 11
  • 4
  • 6
  • 10
  • 11
  • 2
  • 2
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 43
  • 2
  • 12
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 10
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 7
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
Verlag
  • 1149
  • 1
  • 2
  • 10
Preis
  • 50
  • 912
  • 200
Sprachen
  • 1162
Verfügbarkeit
  • 1162
Katalog
  • 1162
  • 19
1.162  Treffer  für „Theoretical Computer Science and General Issues“
    Iliopoulos / Smyth | Combinatorial Algorithms | Buch | Sack Fachmedien

    Iliopoulos / Smyth Combinatorial Algorithms

    21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19221-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Epstein / Ferragina | Algorithms -- ESA 2012 | Buch | Sack Fachmedien

    Epstein / Ferragina Algorithms -- ESA 2012

    20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33089-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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