information and computer science  (1 671 Angebote unter 18 333 083 Artikeln)

Proving Church's Thesis.- The Limits of Quantum Computers.- Marrying Words and Trees.- TPTP, TSTP, CASC, etc..- Abstract Modeling and Formal Verification of Microprocessors.- Sequences of Level 1, ...

15th Conference, ISM 2020, and FedCSIS-IST 2020 Track, Held as Part of FedCSIS, Sofia, Bulgaria, September 6-9, 2020, Extended and Revised Selected Papers

Third International Conference, AII 2023, Dubai, United Arab Emirates, October 29-31, 2023, Revised Selected Papers

Inventive Computation Technologies

European Conference, ECML PKDD 2021, Bilbao, Spain, September 13-17, 2021, Proceedings, Part III

This book is based on the best papers accepted for presentation during the International Conference on Mathematics and its Applications in New Computer Systems (MANCS-2021), Russia.The book include...

is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in...

documentation is constantly refined as detailed under 1.1 Purpose standing of the requirement increase. The CCT A of the UK government and Siemens For project management purposes the SSADM life Nix...

This volume contains the papers of the 9th International Conference on Computing and Information Technology (IC2IT 2013) held at King Mongkut's University of Technology North Bangkok (KMUTNB), Bang...

Revolution, transformation, upheaval and promise! Yesterday, the technologies of com munication were accessible only to experts; today, they are a subject of constant discussion in the media. New s...

This book constitutes the refereed proceedings of the 7 International Conference on Intelligent Transport Systems, INTSYS 2023, held in Molde, Norway, during September 6-7, 2023. With the globaliza...

The two-volume set LNICST 570 and 571 constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2023, held in New Yo...

This book constitutes the refereed proceedings of the Third International Conference on Health Information Science, HIS 2014, held in Shenzhen, China, in April 2014. The 29 full papers presented we...

Over past few years, technologies have experienced boundaries getting blurred and concept of convergence to gain prominence. Harnessing from this, two main tracks for information processing managem...