Filter by
Computer and Information Science
This edited book presents scientific results of the 13th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2014) which was held on June 4-6, 2014 in Taiyuan, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer scie…
- Edition
- -
- ISBN/ISSN
- 9783319105093
- Collation
- -
- Series Title
- -
- Call Number
- 004.8
Computer and Information Science
This book presents the outcomes of the 17th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2018), which was held in Singapore on June 6-8, 2018. The aim of the conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science and to share th…
- Edition
- -
- ISBN/ISSN
- 9783319986937
- Collation
- xiii, 214 pages
- Series Title
- -
- Call Number
- 004.8
Computer and Information Science 2015
This edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 - July 1, 2015 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of compu…
- Edition
- -
- ISBN/ISSN
- 9783319234670
- Collation
- xiii, 252 pages
- Series Title
- -
- Call Number
- 004.8
Computer-aided architectural design futures : the next city -- new technologi…
This book constitutes the refereed proceedings of the 16th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2015, held in São Paulo, Brazil, in July 2015. The 33 revised full papers presented were carefully reviewed and selected from 200 submissions. The papers are organized in topical sections on modeling, analyzing and simulating the city; sustainability…
- Edition
- -
- ISBN/ISSN
- 9783662473863
- Collation
- xiv, 622 pages
- Series Title
- -
- Call Number
- 004.8
Computer-human interaction : cognitive effects of spatial interaction, learni…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th Australian Conference on Computer-Human Interaction, OzCHI 2013, held in Adelaide, SA, Australia, in November 2013. The 11 revised extended papers were carefully reviewed and selected from 192 submissions and cover topics on multi-dimensional interaction; video gaming; spatial learning; and physical spatial in…
- Edition
- -
- ISBN/ISSN
- 9783319169408
- Collation
- xii, 239 pages
- Series Title
- -
- Call Number
- 004.8
Artificial Intelligence Applications and Innovations: 11th IFIP WG 12.5 Inter…
This book constitutes the refereed proceedings of the 11th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2015, held in Bayonne, France, in September 2015. The 35 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers feature highly novel research describing innovative algorithms, systems, tools and…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-23868-5
- Collation
- XVI, 496
- Series Title
- IFIP Advances in Information and Communication Technology
- Call Number
- 006.3 ART a
Artificial General Intelligence: 8th International Conference, AGI 2015, AGI …
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, origin…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-21365-1
- Collation
- XII, 416
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ART a
Artificial Computation in Biology and Medicine: International Work-Conference…
The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on a…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-18914-7
- Collation
- XXIV, 546
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ART a
Research and Development in Intelligent Systems XXXII
The papers in this volume are the refereed papers presented at AI-2015, the Thirty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2015 in both the technical and the application streams. They present new and innovative developments and applications, divided into technical stream sections on Knowledge Disc…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-25032-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Constraint solving and planning with Picat
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for und…
- Edition
- -
- ISBN/ISSN
- 9783319258836
- Collation
- xi, 148 pages
- Series Title
- -
- Call Number
- 006.3
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography