Search Results for - Narrowed by: Operating systems (Computers). - Artificial intelligence.

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-05-23T17:46:56Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-05-23T17:46:56Z

by Bi, Yuanguo. editor.
https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-05-23T17:46:56Z

by Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-05-23T17:46:56Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-57932-9
Format: Electronic Resources

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-05-23T17:46:56Z

by Sun, Yu. editor.
https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-05-23T17:46:56Z

by Zhang, Feng. editor. (orcid)0000-0003-1983-7321
https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-05-23T17:46:56Z

by van Hoeve, Willem-Jan. editor.
https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-05-23T17:46:56Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-05-23T17:46:56Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-05-23T17:46:56Z

by Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-05-23T17:46:56Z

by Mishra, Anurag. editor.
https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-05-23T17:46:56Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

2024-05-23T17:46:56Z

by Amunts, Katrin. editor.
https://doi.org/10.1007/978-3-319-50862-7
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-05-23T17:46:56Z

by Kleine Büning, Hans. editor.
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources

Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

2024-05-23T17:46:56Z

by Mühlhäuser, Max. editor.
http://dx.doi.org/10.1007/978-3-540-85379-4
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-05-23T17:46:56Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-05-23T17:46:56Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

2024-05-23T17:46:56Z

by Schiele, Bernt. editor.
http://dx.doi.org/10.1007/978-3-540-76652-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-05-23T17:46:56Z

by Marques-Silva, João. editor.
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Software Verification and Validation An Engineering and Scientific Approach

2024-05-23T17:46:56Z

by Fisher, Marcus S. author.
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources

Ubiquitous Intelligence and Computing Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2024-05-23T17:46:56Z

by Ma, Jianhua. editor.
http://dx.doi.org/10.1007/11833529
Format: Electronic Resources

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-05-23T17:46:56Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/11734697
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-05-23T17:46:56Z

by Biere, Armin. editor.
http://dx.doi.org/10.1007/11814948
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-05-23T17:46:56Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Computational Intelligence in Fault Diagnosis

2024-05-23T17:46:56Z

by Palade, Vasile. editor.
http://dx.doi.org/10.1007/978-1-84628-631-5
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-05-23T17:46:56Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2024-05-23T17:46:56Z

by Ramos, Félix F. editor.
http://dx.doi.org/10.1007/11533962
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-05-23T17:46:56Z

by Bacchus, Fahiem. editor.
http://dx.doi.org/10.1007/b137280
Format: Electronic Resources

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-05-23T17:46:56Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/b103251
Format: Electronic Resources

Engineering Self-Organising Systems Methodologies and Applications

2024-05-23T17:46:56Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/b136984
Format: Electronic Resources

From Specification to Embedded Systems Application

2024-05-23T17:46:56Z

by Rettberg, Achim. editor.
http://dx.doi.org/10.1007/11523277
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-05-23T17:46:56Z

by Hoos, Holger H. editor.
http://dx.doi.org/10.1007/11527695
Format: Electronic Resources