201
Image and Signal Processing [E-Book] : 6th International Conference, ICISP 2014, Cherbourg, France, June 30 – July 2, 2014. Proceedings /

Full text 
Favorites
Saved in:
202
Interactive Theorem Proving [E-Book] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Full text 
Favorites
Saved in:
203
Software Language Engineering [E-Book] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /

Full text 
Favorites
Saved in:
204
Computational Logistics [E-Book] : 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings /

Full text 
Favorites
Saved in:
205
Human-Centered Software Engineering [E-Book] : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings /

Full text 
Favorites
Saved in:
206
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Full text 
Favorites
Saved in:
207
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /

Full text 
Favorites
Saved in:
208
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /

Full text 
Favorites
Saved in:
209
Computational Logic in Multi-Agent Systems [E-Book] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /

Full text 
Favorites
Saved in:
210
Engineering the Web in the Big Data Era [E-Book] : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
211
Swarm, Evolutionary, and Memetic Computing [E-Book] : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
212
Human-Computer Interaction: Design and Evaluation [E-Book] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I /

Full text 
Favorites
Saved in:
213
Human-Computer Interaction: Interaction Technologies [E-Book] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II /

Full text 
Favorites
Saved in:
214
Human-Computer Interaction: Users and Contexts [E-Book] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III /

Full text 
Favorites
Saved in:
215
Automated Deduction in Geometry [E-Book] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
216
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Full text 
Favorites
Saved in:
217
Intelligent Robotics and Applications [E-Book] : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III /

Full text 
Favorites
Saved in:
218
Intelligent Robotics and Applications [E-Book] : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II /

Full text 
Favorites
Saved in:
219
Intelligent Robotics and Applications [E-Book] : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I /

Full text 
Favorites
Saved in:
220
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results