1
Software Engineering and Formal Methods [E-Book] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Requirements Engineering: Foundation for Software Quality [E-Book] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings /

Full text 
Favorites
Saved in:
3
Engineering Multi-Agent Systems [E-Book] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
User-Level Workflow Design [E-Book] : A Bioinformatics Perspective /

Full text 
Favorites
Saved in:
5
Functional and Logic Programming [E-Book] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
6
Formal Methods for Executable Software Models [E-Book] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /

Full text 
Favorites
Saved in:
7
Compiler Construction [E-Book] : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
8
Foundations of Software Science and Computation Structures [E-Book] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

Full text 
Favorites
Saved in:
9
Programming Languages and Systems [E-Book] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

Full text 
Favorites
Saved in:
10
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
11
Middleware 2013 [E-Book] : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings /

Full text 
Favorites
Saved in:
12
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Full text 
Favorites
Saved in:
13
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
FM 2014: Formal Methods [E-Book] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Full text 
Favorites
Saved in:
15
Engineering Secure Future Internet Services and Systems [E-Book] : Current Research /

Full text 
Favorites
Saved in:
16
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings /

Full text 
Favorites
Saved in:
17
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications [E-Book] : First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers /

Full text 
Favorites
Saved in:
18
Parallel Processing and Applied Mathematics [E-Book] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
19
Distributed Applications and Interoperable Systems [E-Book] : 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /

Full text 
Favorites
Saved in:
20
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results