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. ✌
  1. Home
  2. insetes

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

Posted By: insetes
Date: 26 Sep 2023 17:47:52
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:46:51
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
Details

TV-Anytime: Paving the Way for Personalized TV

Posted By: insetes
Date: 26 Sep 2023 17:44:27
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:43:37
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:43:14
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:42:52
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:42:29
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:42:06
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
Details

Wound Ballistics: Basics and Applications

Posted By: insetes
Date: 26 Sep 2023 17:41:42
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:41:19
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:40:54
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
Details

Quick Reference Handbook for Surgical Pathologists

Posted By: insetes
Date: 26 Sep 2023 17:40:30
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
Details

Ion Channels and Their Inhibitors

Posted By: insetes
Date: 26 Sep 2023 17:40:08
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:39:45
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
Details

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

Posted By: insetes
Date: 26 Sep 2023 17:39:20
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
Details
UPWARDS