Free Lectures, monographs Books

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Cancer Prevention Through Early Detection : Second International Workshop, CaPTion 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

Towards Autonomous Robotic Systems : 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13–15, 2023, Proceedings

Web3: Charting the Internet's Next Economic and Cultural Frontier

Perspectives and Trends in Education and Technology: Selected Papers from ICITED 2023

Quick Start Guide to VHDL

Quick Start Guide to VHDL

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage: Third International Conference, TMM_CH 2023 Athens, Greece, March 20–23, 2023 Revised Selected Papers

Читаем Тьюринга: Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга

Human-Computer Interaction - The Design of User-Friendly, Transparent Interfaces; Research and Evaluation

Human-Computer Interaction - The Design of User-Friendly, Transparent Interfaces; Research and Evaluation

CSC418 / CSCD18 / CSC2504 - Computer Graphics: Lecture Notes

A few Func Prog questions to think about

Cooperative Design, Visualization, and Engineering 19th International Conference, CDVE 2022 Virtual Event, September 25–28, 2022 Proceedings

Structure & Alchemy in New Fractal Playspaces

Математические основы информатики

Lecture Notes Educational Innovations and Information Technology

Theory of Computation - Gate Lecture Notes

Принципы проектирования асинхронных схем. Системная перспектива (Principles of Asynchronous Circuit Design. A Systems Perspective)

Mathématiques pour l'informatique

Методы устранения состязаний в асинхронных схемах

Quantum Image Processing

motherfucker Chips

Микропроцессоры

Professional development in CALL: a selection of papers

Out of their minls - The lives and discoveries of 15 great computer scientists

APLICAŢII MPI PENTRU SISTEME DE CALCUL PARALEL

Logics for Computer Science, 2nd Edition

Graph structures for knowledge representation and reasoning, 1st workshop, GKR 2009

Theory and practice of algorithms in (computer) systems: first International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 ; proceedings

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings

Progress in pattern recognition, image analysis and applications: 14th Iberoamerican Congress on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009: proceedings

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2017, 20 conf., part 1

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings. Part III

Medical image computing and computer-assisted intervention -- MICCAI 2016: 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings. Part III

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2016: 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part II

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, 19 conf., part 1

Medical image computing and computer assisted-intervention - MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015: proceedings part 1

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 18 conf., part 2

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 18 conf., part 3

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I

Medical image computing and computer-assisted intervention - MICCAI 2012: 15th international conference, Nice, France, October 1-5, 2012; proceedings. part 3

Medical image computing and computer-assisted intervention -- MICCAI 2012: 15th international conference, Nice, France, October 1-5, 2012: proceedings part 2

Medical image computing and computer-assisted intervention -- MICCAI 2012: 15th international conference, Nice, France, October 1-5, 2012: proceedings part 1

Medical image computing and computer assisted intervention - MICCAI 2017: 20th international conference, Quebec City, QC, Canada, September 11-13, 2017: proceedings part 2

Medical image computing and computer assisted intervention - MICCAI 2014: 17th international conference, Boston, MA, USA, September 14-18, 2014: proceedings part 1

Image and Video Technology: PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers

Image and Graphics, 9 conf, ICIG 2017, Part 3

Image and Graphics, 9 conf, ICIG 2017, Part 1

Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II

Image and Graphics: 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II

Image and graphics: 8th international conference, ICIG 2015, Tianjin, China, August 13-16, 2015: proceedings Part 3

Image and graphics: 8th international conference, ICIG 2015, Tianjin, China, August 13-16, 2015: proceedings Part 1

Graph structures for knowledge representation and reasoning, 2nd workshop, GKR 2011 revised selected papers

Graph structures for knowledge representation and reasoning: third International Workshop, GKR 2013, Beijing, China, August 3, 2013, revised selected papers

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph structures for knowledge representation and reasoning, 4th workshop, GKR 2015

Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings 3 conf

Curves and surfaces, 8 International. conf., Paris, 2014

Computing and Combinatorics 6th Annual International Conference, COCOON 2000 Sydney, Australia, July 26–28, 2000 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and combinatorics: 4th annual international conference COCOON'98, Taipei, Taiwan, R.o.C., August 12-14, 1998: proceedings

Computing and Combinatorics: 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

Computing and combinatorics: 23nd international conference, COCOON 2017, Hong Kong, China, August 3-5, 2017: proceedings

Computing and Combinatorics: 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

Computing and combinatorics: 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Computing and combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013: proceedings

Computer algebra in scientific computing: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

Combinatorial optimization-Eureka, you shrink! 5th international workshop, Aussois, France, March 5-9, 2001: papers dedicated to Jack Edmonds: 5th international workshop, Aussois, France, March 5-9, 2001: revised papers

Combinatorial Optimization: Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers

Combinatorial optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018: revised selected papers

Combinatorial Optimization: 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

Algorithm theory - SWAT 2010, 12 conf.proceedings

Adventures between lower bounds and higher altitudes: essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday

Моделирование параллельных процессов. Сети Петри

Hardware Support of Parallel Asynchronous Processes

Learn C++ Programming Language

Методы синтеза и динамического анализа самосинхронных КМДП СБИС

Анализ апериодических схем и асинхронных процессов

Voronol Centre Radial Basis Functions - Thèse de Doctorat

Teoría de la Computación: Lenguajes, autómatas, gramáticas

Мифический человеко-месяц, или Как создаются программные системы

Дисциплина программирования

The Imaginary App

Report writing for data science in R

Report writing for data science in R

Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications

Automatic Detection of Verbal Deception

Создание эффективного программного обеспечения

Технология разработки программного обеспечения

Принципы разработки програмного обеспечения

Руководство по надежному программированию

Методы проектирования программных систем

Структурное проектирование и конструирование программ