1
Job Scheduling Strategies for Parallel Processing [E-Book] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
2
Parallel Computing Technologies [E-Book] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
3
Job Scheduling Strategies for Parallel Processing [E-Book] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
4
High Performance Computing [E-Book] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
5
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
6
Reversible Computation [E-Book] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
7
Parallel Computing Technologies [E-Book] : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
8
Job Scheduling Strategies for Parallel Processing [E-Book] : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
9
High Performance Computing [E-Book] : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
10
High Performance Computing [E-Book] : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
11
Software, Services, and Systems [E-Book] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
12
Software Engineering for Collective Autonomic Systems [E-Book] : The ASCENS Approach /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
13
Compiler Construction [E-Book] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
14
Fundamental Approaches to Software Engineering [E-Book] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
15
Foundations of Software Science and Computation Structures [E-Book] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
16
Transactional Memory. Foundations, Algorithms, Tools, and Applications [E-Book] : COST Action Euro-TM IC1001 /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
17
Verification, Model Checking, and Abstract Interpretation [E-Book] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
18
Formal Methods for Multicore Programming [E-Book] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
19
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
20
FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:

Narrow Search Results