Cover Image

Advances in Computing Science - ASIAN'97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /

Bibliographic Details
Main Author:	Shyamasundar, R. K.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ueda, Kazunori
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Series:	Lecture notes in computer science ; 1345.
Subjects:	Artificial intelligence. Computer Communication Networks. Computer science. Information theory. Software engineering. Artificial Intelligence > (incl. Robotics) Processor Architectures. Software Engineering/Programming and Operating Systems. Theory of Computation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published: (2022)

Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II /
Published: (2023)

Computer Aided Systems Theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers /
Published: (2022)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published: (2019)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published: (2023)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published: (2022)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published: (2023)

Advances in Database Technology - EDBT '98 : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998. /
by: Schek, H.-J
Published: (1998)

Parallel Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Published: (2019)

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published: (2022)

Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings /
Published: (2022)

Advances in computer science, intelligent system and environment.
Published: (2011)

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published: (2023)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II /
Published: (2024)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I /
Published: (2024)

Artificial General Intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings /
Published: (2023)

Advances in Cryptology - CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part III /
Published: (2019)

Meta Heuristic Techniques in Software Engineering and Its Applications : METASOFT 2022 /
Published: (2022)

Simulation Tools and Techniques : 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings /
Published: (2022)

Intelligence for nonlinear dynamics and synchronisation /
by: Kyamakya, Kyandoghere
Published: (2010)

Opportunities and Constraints of Parallel Computing /
by: Sanz, Jorge L. C.
Published: (1989)

Service-Oriented Computing - ICSOC 2018 Workshops : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12-15, 2018, Revised Selected Papers /
Published: (2019)

Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
Published: (2011)

Knowledge representations for planning manipulation tasks /
by: Zacharias, Franziska
Published: (2012)

Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings /
Published: (2019)

Foundations of Robotics : A Multidisciplinary Approach with Python and ROS /
Published: (2022)

Collaborative Networks in Digitalization and Society 5.0 : 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings /
Published: (2023)

Collaborative Networks in Digitalization and Society 5.0 : 23rd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2022, Lisbon, Portugal, September 19-21, 2022, Proceedings /
Published: (2022)

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries : 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers /
Published: (2023)

Parallel Problem Solving from Nature - PPSN V : 5th International Conference, Amsterdam, the Netherlands, September 27-30, 1998, Proceedings /
by: Eiben, Agoston E.
Published: (1998)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published: (2018)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published: (2018)

Distributed computing : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
Published: (2011)

Computer-Aided Architectural Design. Design Imperatives: The Future is Now : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers /
Published: (2022)

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published: (2023)

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
Published: (2022)

Engineering Intelligent Hybrid Multi-Agent Systems /
by: Khosla, Rajiv
Published: (1997)

Application of Big Data, Blockchain, and Internet of Things for Education Informatization : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III /
Published: (2023)

Developing concepts in applied intelligence /
Published: (2011)