Ergebnisse filtern
Fachgebiet
Medium
  • 1206
  • 686
Erscheinungsjahr
  • 10
  • 84
  • 96
  • 109
  • 105
  • 94
  • 99
  • 94
  • 104
  • 121
  • 106
  • 98
  • 111
  • 131
  • 120
  • 146
  • 133
  • 130
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 9
  • 2
  • 6
  • 5
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 47
  • 2
  • 6
  • 4
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 6
  • 3
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 18
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 6
  • 3
  • 7
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 6
  • 7
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 6
  • 2
  • 7
  • 2
  • 8
  • 6
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 6
  • 38
  • 14
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 12
  • 4
  • 9
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 6
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 5
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 16
  • 2
  • 12
  • 63
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 5
  • 9
  • 3
  • 2
  • 9
  • 3
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 5
  • 8
  • 14
  • 5
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 19
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 3
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 8
  • 15
  • 4
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 10
  • 5
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 11
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 9
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 7
  • 2
  • 5
  • 2
  • 15
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 36
  • 3
  • 4
  • 6
  • 4
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 15
  • 2
  • 50
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 12
  • 11
  • 8
  • 6
  • 3
  • 7
  • 9
  • 3
  • 3
  • 8
  • 6
  • 21
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 14
  • 9
  • 5
  • 6
  • 4
  • 3
  • 8
  • 5
  • 7
  • 4
  • 6
  • 6
  • 4
  • 3
  • 11
  • 13
  • 3
  • 3
  • 3
  • 5
  • 20
  • 19
  • 3
  • 3
  • 6
  • 11
  • 18
  • 4
  • 7
  • 3
  • 9
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 60
  • 4
  • 18
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 5
  • 12
  • 8
  • 15
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 7
  • 7
  • 5
  • 3
  • 10
  • 16
  • 6
  • 4
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 3
  • 4
  • 15
  • 4
  • 3
  • 7
  • 7
  • 3
  • 5
  • 4
  • 4
  • 8
  • 6
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 15
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 5
  • 4
  • 7
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
Verlag
  • 1654
  • 11
  • 210
  • 5
  • 12
Preis
  • 67
  • 1573
  • 252
Sprachen
  • 1892
Verfügbarkeit
  • 1892
Katalog
  • 1892
  • 18
1.892  Treffer  für „Theoretical Computer Science and General Issues“
    Mittermeir | Informatics Education - The Bridge between Using and Understanding Computers | eBook | Sack Fachmedien
    E-Book

    Mittermeir Informatics Education - The Bridge between Using and Understanding Computers

    International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-48227-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-71209-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ramakrishnan / Rehof | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems

    14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78800-3
    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
    Biere / Parker | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Biere / Parker Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kowalewski / Philippou | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Kowalewski / Philippou Tools and Algorithms for the Construction and Analysis of Systems

    15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00768-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Stützle | Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics | eBook | Sack Fachmedien
    E-Book

    Stützle Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics

    Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-11169-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems

    12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-33057-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Caires / Italiano / Monteiro | Automata, Languages and Programming | Buch | Sack Fachmedien

    Caires / Italiano / Monteiro Automata, Languages and Programming

    32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27580-0
    Medium: Buch
    106,99 € (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
    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
    Solis-Oba / Fleischer | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Solis-Oba / Fleischer Approximation and Online Algorithms

    15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89440-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher / Sulzmann | Functional and Logic Programming | Buch | Sack Fachmedien

    Gallagher / Sulzmann Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90685-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77917-9
    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
    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
    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
    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
    Rahman / Fujita | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Fujita WALCOM: Algorithms and Computation

    4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11439-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsatsinis / Marinakis / Pardalos | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Matsatsinis / Marinakis / Pardalos Learning and Intelligent Optimization

    13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38628-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Sung / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Sung / Uehara WALCOM: Algorithms and Computation

    12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75171-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud / Shao | Certified Programs and Proofs | eBook | Sack Fachmedien
    E-Book

    Jouannaud / Shao Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-25379-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fischlin / Katzenbeisser | Number Theory and Cryptography | eBook | Sack Fachmedien
    E-Book

    Fischlin / Katzenbeisser Number Theory and Cryptography

    Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-42001-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    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
    Ghosh / Tokuyama | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    Ghosh / Tokuyama WALCOM: Algorithms and Computation

    7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-36065-7
    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