Durchsuche "Logic" (Zeige 941 - 960 von 2416 Ergebnissen)
Modern Logic 1850-1950, East and West
- Format: Fest
- €74.89 EURPreis 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 EURPreis inkl. MwSt.
Leśniewski's Systems of Logic and Foundations of Mathematics
- Format: reflowable eBook
- €53.49 EURPreis 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 EURPreis 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 EURPreis inkl. MwSt.
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Lifelong Technology-Enhanced Learning
13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings- Format: reflowable eBook
- €96.29 EURPreis 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 EURPreis inkl. MwSt.
Multi-Agent Systems
12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers- Format: reflowable eBook
- €53.49 EURPreis 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 EURPreis 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 EURPreis inkl. MwSt.
Logics in Artificial Intelligence
15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers- Format: reflowable eBook
- €53.49 EURPreis 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- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings- Format: reflowable eBook
- €42.79 EURPreis inkl. MwSt.
Functional and Logic Programming
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings- Format: reflowable eBook
- €50.28 EURPreis inkl. MwSt.
Trusted Systems
7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Concise Computer Mathematics
Tutorials on Theory and Problems- Format: reflowable eBook
- €69.54 EURPreis inkl. MwSt.
Implementation and Application of Automata
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.