Ergebnisse filtern
Fachgebiet
Medium
  • 1203
Erscheinungsjahr
  • 7
  • 60
  • 69
  • 72
  • 75
  • 72
  • 70
  • 70
  • 73
  • 84
  • 69
  • 74
  • 74
  • 74
  • 55
  • 69
  • 69
  • 67
Autoren
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 35
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 12
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 4
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 20
  • 10
  • 5
  • 2
  • 9
  • 2
  • 7
  • 5
  • 2
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 6
  • 2
  • 11
  • 7
  • 43
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 7
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 4
  • 6
  • 11
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 9
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 7
  • 8
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 26
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 36
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 8
  • 7
  • 7
  • 2
  • 4
  • 5
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 2
  • 3
  • 4
  • 17
  • 4
  • 3
  • 2
  • 3
  • 7
  • 13
  • 5
  • 6
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 42
  • 2
  • 12
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 6
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 10
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 9
  • 2
  • 6
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1189
  • 1
  • 1
  • 12
Preis
  • 49
  • 945
  • 209
Sprachen
  • 1203
Verfügbarkeit
  • 1203
Katalog
  • 1203
  • 17
1.203  Treffer  für „Theoretical Computer Science and General Issues“
    Arik / Huang / Lai | Neural Information Processing | Buch | Sack Fachmedien

    Arik / Huang / Lai Neural Information Processing

    22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26554-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arik / Huang / Lai | Neural Information Processing | Buch | Sack Fachmedien

    Arik / Huang / Lai Neural Information Processing

    22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26534-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabestany / Rojas / Joya | Advances in Computational Intelligence | Buch | Sack Fachmedien

    Cabestany / Rojas / Joya Advances in Computational Intelligence

    11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21497-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Zhan / Cao | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Xu / Zhan / Cao Advanced Parallel Processing Technologies

    7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76836-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mantoro / Lee / Ayu | Neural Information Processing | Buch | Sack Fachmedien

    Mantoro / Lee / Ayu Neural Information Processing

    28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92269-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Handl / Hart / Lewis | Parallel Problem Solving from Nature - PPSN XIV | Buch | Sack Fachmedien

    Handl / Hart / Lewis Parallel Problem Solving from Nature - PPSN XIV

    14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45822-9
    Medium: Buch
    106,99 € (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
    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
    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
    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
    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
    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
    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
    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
    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
    Gottlieb / Raidl | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Gottlieb / Raidl Evolutionary Computation in Combinatorial Optimization

    6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33178-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotta / van Hemert | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cotta / van Hemert Evolutionary Computation in Combinatorial Optimization

    7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71614-3
    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
    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
    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