41
SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
42
Software Engineering and Formal Methods [E-Book] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
43
Practical Aspects of Declarative Languages [E-Book] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
44
Verification, Model Checking, and Abstract Interpretation [E-Book] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
45
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
46
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
47
Testing Software and Systems [E-Book] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
48
Formal Methods and Software Engineering [E-Book] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
49
Programming Languages and Systems [E-Book] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
50
Formal Methods: Foundations and Applications [E-Book] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
51
Reliable Software Technologies – Ada-Europe 2016 [E-Book] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
52
Trends in Functional Programming [E-Book] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
53
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 /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
54
Software Engineering for Resilient Systems [E-Book] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
55
Static Analysis [E-Book] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
56
Programming Languages [E-Book] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
57
Computer Safety, Reliability, and Security [E-Book] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
58
OpenMP: Memory, Devices, and Tasks [E-Book] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
59
System Analysis and Modeling. Technology-Specific Aspects of Models [E-Book] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
60
Runtime Verification [E-Book] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:

Narrow Search Results