1
Functional and Logic Programming [E-Book] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
2
Model-Driven Engineering and Software Development [E-Book] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
3
Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
5
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:
6
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:
7
Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
King, Andy
2016
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
8
Verified Software: Theories, Tools, and Experiments [E-Book] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
9
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
10
Software Engineering and Formal Methods [E-Book] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
11
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
12
Fundamentals of Software Engineering [E-Book] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:

Narrow Search Results