1
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:
2
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:
3
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:
4
Transactions on Foundations for Mastering Change I [E-Book] /
Subject (ZB): “...Programming languages (Electronic computers)....”

Full text 
Favorites
Saved in:
5
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
6
Approximation and Online Algorithms [E-Book] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
7
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
8
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
9
Advances in Grid and Pervasive Computing [E-Book] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
10
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [E-Book] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
11
Algorithmics of Large and Complex Networks [E-Book] : Design, Analysis, and Simulation /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
12
Numerical Analysis and Its Applications [E-Book] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
13
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
14
Evolutionary Computation in Combinatorial Optimization [E-Book] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
15
Evolutionary Multi-Criterion Optimization [E-Book] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
16
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
17
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
18
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
19
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:
20
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
Subject (ZB): “...Electronic data processing...”

Full text 
Favorites
Saved in:

Narrow Search Results