181
Verification, Model Checking, and Abstract Interpretation [E-Book] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /

Full text 
Favorites
Saved in:
182
Declarative Agent Languages and Technologies X [E-Book] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
183
Logic-Based Program Synthesis and Transformation [E-Book] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
184
Model-Based Methodologies for Pervasive and Embedded Software [E-Book] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

Full text 
Favorites
Saved in:
185
Formal Concept Analysis [E-Book] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /

Full text 
Favorites
Saved in:
186
Datalog in Academia and Industry [E-Book]: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings /

Full text 
Favorites
Saved in:
187
Computer Information Systems and Industrial Management [E-Book]: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings /

Full text 
Favorites
Saved in:
188
Relational and Algebraic Methods in Computer Science [E-Book]: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /

Full text 
Favorites
Saved in:
189
Intelligent Robotics and Applications [E-Book]: 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III /

Full text 
Favorites
Saved in:
190
Intelligent Robotics and Applications [E-Book]: 5th International Conference, ICIRA 2012, Montral, Canada, October 3-5,2012, Proceedings, Part I /

Full text 
Favorites
Saved in:
191
Intelligent Robotics and Applications [E-Book]: 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II /

Full text 
Favorites
Saved in:
192
Computational Logistics [E-Book]: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings /
Hu, Hao.
2012

Full text 
Favorites
Saved in:
193
Model and Data Engineering [E-Book]: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /

Full text 
Favorites
Saved in:
194
Computer Safety, Reliability, and Security [E-Book]: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Full text 
Favorites
Saved in:
195
Software Engineering and Formal Methods [E-Book]: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

Full text 
Favorites
Saved in:
196
Theory and Practice of Natural Computing [E-Book]: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings /

Full text 
Favorites
Saved in:
197
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Full text 
Favorites
Saved in:
198
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Full text 
Favorites
Saved in:
199
Human-Centered Software Engineering [E-Book]: 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings /

Full text 
Favorites
Saved in:
200
Self-Organizing Systems [E-Book] : 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results