1
Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /
2
Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /
Zhu, Hu
2024
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
3
Tools and Methods of Program Analysis [E-Book] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers /
4
Introduction to Computer Graphics [E-Book] : Using OpenGL and Java /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
5
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
6
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
7
Practical Aspects of Declarative Languages [E-Book] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings /
8
Quantum Computers : Theory and Algorithms [E-Book] /
9
Formal Methods for an Informal World [E-Book] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures /
10
Deep Learning for Computational Problems in Hardware Security [E-Book] : Modeling Attacks on Strong Physically Unclonable Function Circuits /
11
Computer Safety, Reliability, and Security [E-Book] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings /
12
Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /
13
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 /
14
Practical Aspects of Declarative Languages [E-Book] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings /
15
Foundations of Programming Languages [E-Book] /
Subject (ZB): ...Programming languages (Electronic computers)....

Full text 
16
Scaling OpenMP for Exascale Performance and Portability [E-Book] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
17
Smart Card Research and Advanced Applications [E-Book] : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers /
18
Software Engineering and Formal Methods [E-Book] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
19
SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /
20
Euro-Par 2017: Parallel Processing [E-Book] : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /