Ergebnisse filtern
Fachgebiet
Medium
  • 898
  • 1
Erscheinungsjahr
  • 1
  • 7
  • 26
  • 14
  • 8
  • 17
  • 27
  • 25
  • 26
  • 22
  • 12
  • 34
  • 10
  • 14
  • 4
  • 41
  • 20
  • 41
  • 81
  • 59
  • 69
  • 56
  • 58
  • 44
  • 37
  • 22
  • 17
  • 14
  • 20
  • 11
  • 13
  • 12
  • 9
  • 6
  • 7
  • 5
  • 1
  • 3
  • 2
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 14
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 4
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 14
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
Verlag
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 105
  • 482
  • 147
  • 44
  • 27
  • 7
  • 34
  • 25
  • 1
  • 1
  • 4
Preis
  • 1
  • 18
  • 549
  • 331
Sprachen
  • 897
  • 4
Verfügbarkeit
  • 895
  • 4
Katalog
  • 899
  • 36
899  Treffer  für „E-learning“
Alle Filter löschen
    Person / Goodloe | NASA Formal Methods | Buch | Sack Fachmedien

    Person / Goodloe NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Hermann | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasad / Kapoor | FST TCS 2000: Foundations of Software Technology and Theoretical Science | Buch | Sack Fachmedien

    Prasad / Kapoor FST TCS 2000: Foundations of Software Technology and Theoretical Science

    20th Conference, New Delhi, India, December13-15, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41413-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Urban | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Urban Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayguadé / Sadayappan / Baumgartner | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ayguadé / Sadayappan / Baumgartner Languages and Compilers for Parallel Computing

    18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69329-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fariñas del Cerro / Mengin / Herzig | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Fariñas del Cerro / Mengin / Herzig Logics in Artificial Intelligence

    13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33352-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchiori / Pan / de Sainte Marie | Web Reasoning and Rule Systems | Buch | Sack Fachmedien

    Marchiori / Pan / de Sainte Marie Web Reasoning and Rule Systems

    First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
    2007
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-72981-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34437-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erickson / Smith / Rychert | Maximum Entropy and Bayesian Methods | Buch | Sack Fachmedien

    Erickson / Smith / Rychert Maximum Entropy and Bayesian Methods

    Boise, Idaho, USA, 1997 Proceedings of the 17th International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis
    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5047-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Quesada Arencibia / Pichler | Computer Aided Systems Theory ¿ EUROCAST 2005 | Buch | Sack Fachmedien

    Moreno-Díaz / Quesada Arencibia / Pichler Computer Aided Systems Theory ¿ EUROCAST 2005

    10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29002-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verjovski-Almeida / Setubal | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Verjovski-Almeida / Setubal Advances in Bioinformatics and Computational Biology

    Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28008-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galmiche / Sebastiani / Schulz | Automated Reasoning | Buch | Sack Fachmedien

    Galmiche / Sebastiani / Schulz Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94204-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Górski | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Górski Computer Safety, Reliability, and Security

    25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45762-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staples / Moffat / Eades | Algorithms and Computations | Buch | Sack Fachmedien

    Staples / Moffat / Eades Algorithms and Computations

    6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60573-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lungarella / Pfeifer / Iida | 50 Years of Artificial Intelligence | Buch | Sack Fachmedien

    Lungarella / Pfeifer / Iida 50 Years of Artificial Intelligence

    Essays Dedicated to the 50th Anniversary of Artificial Intelligence
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77295-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garoufallou / William De Luca / Fallucchi | Metadata and Semantic Research | Buch | Sack Fachmedien

    Garoufallou / William De Luca / Fallucchi Metadata and Semantic Research

    13th International Conference, MTSR 2019, Rome, Italy, October 28¿31, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36598-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stuckey | Logic Programming | Buch | Sack Fachmedien

    Stuckey Logic Programming

    18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43930-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taitslin / Nerode | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

    Taitslin / Nerode Logical Foundations of Computer Science - Tver '92

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Cai | Computing and Combinatorics | Buch | Sack Fachmedien

    Wong / Cai Computing and Combinatorics

    Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61332-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ao / Rieger / Chen | Advances in Computational Algorithms and Data Analysis | Buch | Sack Fachmedien

    Ao / Rieger / Chen Advances in Computational Algorithms and Data Analysis

    2009. Auflage 2008
    Verlag: Springer Nature Singapore
    ISBN: 978-1-4020-8918-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Jonassen | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Kim / Jonassen Algorithms in Bioinformatics

    4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23018-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Sutcliffe | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Sutcliffe Logic for Programming, Artificial Intelligence, and Reasoning

    12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30553-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Adian | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Adian Logical Foundations of Computer Science

    4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63045-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ao / Chen / Rieger | Advances in Computational Algorithms and Data Analysis | Buch | Sack Fachmedien

    Ao / Chen / Rieger Advances in Computational Algorithms and Data Analysis

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer Netherlands
    ISBN: 978-90-481-8027-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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