1
Tools and Methods of Program Analysis [E-Book] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
2
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:
3
Systems, Software and Services Process Improvement [E-Book] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I /
Subject (ZB): “...Electronic data processing Management....”

Full text 
Favorites
Saved in:
4
Systems, Software and Services Process Improvement [E-Book] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II /
Subject (ZB): “...Electronic data processing Management....”

Full text 
Favorites
Saved in:
5
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:
6
Product Lifecycle Management. Green and Blue Technologies to Support Smart and Sustainable Organizations [E-Book] : 18th IFIP WG 5.1 International Conference, PLM 2021, Curitiba, Brazil, July 11-14, 2021, Revised Selected Papers, Part I /
Subject (ZB): “...Electronic data processing-Management....”

Full text 
Favorites
Saved in:
7
Genetic Programming [E-Book] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
8
Systems, Software and Services Process Improvement [E-Book] : 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022, Proceedings /
Subject (ZB): “...Electronic data processing-Management....”

Full text 
Favorites
Saved in:
9
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:
10
AIxIA 2020 - Advances in Artificial Intelligence [E-Book] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
11
Artificial Intelligence and Soft Computing [E-Book] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
12
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:
13
Tools and Methods of Program Analysis [E-Book] : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
14
Smart and Sustainable Collaborative Networks 4.0 [E-Book] : 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22-24, 2021, Proceedings /
Subject (ZB): “...Electronic commerce....”

Full text 
Favorites
Saved in:
15
Human Aspects of IT for the Aged Population. Technology Design and Acceptance [E-Book] : 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I /
Gao, Qin
2021
Subject (ZB): “...Electronic commerce....”

Full text 
Favorites
Saved in:
16
Provenance and Annotation of Data and Processes [E-Book] : 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
17
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:
18
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
19
Intelligent Computer Mathematics [E-Book] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
Subject (ZB): “...Programming languages (Electronic computers)....”

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

Narrow Search Results