1
Programming Languages and Systems [E-Book] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
2
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:
3
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:
4
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:
5
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:
6
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:
7
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:
8
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:
9
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:
10
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:
11
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:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
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:
19
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:
20
Formal Methods: Foundations and Applications [E-Book] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:

Narrow Search Results