1
Transactions on Petri Nets and Other Models of Concurrency XVII [E-Book] /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
2
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
3
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Subject (ZB): “...Computer science -- Mathematics....”

Full text 
Favorites
Saved in:
4
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
5
Formal Aspects of Component Software [E-Book] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Subject (ZB): “...Data structures (Computer science)....”

Full text 
Favorites
Saved in:
6
Advances in Computational Intelligence. MICAI 2023 International Workshops [E-Book] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
7
Requirements Engineering: Foundation for Software Quality [E-Book] : 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings /
Subject (ZB): “...Natural language processing (Computer science)....”

Full text 
Favorites
Saved in:
8
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
9
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
10
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
11
Fundamental Approaches to Software Engineering [E-Book] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
12
Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /
Zhu, Hu
2024
Subject (ZB): “...Computer science -- Mathematics....”

Full text 
Favorites
Saved in:
13
Parallel and Distributed Computing, Applications and Technologies [E-Book] : Proceedings of PDCAT 2023 /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
14
Structures of Computing [E-Book] : A Guide to Practice-Oriented Theory /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
15
Advances in Model and Data Engineering in the Digitalization Era [E-Book] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings /
Subject (ZB): “...Data structures (Computer science)....”

Full text 
Favorites
Saved in:
16
Tools and Methods of Program Analysis [E-Book] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
17
Active Inference [E-Book] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers /
Subject (ZB): “...Computer science -- Mathematics....”

Full text 
Favorites
Saved in:
18
Artificial Intelligence. ECAI 2023 International Workshops [E-Book] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
19
Artificial Intelligence. ECAI 2023 International Workshops [E-Book] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II /
Subject (ZB): “...Computer science....”

Full text 
Favorites
Saved in:
20
Future Access Enablers for Ubiquitous and Intelligent Infrastructures [E-Book] : 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings /
Subject (ZB): “...Data structures (Computer science)....”

Full text 
Favorites
Saved in:

Narrow Search Results