Informatik (15 755 Artikel)

Advanced Architecture and Technology of Supercomputing Systems.- Parallel and Supercomputer Architecture in Japan.- FACOM VP2000 Series.- Expert Systems Based on Object Model -- An Approach to Deep...

12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings

13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, Proceedings

This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogotá, Colombia, during November 22-26, 2021....

This book constitutes the refereed proceedings of the 16th Colombian Congress on Computing, CCC 2022, held in Armenia, Colombia, during October 17-21, 2022The 12 full papers included in this book w...

This book constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in  Medellin, Colombia, during Aug...

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from o...

The Logistical Backbone: Scalable Infrastructure for Global Data Grids.- The Grid: Challenges and Research Issues.- Personalized Video for Contents Delivery Network.- Distributed Checkpointing on C...

Achieving Type Safety for Low-Level Code.- Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.- Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Flu...

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers sele...

Invited Talk 1.- Testing Proofs by Examples.- Session 1.- Rigid Reachability.- Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.- A Polymorphic Language Which Is Ty...

Invited Talks.- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.- Emerging Application Domains and the Computing Fabric.- Regular Papers.- The Game of the ...

First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part III

First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part IV

This two-volume book constitutes the post-conference proceedings of the 5th International Conference on Advances in Computing and Data Sciences, ICACDS 2021, held in Nashik, India, in April 2021.* ...