1
Abstract State Machines, Alloy, B, TLA, VDM, and Z [E-Book] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
2
Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Full text 
Favorites
Saved in:
3
Active Object Languages: Current Research Trends [E-Book] /

Full text 
Favorites
Saved in:
4
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [E-Book] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
5
Advances in Software Engineering Techniques [E-Book]: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Algebraic and Algorithmic Aspects of Differential and Integral Operators [E-Book] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /

Full text 
Favorites
Saved in:
7
Algebraic and Numeric Biology [E-Book]: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Algebraic Informatics [E-Book] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /

Full text 
Favorites
Saved in:
9
Algorithmic Learning Theory [E-Book]: 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /

Full text 
Favorites
Saved in:
10
Algorithmic Learning Theory [E-Book] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /

Full text 
Favorites
Saved in:
11
Application and Theory of Petri Nets [E-Book]: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
12
Application and Theory of Petri Nets and Concurrency [E-Book] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /

Full text 
Favorites
Saved in:
13
Application and Theory of Petri Nets and Concurrency [E-Book] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
Application and Theory of Petri Nets and Concurrency [E-Book] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
15
Applications of Graph Transformations with Industrial Relevance [E-Book]: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
16
ASIC Design and Synthesis [E-Book] : RTL Design Using Verilog /

Full text 
Favorites
Saved in:
17
Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques /

Full text 
Favorites
Saved in:
18
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Full text 
Favorites
Saved in:
19
Automated Reasoning [E-Book]: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
20
Automated Reasoning [E-Book] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results