Top 1200 ca 596 664 PDF Book Page 42

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening, Corina S. Păsăreanu (eds.)

·690 Pages

·2015

·34.033 MB

Immersive Learning Research Network: Second International Conference, iLRN 2016 Santa Barbara, CA, USA, June 27 – July 1, 2016 Proceedings

Colin Allison, Leonel Morgado, Johanna Pirker, Dennis Beck, Jonathon Richter, Christian Gütl (eds.)

·193 Pages

·2016

·13.049 MB

Web Usage Analysis and User Profiling: International WEBKDD’99 Workshop San Diego, CA, USA, August 15, 1999 Revised Papers

Dan Murray, Kevan Durrell (auth.), Brij Masand, Myra Spiliopoulou (eds.)

·188 Pages

·2000

·3.002 MB

Information Processing in Sensor Networks: Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings

Daniel Marco, Enrique J. Duarte-Melo, Mingyan Liu, David L. Neuhoff (auth.), Feng Zhao, Leonidas Guibas (eds.)

·687 Pages

·2003

·10.891 MB

Advances in Human Factors in Training, Education, and Learning Sciences : Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, Ca

Andre, Terence

·442 Pages

·32.906 MB

Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

Yehuda Lindell (ed.).

·752 Pages

·2014

·8.041 MB

Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Peng Liu,Sjouke Mauw,Ketil Stolen (eds.)

·157 Pages

·2018

·10.549 MB

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri, Chao Wang

·697 Pages

·2020

·22.005 MB

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)

·352 Pages

·2000

·2.805 MB

Diagnostic and prognostic significance of different mucin expression, preoperative CEA, and CA-125 in colorectal carcinoma: A clinicopathological study.

Jain, Parul

·2014

·1.01 MB

Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Chenhui Hu, Lin Cheng, Jorge Sepulcre, Georges El Fakhri, Yue M. Lu, Quanzheng Li (auth.), James C. Gee, Sarang Joshi, Kilian M. Pohl, William M. Wells, Lilla Zöllei (eds.)

·802 Pages

·2013

·88.148 MB

The Archaeology of an Ancient Seaside Town: Performance and Community at Samanco, Nepeña Valley, Peru (ca. 500-1 BC)

Matthew Helmer

·205 Pages

·2015

·21.903 MB

NASA Technical Reports Server (NTRS) 20070009991: Isotopic Measurements in CAIs with the Nanosims: Implications to the understanding of the Formation process of Ca, Al-Rich Inclusions

NASA Technical Reports Server (NTRS)

·0.15 MB

Catalogo de los peces litorales de las islas desventuradas (ca. 26° s) recolectados durante febrero 1997, y depositados en la colección del museo nacional de historia natural, Chile

Meléndez C., Roberto

·7 Pages

·2001

·0.17 MB

Advances in Cryptology - CRYPTO 2009: 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009, Proceedings (Lecture ... Computer Science / Security and Cryptology)

Shai Halevi

·11 Pages

·2009

·0.541 MB

Data and Applications Security XXI: 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

Joachim Biskup, Torben Weibert (auth.), Steve Barker, Gail-Joon Ahn (eds.)

·299 Pages

·2007

·3.508 MB

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering)

Fabrice Kordon, Janos Sztipanovits

·329 Pages

·2007

·3.836 MB

Advances in Cryptology - CRYPTO 2009: 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009, Proceedings (Lecture ... Computer Science Security and Cryptology)

Shai Halevi

·703 Pages

·2009

·8.176 MB

Human Aspects of Information Security, Privacy, and Trust: Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings

Theo Tryfonas, Ioannis Askoxylakis (eds.)

·730 Pages

·2015

·55.614 MB

Les relations entre États dans la Grèce antique du temps d’Homère à l’intervention romaine (ca. 700-200 av. J.-C.)

Giovannini, Adalberto

·443 Pages

·2007

·30.818 MB

Breaking and Making the Ancestors: Piecing Together the Urnfield Mortuary Process in the Lower-Rhine-Basin, ca. 1300 – 400 BC

Arjan Louwen MA

·358 Pages

·2021

·30 MB

Le travail intellectuel a la Faculte des arts de Paris: Textes et maitres (ca. 1200-1500) (Studia artistarum) (French Edition)

Olga Weijers

·200 Pages

·1994

·5.6 MB

Advances in Visual Computing: 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5–7, 2020, Proceedings, Part II

George Bebis, Zhaozheng Yin, Edward Kim, Jan Bender, Kartic Subr, Bum Chul Kwon, Jian Zhao, Denis Kalkofen, George Baciu

·795 Pages

·2020

·148.825 MB

Algorithmic Aspects in Information and Management: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings

Andrei Z. Broder (auth.), Andrew V. Goldberg, Yunhong Zhou (eds.)

·334 Pages

·2009

·5.739 MB

…

41 42 43

…