1
Software Engineering and Formal Methods [E-Book] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Information Security Applications [E-Book] : 14th International Workshop, WISA 2013, Jeju Island, Korea, August 19-21, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Camera-Based Document Analysis and Recognition [E-Book] : 5th International Workshop, CBDAR 2013, Washington, DC, USA, August 23, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Requirements Engineering: Foundation for Software Quality [E-Book] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings /

Full text 
Favorites
Saved in:
5
Trends in Functional Programming [E-Book] : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Engineering Multi-Agent Systems [E-Book] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Algorithms for Sensor Systems [E-Book] : 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Molecular Biology [E-Book] : Not Only for Bioinformaticians /

Full text 
Favorites
Saved in:
9
User-Level Workflow Design [E-Book] : A Bioinformatics Perspective /

Full text 
Favorites
Saved in:
10
Computer Aided Systems Theory - EUROCAST 2013 [E-Book] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
11
Computer Aided Systems Theory - EUROCAST 2013 [E-Book] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:
12
Transactions on Computational Collective Intelligence XII [E-Book] /

Full text 
Favorites
Saved in:
13
Specifying Big Data Benchmarks [E-Book] : First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Advances in Cryptology – EUROCRYPT 2014 [E-Book] : 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings /

Full text 
Favorites
Saved in:
15
Social Informatics [E-Book] : SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
New Horizons in Web Based Learning [E-Book] : ICWL 2011 International Workshops, KMEL, ELSM, and SPeL, Hong Kong, December 8-10, 2011, ICWL 2012 International Workshops, KMEL, SciLearn, and CCSTED,Sinaia, Romania, September 2-4, 2012. Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Functional and Logic Programming [E-Book] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
18
Artificial Intelligence and Soft Computing [E-Book] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Full text 
Favorites
Saved in:
19
Artificial Intelligence and Soft Computing [E-Book] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Full text 
Favorites
Saved in:
20
Intelligent Tutoring Systems [E-Book] : 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results