1
Abstract State Machines, Alloy, B, TLA, VDM, and Z [E-Book] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /

Full text 
Favorites
Saved in:
2
Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

Full text 
Favorites
Saved in:
3
Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /

Full text 
Favorites
Saved in:
5
Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Full text 
Favorites
Saved in:
6
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

Full text 
Favorites
Saved in:
7
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /

Full text 
Favorites
Saved in:
9
Computer Aided Verification [E-Book] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
10
Computer Aided Verification [E-Book] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /

Full text 
Favorites
Saved in:
11
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Full text 
Favorites
Saved in:
12
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Full text 
Favorites
Saved in:
13
Computer Performance Engineering [E-Book] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /

Full text 
Favorites
Saved in:
14
Computer Safety, Reliability, and Security [E-Book] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /

Full text 
Favorites
Saved in:
15
Computer Safety, Reliability, and Security [E-Book] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /

Full text 
Favorites
Saved in:
16
Computer Safety, Reliability, and Security [E-Book] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /

Full text 
Favorites
Saved in:
17
Computer Safety, Reliability, and Security [E-Book] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /

Full text 
Favorites
Saved in:
18
Coordination Models and Languages [E-Book] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /

Full text 
Favorites
Saved in:
19
Coordination, Organizations, Institutions, and Normes in Agent Systems XI [E-Book] : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results