Durchsuche "Logic" (Zeige 941 - 960 von 2416 Ergebnissen)

Themen

  • Modern Logic 1850-1950, East and West

    von Francine F. Abeles
    • Format: Fest
    • €74.89 EUR
      Preis inkl. MwSt.
  • Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    • Format: reflowable eBook
    • €50.28 EUR
      Preis inkl. MwSt.
  • Leśniewski's Systems of Logic and Foundations of Mathematics

    von Rafal Urbaniak
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Tools and Algorithms for the Construction and Analysis of...

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Computer Science - Theory and Applications

    9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.
  • Theoretical Aspects of Computing - ICTAC 2015

    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Lifelong Technology-Enhanced Learning

    13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings
    von Author
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Multi-Agent Systems

    12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Statistical Language and Speech Processing

    4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
    • Format: reflowable eBook
    • €42.79 EUR
      Preis inkl. MwSt.
  • Formal Aspects of Component Software

    10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Logics in Artificial Intelligence

    15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • New Frontiers in Artificial Intelligence

    JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Logic, Language, Information, and Computation

    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
    von Author
    • Format: reflowable eBook
    • €42.79 EUR
      Preis inkl. MwSt.
  • Functional and Logic Programming

    13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
    • Format: reflowable eBook
    • €50.28 EUR
      Preis inkl. MwSt.
  • Trusted Systems

    7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Concise Computer Mathematics

    Tutorials on Theory and Problems
    von Ovidiu Bagdasar
    • Format: reflowable eBook
    • €69.54 EUR
      Preis inkl. MwSt.
  • Implementation and Application of Automata

    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
Page links