1
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /

Full text 
Favorites
Saved in:
2
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /

Full text 
Favorites
Saved in:
3
Power Electronics and Instrumentation Engineering [E-Book] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
4
Hardware and Software: Verification and Testing [E-Book] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
5
Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Rainbow of Computer Science [E-Book] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /

Full text 
Favorites
Saved in:
7
Transactions on High-Performance Embedded Architectures and Compilers III [E-Book] /

Full text 
Favorites
Saved in:
8
Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Full text 
Favorites
Saved in:
9
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /

Full text 
Favorites
Saved in:
10
Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /

Full text 
Favorites
Saved in:
11
Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Full text  Full text 
Favorites
Saved in:
12
Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Ong, Luke.
2011

Full text 
Favorites
Saved in:
13
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
14
Technische Informatik [E-Book] : Band 2: Entwurf digitaler Schaltungen /

Full text 
Favorites
Saved in:
15
Regular Nanofabrics in Emerging Technologies [E-Book] : Design and Fabrication Methods for Nanoscale Digital Circuits /

Full text 
Favorites
Saved in:
16
The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /

Full text 
Favorites
Saved in:
17
Emotional Cognitive Neural Algorithms with Engineering Applications [E-Book] : Dynamic Logic: FromVague to Crisp /

Full text 
Favorites
Saved in:
18
Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
19
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

Full text  Full text 
Favorites
Saved in:
20
Process Mining [E-Book] : Discovery, Conformance and Enhancement of Business Processes /

Full text 
Favorites
Saved in:

Narrow Search Results