| SN |
NAME |
LINK |
| 1 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/26292 |
| 2 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/32621 |
| 3 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/71643 |
| 4 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/26387 |
| 5 |
The Amazing Journey of Reason |
https://directory.doabooks.org/handle/20.500.12854/30721 |
| 6 |
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
https://directory.doabooks.org/handle/20.500.12854/72387 |
| 7 |
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
https://directory.doabooks.org/handle/20.500.12854/146882 |
| 8 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/27821 |
| 9 |
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
https://directory.doabooks.org/handle/20.500.12854/70818 |
| 10 |
Fundamental Approaches to Software Engineering |
https://directory.doabooks.org/handle/20.500.12854/27030 |
| 11 |
Reversible Computation: Extending Horizons of Computing |
https://directory.doabooks.org/handle/20.500.12854/38350 |
| 12 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/81433 |
| 13 |
Programming Languages and Systems |
https://directory.doabooks.org/handle/20.500.12854/28495 |
| 14 |
Biological Computing |
https://directory.doabooks.org/handle/20.500.12854/158430 |
| 15 |
Socio-Cognitive and Affective Computing |
https://directory.doabooks.org/handle/20.500.12854/59594 |
| 16 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/81626 |
| 17 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/91279 |
| 18 |
Computational Science – ICCS 2022 |
https://directory.doabooks.org/handle/20.500.12854/98581 |
| 19 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/136811 |
| 20 |
Beginners in Computer Science Studies |
https://directory.doabooks.org/handle/20.500.12854/148566 |
| 21 |
Nordic Artificial Intelligence Research and Development |
https://directory.doabooks.org/handle/20.500.12854/97689 |
| 22 |
Silicon Valley Cybersecurity Conference |
https://directory.doabooks.org/handle/20.500.12854/97701 |
| 23 |
Insight into Theoretical and Applied Informatics. Introduction to Information Technologies and Computer Science |
https://directory.doabooks.org/handle/20.500.12854/50336 |
| 24 |
The Nature of Physical Computation |
https://directory.doabooks.org/handle/20.500.12854/134378 |
| 25 |
Fundamental Approaches to Software Engineering |
https://directory.doabooks.org/handle/20.500.12854/136476 |
| 26 |
Computer Algebra in Scientific Computing |
https://directory.doabooks.org/handle/20.500.12854/43712 |
| 27 |
Advances in Computer Science and IT |
https://directory.doabooks.org/handle/20.500.12854/64727 |
| 28 |
Programming Languages and Systems |
https://directory.doabooks.org/handle/20.500.12854/81585 |
| 29 |
Enhanced Living Environments |
https://directory.doabooks.org/handle/20.500.12854/32451 |
| 30 |
Computer Science for Game Development and Game Development for Computer Science |
https://directory.doabooks.org/handle/20.500.12854/135149 |
| 31 |
Automated Deduction – CADE 28 |
https://directory.doabooks.org/handle/20.500.12854/71322 |
| 32 |
Supercomputing Frontiers |
https://directory.doabooks.org/handle/20.500.12854/26371 |
| 33 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/91308 |
| 34 |
Programming for Computations – MATLAB/Octave |
https://directory.doabooks.org/handle/20.500.12854/26069 |
| 35 |
Natural Computing and Beyond |
https://directory.doabooks.org/handle/20.500.12854/46326 |
| 36 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/35502 |
| 37 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/34402 |
| 38 |
Security in Computer and Information Sciences |
https://directory.doabooks.org/handle/20.500.12854/27012 |
| 39 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/137264 |
| 40 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/136484 |
| 41 |
AI Knowledge Transfer from the University to Society |
https://directory.doabooks.org/handle/20.500.12854/78026 |
| 42 |
Computational Thinking Education |
https://directory.doabooks.org/handle/20.500.12854/31856 |
| 43 |
Hypergraph Computation |
https://directory.doabooks.org/handle/20.500.12854/101674 |
| 44 |
The 1st International Conference on Computational Engineering and Intelligent Systems |
https://directory.doabooks.org/handle/20.500.12854/80942 |
| 45 |
Computer Vision Metrics |
https://directory.doabooks.org/handle/20.500.12854/30123 |
| 46 |
Computer Science and Engineering Education for Pre-collegiate Students and Teachers |
https://directory.doabooks.org/handle/20.500.12854/43717 |
| 47 |
Mensch und Computer 2015 – Tagungsband |
https://directory.doabooks.org/handle/20.500.12854/53168 |
| 48 |
Internet of Things. Information Processing in an Increasingly Connected World |
https://directory.doabooks.org/handle/20.500.12854/30723 |
| 49 |
Brain-Inspired Computing |
https://directory.doabooks.org/handle/20.500.12854/71640 |
| 50 |
Engineering the Computer Science and IT |
https://directory.doabooks.org/handle/20.500.12854/64735 |
| 51 |
Objective Information Theory |
https://directory.doabooks.org/handle/20.500.12854/99144 |
| 52 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/31311 |
| 53 |
Computational Fluid Dynamics |
https://directory.doabooks.org/handle/20.500.12854/64756 |
| 54 |
Programming Languages and Systems |
https://directory.doabooks.org/handle/20.500.12854/39532 |
| 55 |
Real-Time Auralisation of Outdoor Sound Propagation |
https://directory.doabooks.org/handle/20.500.12854/101770 |
| 56 |
Natural Computing and Beyond |
https://directory.doabooks.org/handle/20.500.12854/34642 |
| 57 |
Evolutionary Computation |
https://directory.doabooks.org/handle/20.500.12854/64748 |
| 58 |
Algorithms for Big Data |
https://directory.doabooks.org/handle/20.500.12854/97887 |
| 59 |
Chapter Address-Event Based Stereo Vision with Bio-Inspired Silicon Retina Imagers |
https://directory.doabooks.org/handle/20.500.12854/70383 |
| 60 |
Chapter High-Performance Computing: Dos and Don’ts |
https://directory.doabooks.org/handle/20.500.12854/70351 |
| 61 |
The Huawei and Snowden Questions |
https://directory.doabooks.org/handle/20.500.12854/29326 |
| 62 |
Automated Reasoning |
https://directory.doabooks.org/handle/20.500.12854/91302 |
| 63 |
New Achievements in Evolutionary Computation |
https://directory.doabooks.org/handle/20.500.12854/64769 |
| 64 |
Artificial Intelligence and Cognitive Science |
https://directory.doabooks.org/handle/20.500.12854/98479 |
| 65 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/35090 |
| 66 |
Architecture of Advanced Numerical Analysis Systems |
https://directory.doabooks.org/handle/20.500.12854/96254 |
| 67 |
Fluid Dynamics, Computational Modeling and Applications |
https://directory.doabooks.org/handle/20.500.12854/65611 |
| 68 |
Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications |
https://directory.doabooks.org/handle/20.500.12854/84455 |
| 69 |
Discovery in Physics |
https://directory.doabooks.org/handle/20.500.12854/96449 |
| 70 |
Numerical Simulations in Engineering and Science |
https://directory.doabooks.org/handle/20.500.12854/130189 |
| 71 |
Teaching Computational Thinking |
https://directory.doabooks.org/handle/20.500.12854/146646 |
| 72 |
Computational Linguistics and Natural Language Processing |
https://directory.doabooks.org/handle/20.500.12854/139406 |
| 73 |
How AI Impacts Urban Living and Public Health |
https://directory.doabooks.org/handle/20.500.12854/26241 |
| 74 |
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries |
https://directory.doabooks.org/handle/20.500.12854/91300 |
| 75 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/137106 |
| 76 |
Human Computer Interaction |
https://directory.doabooks.org/handle/20.500.12854/64693 |
| 77 |
Human Computer Interaction |
https://directory.doabooks.org/handle/20.500.12854/64695 |
| 78 |
Fundamental Approaches to Software Engineering |
https://directory.doabooks.org/handle/20.500.12854/28633 |
| 79 |
Robust Argumentation Machines |
https://directory.doabooks.org/handle/20.500.12854/143267 |
| 80 |
Chapter Towards a Realistic and Self-Contained Biomechanical Model of the Hand |
https://directory.doabooks.org/handle/20.500.12854/70399 |
| 81 |
How the Computer went to School |
https://directory.doabooks.org/handle/20.500.12854/39351 |
| 82 |
Gender Differences in Computer and Information Literacy |
https://directory.doabooks.org/handle/20.500.12854/28659 |
| 83 |
Computational Models in Engineering |
https://directory.doabooks.org/handle/20.500.12854/67353 |
| 84 |
Human-Computer Interaction |
https://directory.doabooks.org/handle/20.500.12854/64736 |
| 85 |
Advances in Human Computer Interaction |
https://directory.doabooks.org/handle/20.500.12854/64691 |
| 86 |
Fundamental Approaches to Software Engineering |
https://directory.doabooks.org/handle/20.500.12854/81637 |
| 87 |
The Once-Only Principle |
https://directory.doabooks.org/handle/20.500.12854/71287 |
| 88 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/165855 |
| 89 |
Mixed Reality and Three-Dimensional Computer Graphics |
https://directory.doabooks.org/handle/20.500.12854/67719 |
| 90 |
Quantum Computing |
https://directory.doabooks.org/handle/20.500.12854/146498 |
| 91 |
Process Mining Workshops |
https://directory.doabooks.org/handle/20.500.12854/158413 |
| 92 |
Computer Vision |
https://directory.doabooks.org/handle/20.500.12854/64682 |
| 93 |
Computer science approach to quantum control |
https://directory.doabooks.org/handle/20.500.12854/43718 |
| 94 |
Chapter 12 Computer science |
https://directory.doabooks.org/handle/20.500.12854/34018 |
| 95 |
Insolvent |
https://directory.doabooks.org/handle/20.500.12854/111598 |
| 96 |
Modeling and Computer Simulation |
https://directory.doabooks.org/handle/20.500.12854/130827 |
| 97 |
Computational Methods for Coupled Problems in Science and Engineering |
https://directory.doabooks.org/handle/20.500.12854/139272 |
| 98 |
Numerical Modeling and Computer Simulation |
https://directory.doabooks.org/handle/20.500.12854/67468 |
| 99 |
Computer Graphics |
https://directory.doabooks.org/handle/20.500.12854/148567 |
| 100 |
Psychology, Learning, Technology |
https://directory.doabooks.org/handle/20.500.12854/92458 |
| 101 |
Advances in Intelligent Data Analysis XVIII |
https://directory.doabooks.org/handle/20.500.12854/31898 |
| 102 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://directory.doabooks.org/handle/20.500.12854/81346 |
| 103 |
Software for Exascale Computing – SPPEXA 2016-2019 |
https://directory.doabooks.org/handle/20.500.12854/36709 |
| 104 |
Intertwingled: The Work and Influence of Ted Nelson |
https://directory.doabooks.org/handle/20.500.12854/32109 |
| 105 |
Supercomputing Frontiers |
https://directory.doabooks.org/handle/20.500.12854/38238 |
| 106 |
Differential Equations for Studies in Computational Electrophysiology |
https://directory.doabooks.org/handle/20.500.12854/101620 |
| 107 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/34409 |
| 108 |
Computer Aided Verification |
https://directory.doabooks.org/handle/20.500.12854/34831 |
| 109 |
Pervasive Computing in IoT |
https://directory.doabooks.org/handle/20.500.12854/143765 |
| 110 |
Technology and Sustainable Development |
https://directory.doabooks.org/handle/20.500.12854/99085 |
| 111 |
Cyber Security |
https://directory.doabooks.org/handle/20.500.12854/78251 |
| 112 |
Soft Computing |
https://directory.doabooks.org/handle/20.500.12854/29694 |
| 113 |
Computational Simulations and Applications |
https://directory.doabooks.org/handle/20.500.12854/65233 |
| 114 |
Grid Computing |
https://directory.doabooks.org/handle/20.500.12854/66083 |
| 115 |
Applications of Secure Multiparty Computation |
https://directory.doabooks.org/handle/20.500.12854/41078 |
| 116 |
Foundations of Software Science and Computation Structures |
https://directory.doabooks.org/handle/20.500.12854/67965 |
| 117 |
Computer Studies |
https://directory.doabooks.org/handle/20.500.12854/148581 |
| 118 |
Chapter Trust in global computing systems as a limit property emerging from short range random interactions |
https://directory.doabooks.org/handle/20.500.12854/70535 |
| 119 |
Fundamentals |
https://directory.doabooks.org/handle/20.500.12854/96455 |
| 120 |
Brain Technology in Augmented Cognition |
https://directory.doabooks.org/handle/20.500.12854/146891 |
