KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings /

Código QR

KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Kern-Isberner, Gabriele. (Editor ), Fürnkranz, Johannes. (Editor ), Thimm, Matthias. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Lecture Notes in Artificial Intelligence ; 10505
Materias:	Artificial intelligence. Algorithms. Mathematical logic. Computer communication systems. Special purpose computers. Application software. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Computer Communication Networks. Special Purpose and Application-Based Systems. Computer Appl. in Administrative Data Processing.

Ejemplares similares

Smart Cities : Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings /
Publicado: (2017)

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Publicado: (2017)

Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers /
Publicado: (2017)

Computational Science and Its Applications - ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV /
Publicado: (2017)

Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /
Publicado: (2017)

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Publicado: (2017)

Technological Innovation for Smart Systems : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings /
Publicado: (2017)

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings /
Publicado: (2017)

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado: (2017)

Stabilization, Safety, and Security of Distributed Systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /
Publicado: (2017)

Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings /
Publicado: (2017)

Computer Vision Systems : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers /
Publicado: (2017)

Electronics System Design Techniques for Safety Critical Applications /
por: Sterpone, Luca.
Publicado: (2009)

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado: (2017)

Sensor Systems and Software : 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers /
Publicado: (2017)

Towards Autonomous Robotic Systems : 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings /
Publicado: (2017)

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado: (2017)

Integer Programming and Combinatorial Optimization : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings /
Publicado: (2017)

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado: (2017)

Smart Grid Inspired Future Technologies : Second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017, Proceedings /
Publicado: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado: (2017)

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Publicado: (2017)

Intelligent Computing, Networked Control, and Their Engineering Applications : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II /
Publicado: (2017)

Universal Access in Human-Computer Interaction. Designing Novel Interactions : 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II /
Publicado: (2017)

Universal Access in Human-Computer Interaction. Human and Technological Environments : 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III /
Publicado: (2017)

Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods : 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I /
Publicado: (2017)

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado: (2017)

Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Publicado: (2017)

Evolutionary Multi-Criterion Optimization : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings /
Publicado: (2017)

Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI /
Publicado: (2017)

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado: (2017)

Enhanced Quality of Life and Smart Living : 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

RoboCup 2016: Robot World Cup XX /
Publicado: (2017)

Internet of Vehicles. Technologies and Services for Smart Cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings /
Publicado: (2017)

Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /
Publicado: (2017)

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
por: Chattopadhyay, Anupam., et al.
Publicado: (2009)

Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings /
Publicado: (2017)

Wireless Mobile Communication and Healthcare : 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings /
Publicado: (2017)