Ergebnisse filtern
Fachgebiet
Medium
  • 1214
  • 726
Erscheinungsjahr
  • 10
  • 86
  • 91
  • 109
  • 107
  • 96
  • 99
  • 104
  • 107
  • 116
  • 122
  • 103
  • 116
  • 134
  • 123
  • 150
  • 129
  • 137
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 7
  • 2
  • 9
  • 2
  • 6
  • 7
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 54
  • 3
  • 6
  • 4
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 17
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 8
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 7
  • 2
  • 8
  • 5
  • 2
  • 5
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 7
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 9
  • 2
  • 8
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 6
  • 37
  • 11
  • 10
  • 2
  • 6
  • 4
  • 2
  • 13
  • 4
  • 10
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 5
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 11
  • 2
  • 4
  • 18
  • 2
  • 8
  • 2
  • 69
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 11
  • 2
  • 10
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 5
  • 7
  • 15
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 7
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 7
  • 14
  • 4
  • 4
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 10
  • 6
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 13
  • 2
  • 3
  • 2
  • 5
  • 7
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 8
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 7
  • 2
  • 2
  • 14
  • 2
  • 5
  • 4
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 16
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 7
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 43
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 12
  • 57
  • 4
  • 3
  • 6
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 8
  • 7
  • 4
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 5
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 11
  • 17
  • 10
  • 4
  • 3
  • 8
  • 7
  • 4
  • 3
  • 7
  • 6
  • 23
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 16
  • 7
  • 4
  • 6
  • 4
  • 3
  • 3
  • 6
  • 6
  • 7
  • 9
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 14
  • 3
  • 3
  • 3
  • 5
  • 16
  • 19
  • 3
  • 3
  • 6
  • 17
  • 17
  • 3
  • 7
  • 3
  • 12
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 13
  • 66
  • 4
  • 23
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 17
  • 11
  • 14
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 10
  • 11
  • 6
  • 6
  • 3
  • 4
  • 4
  • 9
  • 5
  • 5
  • 3
  • 4
  • 16
  • 5
  • 3
  • 8
  • 7
  • 3
  • 5
  • 4
  • 4
  • 7
  • 6
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 10
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 6
  • 9
  • 7
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
Verlag
  • 1709
  • 1
  • 213
  • 9
  • 8
Preis
  • 71
  • 1610
  • 259
Sprachen
  • 1940
Verfügbarkeit
  • 1936
  • 4
Katalog
  • 1940
  • 17
1.940  Treffer  für „Theoretical Computer Science and General Issues“
    Chicano / Hu / García-Sánchez | Evolutionary Computation in Combinatorial Optimization | eBook | Sack Fachmedien
    E-Book

    Chicano / Hu / García-Sánchez Evolutionary Computation in Combinatorial Optimization

    16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30698-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Balis / Wyrzykowski / B. Heras | Euro-Par 2020: Parallel Processing Workshops | Buch | Sack Fachmedien

    Balis / Wyrzykowski / B. Heras Euro-Par 2020: Parallel Processing Workshops

    Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71592-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avigad / Mahboubi | Interactive Theorem Proving | Buch | Sack Fachmedien

    Avigad / Mahboubi Interactive Theorem Proving

    9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94820-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fabrikant / Raubal / Bertolotto | Spatial Information Theory | Buch | Sack Fachmedien

    Fabrikant / Raubal / Bertolotto Spatial Information Theory

    12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23373-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | Buch | Sack Fachmedien

    Dolev / Oltean Optical Supercomputing

    Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22493-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | eBook | Sack Fachmedien
    E-Book

    Dolev / Oltean Optical Supercomputing

    Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22494-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ochoa / Chicano | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Ochoa / Chicano Evolutionary Computation in Combinatorial Optimization

    15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-16467-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques de Sá / Alexandre / Duch | Artificial Neural Networks - ICANN 2007 | Buch | Sack Fachmedien

    Marques de Sá / Alexandre / Duch Artificial Neural Networks - ICANN 2007

    17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74693-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Schobbens | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques

    18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71997-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iliopoulos / Smyth | Combinatorial Algorithms | eBook | Sack Fachmedien
    E-Book

    Iliopoulos / Smyth Combinatorial Algorithms

    21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19222-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    de Lara / Plump | Graph Transformation | Buch | Sack Fachmedien

    de Lara / Plump Graph Transformation

    10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61469-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Chen / Ong | Advances in Natural Computation Part 03 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 03

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28320-1
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | eBook | Sack Fachmedien
    E-Book

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85361-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kulikov / Kuznetsov / Pevzner | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Kulikov / Kuznetsov / Pevzner Combinatorial Pattern Matching

    25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07565-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greuel / Koch / Paule | Mathematical Software - ICMS 2016 | Buch | Sack Fachmedien

    Greuel / Koch / Paule Mathematical Software - ICMS 2016

    5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42431-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdelzaher / Raynal / Santoro | Principles of Distributed Systems | Buch | Sack Fachmedien

    Abdelzaher / Raynal / Santoro Principles of Distributed Systems

    13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10876-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Heckel / Rozenberg | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Heckel / Rozenberg Graph Transformations

    4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-87404-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | eBook | Sack Fachmedien
    E-Book

    Malyshkin Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-62932-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tan / Shi | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi Advances in Swarm Intelligence

    12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78810-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunold / Lankes / Costan | Euro-Par 2015: Parallel Processing Workshops | Buch | Sack Fachmedien

    Hunold / Lankes / Costan Euro-Par 2015: Parallel Processing Workshops

    Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldberg / Kulikov | Experimental Algorithms | Buch | Sack Fachmedien

    Goldberg / Kulikov Experimental Algorithms

    15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-38850-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekanina / Hu / Lourenço | Genetic Programming | eBook | Sack Fachmedien
    E-Book

    Sekanina / Hu / Lourenço Genetic Programming

    22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-16670-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Asher / Soloviev | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Asher / Soloviev Logical Aspects of Computational Linguistics

    8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43741-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asher / Soloviev | Logical Aspects of Computational Linguistics | eBook | Sack Fachmedien
    E-Book

    Asher / Soloviev Logical Aspects of Computational Linguistics

    8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43742-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blanchette / Merz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Blanchette / Merz Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43143-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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