3561
Computational Collective Intelligence [E-Book] : 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I /

Full text 
Favorites
Saved in:
3562
Computer Security – ESORICS 2016 [E-Book] : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
3563
Cryptology and Network Security : 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings [E-Book] /

Full text 
Favorites
Saved in:
3564
Advances in Visual Informatics [E-Book] : Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings /

Full text 
Favorites
Saved in:
3565
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science [E-Book] : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers /

Full text 
Favorites
Saved in:
3566
Graph-Based Representation and Reasoning [E-Book] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings /

Full text 
Favorites
Saved in:
3567
Computer Science - Theory and Applications [E-Book] : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings /

Full text 
Favorites
Saved in:
3568
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

Full text 
Favorites
Saved in:
3569
Bioinformatics and Biomedical Engineering [E-Book] : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part II /

Full text 
Favorites
Saved in:
3570
The Logic of Software. A Tasting Menu of Formal Methods [E-Book] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
3571
Knowledge Science, Engineering and Management [E-Book] : 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
3572
The Semantic Web - ISWC 2022 [E-Book] : 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings /

Full text 
Favorites
Saved in:
3573
Algebraic Informatics [E-Book] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings /

Full text 
Favorites
Saved in:
3574
Computer Safety, Reliability, and Security [E-Book] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings /

Full text 
Favorites
Saved in:
3575
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
3576
Progress in Cryptology - INDOCRYPT 2022 [E-Book] : 23rd International Conference on Cryptology in India, Kolkata, India, December 11-14, 2022, Proceedings /

Full text 
Favorites
Saved in:
3577
Logic-Based Program Synthesis and Transformation [E-Book] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings /

Full text 
Favorites
Saved in:
3578
Tests and Proofs [E-Book] : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings /

Full text 
Favorites
Saved in:
3579
Machine Learning [E-Book] : The Basics /

Full text 
Favorites
Saved in:
3580
Swarm Intelligence [E-Book] : 13th International Conference, ANTS 2022, Málaga, Spain, November 2-4, 2022, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results