1
Formal Methods and Software Engineering [E-Book] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /

Full text 
Favorites
Saved in:
2
Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Information Security [E-Book] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /

Full text 
Favorites
Saved in:
4
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

Full text 
Favorites
Saved in:
5
Service-Oriented Computing [E-Book] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings /

Full text 
Favorites
Saved in:
6
Transactions on Petri Nets and Other Models of Concurrency X [E-Book] /

Full text 
Favorites
Saved in:
7
Distributed Computing [E-Book] : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Web Reasoning and Rule Systems [E-Book] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. /

Full text 
Favorites
Saved in:
9
Search-Based Software Engineering [E-Book] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /

Full text 
Favorites
Saved in:
10
Cloud Computing and Big Data [E-Book] : Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Adaptive Resource Management and Scheduling for Cloud Computing [E-Book] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Models of Strategic Reasoning [E-Book] : Logics, Games, and Communities /

Full text 
Favorites
Saved in:
13
SOFSEM 2016: Theory and Practice of Computer Science [E-Book] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /

Full text 
Favorites
Saved in:
14
Mathematics of Program Construction [E-Book] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /

Full text 
Favorites
Saved in:
15
Engineering the Web in the Big Data Era [E-Book] : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
16
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [E-Book] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings /

Full text 
Favorites
Saved in:
17
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /

Full text 
Favorites
Saved in:
18
Application and Theory of Petri Nets and Concurrency [E-Book] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
19
Reliable Software Technologies – Ada-Europe 2015 [E-Book] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
20
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 /

Full text 
Favorites
Saved in:

Narrow Search Results