1
High Performance Computing [E-Book] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /

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

Full text 
Favorites
Saved in:
3
Requirements Engineering: Foundation for Software Quality [E-Book] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Full text 
Favorites
Saved in:
4
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:
5
Rule Technologies: Foundations, Tools, and Applications [E-Book] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings /

Full text 
Favorites
Saved in:
6
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:
7
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:
8
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:
9
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [E-Book] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings /

Full text 
Favorites
Saved in:
10
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /

Full text 
Favorites
Saved in:
11
Static Analysis [E-Book] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
12
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

Full text 
Favorites
Saved in:
13
Model-Based Safety and Assessment [E-Book] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
Coordination Models and Languages [E-Book] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /

Full text 
Favorites
Saved in:
15
Reliable Software Technologies – Ada-Europe 2013 [E-Book] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /

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

Full text 
Favorites
Saved in:
17
Model-Based Methodologies for Pervasive and Embedded Software [E-Book] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

Full text 
Favorites
Saved in:
18
Web Reasoning and Rule Systems [E-Book] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings /

Full text 
Favorites
Saved in:
19
Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
20
Computer Safety, Reliability, and Security [E-Book]: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results