Ergebnisse filtern
Fachgebiet
Medium
  • 1205
  • 348
Erscheinungsjahr
  • 9
  • 87
  • 91
  • 126
  • 102
  • 95
  • 98
  • 98
  • 101
  • 124
  • 103
  • 102
  • 106
  • 57
  • 65
  • 67
  • 57
  • 65
Autoren
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 53
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 14
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 9
  • 9
  • 6
  • 4
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 23
  • 14
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 12
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 12
  • 7
  • 60
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 14
  • 4
  • 3
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 8
  • 5
  • 2
  • 4
  • 5
  • 8
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 10
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 10
  • 2
  • 3
  • 3
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 8
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 17
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 17
  • 5
  • 2
  • 9
  • 4
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 44
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 54
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 5
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 20
  • 9
  • 4
  • 5
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 24
  • 2
  • 4
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 14
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 15
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 19
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 19
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 14
  • 2
  • 59
  • 2
  • 26
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 14
  • 11
  • 16
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 7
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 12
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 15
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
Verlag
  • 1334
  • 202
  • 8
  • 9
Preis
  • 74
  • 1268
  • 211
Sprachen
  • 1553
  • 1
Verfügbarkeit
  • 1553
Katalog
  • 1553
  • 20
1.553  Treffer  für „Theoretical Computer Science and General Issues“
    Lerner / Wagner / Zweig | Algorithmics of Large and Complex Networks | Buch | Sack Fachmedien

    Lerner / Wagner / Zweig Algorithmics of Large and Complex Networks

    Design, Analysis, and Simulation
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02093-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Sarkar | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Pande / Sarkar Languages and Compilers for Parallel Computing

    32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72788-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fioravanti / Gallagher | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Fioravanti / Gallagher Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94459-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Wies | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94582-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Liu / Qu | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Sun / Liu / Qu Algorithms and Architectures for Parallel Processing

    14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11196-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Huch / Michaelson | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Huch / Michaelson Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zsók / Butterfield | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Zsók / Butterfield Implementation and Application of Functional Languages

    18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74129-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Martín-Vide / Truthe | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing

    Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45007-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wen / Zomaya / Yang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wen / Zomaya / Yang Algorithms and Architectures for Parallel Processing

    19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38990-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dennunzio / Formenti / Manzoni | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Dennunzio / Formenti / Manzoni Cellular Automata and Discrete Complex Systems

    23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58630-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baetens / Kutrib | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Baetens / Kutrib Cellular Automata and Discrete Complex Systems

    24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92674-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Isokawa / Imai / Matsui | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Isokawa / Imai / Matsui Cellular Automata and Discrete Complex Systems

    20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-18811-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Magdalena / Martín-Vide | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Dediu / Magdalena / Martín-Vide Theory and Practice of Natural Computing

    Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26840-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zomaya / Martinez | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27121-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zomaya / Martinez | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27136-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falaschi | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Falaschi Logic-Based Program Synthesis and Transformation

    25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27435-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kristensen / Petrucci | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Kristensen / Petrucci Application and Theory of Petri Nets

    32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21833-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Cao / Bourgeois | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Li / Cao / Bourgeois Advances in Grid and Pervasive Computing

    7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30766-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haddad / Pomello | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Haddad / Pomello Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brisk / de Figueiredo Coutinho / Diniz | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Brisk / de Figueiredo Coutinho / Diniz Reconfigurable Computing: Architectures, Tools and Applications

    9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36811-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Mendis / Bouzerdoum | Neural Information Processing. Models and Applications | Buch | Sack Fachmedien

    Wong / Mendis / Bouzerdoum Neural Information Processing. Models and Applications

    17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II
    2010
    Verlag: Springer
    ISBN: 978-3-642-17533-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qiu | Algorithms and Architectures for Parallel Processing | eBook | Sack Fachmedien
    E-Book

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-60245-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Enea / Piskac | Verification, Model Checking, and Abstract Interpretation | eBook | Sack Fachmedien
    E-Book

    Enea / Piskac Verification, Model Checking, and Abstract Interpretation

    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-11245-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sakallah / Simon | Theory and Application of Satisfiability Testing | eBook | Sack Fachmedien
    E-Book

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-21581-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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