1
Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /
2
Tools and Methods of Program Analysis [E-Book] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers /
3
Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /
Zhu, Hu
2024
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
4
Functional and Logic Programming [E-Book] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings /
5
The French School of Programming [E-Book] /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
6
Quantum Computers : Theory and Algorithms [E-Book] /
7
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
8
Introduction to Computer Graphics [E-Book] : Using OpenGL and Java /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
9
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
10
Formal Methods for an Informal World [E-Book] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures /
11
Practical Aspects of Declarative Languages [E-Book] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings /
12
Deep Learning for Computational Problems in Hardware Security [E-Book] : Modeling Attacks on Strong Physically Unclonable Function Circuits /
13
Practical Aspects of Declarative Languages [E-Book] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings /
14
Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /
15
Computer Safety, Reliability, and Security [E-Book] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings /
16
Fundamental Approaches to Software Engineering [E-Book] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
17
Consciousness, Cognition and Crosstalk: The Evolutionary Exaptation of Nonergodic Groupoid Symmetry-Breaking [E-Book] /
18
New Medical Diagnosis Models Based on Generalized Type-2 Fuzzy Logic [E-Book] /
19
Foundations of Programming Languages [E-Book] /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
20
SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /