Ergebnisse filtern
Fachgebiet
Medium
  • 1191
  • 1141
Erscheinungsjahr
  • 12
  • 112
  • 129
  • 149
  • 142
  • 127
  • 135
  • 140
  • 142
  • 164
  • 160
  • 137
  • 139
  • 130
  • 138
  • 124
  • 115
  • 136
  • 1
Autoren
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 10
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 13
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 65
  • 3
  • 2
  • 2
  • 3
  • 5
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 16
  • 2
  • 6
  • 2
  • 2
  • 18
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 4
  • 4
  • 5
  • 3
  • 5
  • 2
  • 7
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 10
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 13
  • 4
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 3
  • 2
  • 15
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 7
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 8
  • 4
  • 2
  • 4
  • 37
  • 12
  • 7
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 18
  • 2
  • 2
  • 9
  • 2
  • 3
  • 10
  • 2
  • 2
  • 4
  • 4
  • 8
  • 2
  • 2
  • 6
  • 6
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 10
  • 7
  • 6
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 16
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 8
  • 2
  • 26
  • 2
  • 2
  • 9
  • 2
  • 76
  • 2
  • 6
  • 4
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 5
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 6
  • 4
  • 5
  • 6
  • 3
  • 8
  • 11
  • 3
  • 7
  • 7
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 5
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 3
  • 8
  • 3
  • 8
  • 13
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 18
  • 5
  • 3
  • 3
  • 8
  • 7
  • 5
  • 5
  • 3
  • 8
  • 5
  • 4
  • 9
  • 11
  • 5
  • 3
  • 4
  • 5
  • 10
  • 3
  • 4
  • 4
  • 3
  • 3
  • 11
  • 8
  • 6
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 4
  • 7
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 13
  • 3
  • 6
  • 7
  • 3
  • 9
  • 4
  • 5
  • 4
  • 3
  • 6
  • 8
  • 3
  • 6
  • 4
  • 11
  • 6
  • 13
  • 4
  • 9
  • 5
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 3
  • 21
  • 7
  • 4
  • 4
  • 3
  • 27
  • 4
  • 3
  • 3
  • 7
  • 6
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 56
  • 5
  • 3
  • 3
  • 3
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 6
  • 11
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 66
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 4
  • 6
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 11
  • 6
  • 3
  • 3
  • 3
  • 6
  • 7
  • 9
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 17
  • 7
  • 5
  • 4
  • 5
  • 6
  • 3
  • 4
  • 3
  • 13
  • 4
  • 3
  • 8
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 4
  • 15
  • 23
  • 11
  • 3
  • 5
  • 4
  • 9
  • 9
  • 5
  • 3
  • 4
  • 28
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 18
  • 5
  • 9
  • 3
  • 7
  • 7
  • 3
  • 6
  • 3
  • 3
  • 11
  • 4
  • 9
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 9
  • 19
  • 3
  • 3
  • 3
  • 6
  • 4
  • 7
  • 3
  • 3
  • 4
  • 4
  • 20
  • 9
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 13
  • 22
  • 24
  • 3
  • 3
  • 4
  • 6
  • 4
  • 9
  • 8
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 18
  • 74
  • 6
  • 25
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 17
  • 17
  • 18
  • 3
  • 4
  • 3
  • 12
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 13
  • 13
  • 14
  • 3
  • 8
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 7
  • 3
  • 3
  • 17
  • 10
  • 7
  • 3
  • 7
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 5
  • 3
  • 6
  • 14
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
Verlag
  • 1148
  • 193
  • 946
  • 40
  • 5
Preis
  • 106
  • 1987
  • 239
Sprachen
  • 2332
  • 1
Verfügbarkeit
  • 2328
  • 4
Katalog
  • 2332
  • 20
2.332  Treffer  für „Theoretical Computer Science and General Issues“
    Guerra / Orejas | Graph Transformation | eBook | Sack Fachmedien
    E-Book

    Guerra / Orejas Graph Transformation

    12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23611-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cotta / van Hemert | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cotta / van Hemert Evolutionary Computation in Combinatorial Optimization

    8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78603-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    López-Ibáñez / Hu | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    López-Ibáñez / Hu Evolutionary Computation in Combinatorial Optimization

    17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-55452-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auger / Fonseca / Lourenço | Parallel Problem Solving from Nature – PPSN XV | eBook | Sack Fachmedien
    E-Book

    Auger / Fonseca / Lourenço Parallel Problem Solving from Nature – PPSN XV

    15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99259-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Havelund / Majumdar / Palsberg | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85114-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lukowicz / Tröster / Thiele | Architecture of Computing Systems - ARCS 2007 | Buch | Sack Fachmedien

    Lukowicz / Tröster / Thiele Architecture of Computing Systems - ARCS 2007

    20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71267-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alippi / Polycarpou / Panayiotou | Artificial Neural Networks – ICANN 2009 | Buch | Sack Fachmedien

    Alippi / Polycarpou / Panayiotou Artificial Neural Networks – ICANN 2009

    19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04273-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oltean / Dolev | Optical Supercomputing | Buch | Sack Fachmedien

    Oltean / Dolev Optical Supercomputing

    Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10441-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keidar | Distributed Computing | Buch | Sack Fachmedien

    Keidar Distributed Computing

    23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04354-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis | Experimental Algorithms | Buch | Sack Fachmedien

    Bampis Experimental Algorithms

    14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20085-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson / Kaklamanis | Trustworthy Global Computing | Buch | Sack Fachmedien

    Nielson / Kaklamanis Trustworthy Global Computing

    4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00944-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filiot / Jungers / Potapov | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Filiot / Jungers / Potapov Reachability Problems

    13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30806-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bonifaci / Marchetti-Spaccamela / Demetrescu | Experimental Algorithms | Buch | Sack Fachmedien

    Bonifaci / Marchetti-Spaccamela / Demetrescu Experimental Algorithms

    12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38526-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Takagi / Shi | Advances in Swarm Intelligence | eBook | Sack Fachmedien
    E-Book

    Tan / Takagi / Shi Advances in Swarm Intelligence

    8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61824-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lambers / Weber | Graph Transformation | eBook | Sack Fachmedien
    E-Book

    Lambers / Weber Graph Transformation

    11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92991-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Atmanspacher / Haven / Kitto | Quantum Interaction | eBook | Sack Fachmedien
    E-Book

    Atmanspacher / Haven / Kitto Quantum Interaction

    7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54943-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Weber / Lambers | Graph Transformation | Buch | Sack Fachmedien

    Weber / Lambers Graph Transformation

    11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92990-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Bereg | Frontiers in Algorithmics | eBook | Sack Fachmedien
    E-Book

    Zhu / Bereg Frontiers in Algorithmics

    10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39817-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pinho / Karl / Cohen | Architecture of Computing Systems – ARCS 2015 | eBook | Sack Fachmedien
    E-Book

    Pinho / Karl / Cohen Architecture of Computing Systems – ARCS 2015

    28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-16086-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wright / Schmitt / Vose | Foundations of Genetic Algorithms | Buch | Sack Fachmedien

    Wright / Schmitt / Vose Foundations of Genetic Algorithms

    8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27237-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Köppen / Kasabov / Coghill | Advances in Neuro-Information Processing | Buch | Sack Fachmedien

    Köppen / Kasabov / Coghill Advances in Neuro-Information Processing

    15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02489-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Köppen / Kasabov / Coghill | Advances in Neuro-Information Processing | eBook | Sack Fachmedien
    E-Book

    Köppen / Kasabov / Coghill Advances in Neuro-Information Processing

    15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02490-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Manna / Peled | Time for Verification | Buch | Sack Fachmedien

    Manna / Peled Time for Verification

    Essays in Memory of Amir Pnueli
    2010
    Verlag: Springer
    ISBN: 978-3-642-13753-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Wang / Yap | Frontiers in Algorithmics | eBook | Sack Fachmedien
    E-Book

    Wang / Yap Frontiers in Algorithmics

    9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19647-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hage / McCarthy | Trends in Functional Programming | eBook | Sack Fachmedien
    E-Book

    Hage / McCarthy Trends in Functional Programming

    15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14675-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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