Ergebnisse filtern
Fachgebiet
Medium
  • 1150
  • 350
Erscheinungsjahr
  • 6
  • 79
  • 94
  • 96
  • 97
  • 88
  • 89
  • 97
  • 98
  • 100
  • 113
  • 103
  • 111
  • 68
  • 65
  • 68
  • 59
  • 69
Autoren
  • 1
  • 4
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 8
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 48
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 5
  • 9
  • 2
  • 3
  • 10
  • 3
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 6
  • 2
  • 2
  • 3
  • 6
  • 5
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 6
  • 7
  • 10
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 3
  • 18
  • 17
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 7
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 12
  • 2
  • 9
  • 2
  • 54
  • 5
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 3
  • 7
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 10
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 19
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 16
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 6
  • 3
  • 2
  • 4
  • 5
  • 2
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 41
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 49
  • 2
  • 5
  • 4
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 7
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 17
  • 12
  • 2
  • 6
  • 11
  • 2
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 10
  • 15
  • 6
  • 3
  • 2
  • 9
  • 15
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 53
  • 2
  • 3
  • 16
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 14
  • 11
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 11
  • 4
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 10
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1304
  • 183
  • 1
  • 2
  • 10
Preis
  • 66
  • 1234
  • 200
Sprachen
  • 1500
Verfügbarkeit
  • 1500
Katalog
  • 1500
  • 16
1.500  Treffer  für „Theoretical Computer Science and General Issues“
    Chechik / Raskin | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49673-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbrielli | Logic-Based Program Synthesis and Transformation | eBook | Sack Fachmedien
    E-Book

    Gabbrielli Logic-Based Program Synthesis and Transformation

    29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45260-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yang / Du / Wang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Yang / Du / Wang Combinatorial Optimization and Applications

    Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85096-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Skutella Approximation and Online Algorithms

    6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008, Revised Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Li / Wu | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li / Wu Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Jesshope / Jin | Network and Parallel Computing | Buch | Sack Fachmedien

    Li / Jesshope / Jin Network and Parallel Computing

    IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74783-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Toth | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Toth Algorithms and Data Structures

    11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03366-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sandoval / Prieto / Cabestany | Computational and Ambient Intelligence | Buch | Sack Fachmedien

    Sandoval / Prieto / Cabestany Computational and Ambient Intelligence

    9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73006-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Fraigniaud / Husfeldt | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Esparza / Fraigniaud / Husfeldt Automata, Languages, and Programming

    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43950-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Term Rewriting and Applications | Buch | Sack Fachmedien

    Pfenning Term Rewriting and Applications

    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang | Programming Languages and Systems | Buch | Sack Fachmedien

    Yang Programming Languages and Systems

    26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54433-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Ölveczky / Talcott | Logic, Rewriting, and Concurrency | eBook | Sack Fachmedien
    E-Book

    Martí-Oliet / Ölveczky / Talcott Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23165-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Czumaj / Mehlhorn / Pitts | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Czumaj / Mehlhorn / Pitts Automata, Languages, and Programming

    39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31593-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Battiti / Brunato / Kotsireas | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Battiti / Brunato / Kotsireas Learning and Intelligent Optimization

    12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-05347-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Levin | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Levin Approximation and Online Algorithms

    18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80878-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / An / Wang | Network and Parallel Computing | Buch | Sack Fachmedien

    Shi / An / Wang Network and Parallel Computing

    14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68209-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bodlaender / Langston | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Bodlaender / Langston Parameterized and Exact Computation

    Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39098-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ding / Shao / Zheng | Network and Parallel Computing | eBook | Sack Fachmedien
    E-Book

    Ding / Shao / Zheng Network and Parallel Computing

    IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15672-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54832-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codish / Sumii | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Codish / Sumii Functional and Logic Programming

    12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07151-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fellows / Tan / Zhu | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Fellows / Tan / Zhu Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38755-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Huisman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Huisman Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89959-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Huisman / Kordon | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Huisman / Kordon Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17501-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Fantechi / Semini | From Software Engineering to Formal Methods and Tools, and Back | Buch | Sack Fachmedien

    ter Beek / Fantechi / Semini From Software Engineering to Formal Methods and Tools, and Back

    Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30984-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aranha / Martín-Vide / Vega-Rodríguez | Theory and Practice of Natural Computing | eBook | Sack Fachmedien
    E-Book

    Aranha / Martín-Vide / Vega-Rodríguez Theory and Practice of Natural Computing

    10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings
    Erscheinungsjahr 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-90425-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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