Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of t

Posted By: insetes
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of t

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings By Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
2013 | 646 Pages | ISBN: 3642367410 | PDF | 11 MB

Theory of Cryptography: 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings

Posted By: insetes
Theory of Cryptography: 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings

Theory of Cryptography: 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings By Andrej Bogdanov, Alon Rosen (auth.), Yuval Ishai (eds.)
2011 | 631 Pages | ISBN: 3642195709 | PDF | 8 MB

TV-Anytime: Paving the Way for Personalized TV

Posted By: insetes
TV-Anytime: Paving the Way for Personalized TV

TV-Anytime: Paving the Way for Personalized TV By Alberto Gil Solla, Rafael G. Sotelo Bovino (auth.)
2013 | 199 Pages | ISBN: 3642367658 | PDF | 14 MB

Sedimentary Facies Reconstruction and Kinematic Restoration of Tight Gas Fields: Studies from the Upper Permian in Northwestern

Posted By: insetes
Sedimentary Facies Reconstruction and Kinematic Restoration of Tight Gas Fields: Studies from the Upper Permian in Northwestern

Sedimentary Facies Reconstruction and Kinematic Restoration of Tight Gas Fields: Studies from the Upper Permian in Northwestern Germany By Anna Alexandra Vackiner (auth.)
2013 | 123 Pages | ISBN: 3642360459 | PDF | 11 MB

Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Pa

Posted By: insetes
Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Pa

Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I By Olga Russakovsky, Li Fei-Fei (auth.), Kiriakos N. Kutulakos (eds.)
2012 | 357 Pages | ISBN: 3642357482 | PDF | 36 MB

Informatics in Control, Automation and Robotics: 8th International Conference, ICINCO 2011 Noordwijkerhout, The Netherlands, Ju

Posted By: insetes
Informatics in Control, Automation and Robotics: 8th International Conference, ICINCO 2011 Noordwijkerhout, The Netherlands, Ju

Informatics in Control, Automation and Robotics: 8th International Conference, ICINCO 2011 Noordwijkerhout, The Netherlands, July 28-31, 2011 Revised Selected Papers By Kurosh Madani (auth.), Jean-Louis Ferrier, Alain Bernard, Oleg Gusikhin, Kurosh Madani (eds.)
2013 | 228 Pages | ISBN: 3642313523 | PDF | 17 MB

Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2

Posted By: insetes
Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2

Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings By David Maier, V. M. Megler, António M. Baptista, Alex Jaramillo, Charles Seaton (auth.), Anastasia Ailamaki, Shawn Bowers (eds.)
2012 | 654 Pages | ISBN: 3642312349 | PDF | 27 MB

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedi

Posted By: insetes
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedi

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings By Alexander Clark (auth.), Denis Béchet, Alexander Dikovsky (eds.)
2012 | 251 Pages | ISBN: 3642312616 | PDF | 3 MB

Wound Ballistics: Basics and Applications

Posted By: insetes
Wound Ballistics: Basics and Applications

Wound Ballistics: Basics and Applications By Dr Robin M. Coupland MB, BChir, FRCS, Prof. Dr Markus A. Rothschild, Prof. Dr Michael J. Thali (auth.), Dr in forens. sci., MD h. c. Beat P. Kneubuehl (eds.)
2011 | 496 Pages | ISBN: 3642203558 | PDF | 8 MB

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Posted By: insetes
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings By Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)
2012 | 363 Pages | ISBN: 3642311121 | PDF | 4 MB

Traffic Monitoring and Analysis: Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings

Posted By: insetes
Traffic Monitoring and Analysis: Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings

Traffic Monitoring and Analysis: Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings By Marcin Pietrzyk, Louis Plissonneau, Guillaume Urvoy-Keller, Taoufik En-Najjary (auth.), Jordi Domingo-Pascual, Yuval Shavitt, Steve Uhlig (eds.)
2011 | 197 Pages | ISBN: 3642203043 | PDF | 5 MB

Quick Reference Handbook for Surgical Pathologists

Posted By: insetes
Quick Reference Handbook for Surgical Pathologists

Quick Reference Handbook for Surgical Pathologists By Natasha Rekhtman, Justin A. Bishop (auth.)
2011 | 180 Pages | ISBN: 3642200850 | PDF | 11 MB

Ion Channels and Their Inhibitors

Posted By: insetes
Ion Channels and Their Inhibitors

Ion Channels and Their Inhibitors By M. Michael Gromiha, Yu-Yen Ou, Shu-An Chen (auth.), Satya Prakash Gupta (eds.)
2011 | 348 Pages | ISBN: 3642199216 | PDF | 6 MB

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday

Posted By: insetes
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday By Solomon Marcus (auth.), Jozef Kelemen, Alica Kelemenová (eds.)
2011 | 217 Pages | ISBN: 3642199992 | PDF | 3 MB

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-

Posted By: insetes
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers By Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
2011 | 291 Pages | ISBN: 3642198287 | PDF | 6 MB