Browse Results

Showing 5,951 through 5,975 of 41,212 results
Title Author ISBN Copyright Features Action
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Texts in Computer Science) 2099563 Martin Davis Domenico Cantone Jacob T. Schwartz Eugenio G. Omodeo 9780857298089 2011 Contains images
Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11773) 2840872 Luca Bortolussi Guido Sanguinetti 9783030313043 2019 Contains images
Computational Methods in Systems Biology: 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings (Lecture Notes in Computer Science #11095) 2227884 Milan Češka David Šafránek 9783319994291 2018 Contains images
Computational Processing of the Portuguese Language: 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11122) 5919429 Aline Villavicencio Viviane Moreira Alberto Abad Helena Caseli Pablo Gamallo Carlos Ramisch Hugo Gonçalo Oliveira Gustavo Henrique Paetzold 9783319997223 2018 Contains images
Computational Theory of Mind for Human-Machine Teams: First International Symposium, ToM for Teams 2021, Virtual Event, November 4–6, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13775) 5150761 Nikolos Gurney Gita Sukthankar 9783031216718 2022 Contains images
Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators (Mathematics Education in the Digital Era #11) 2437782 Alexei Volkov Viktor Freiman 9783319733968 2018 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982) 2119062 Hana Chockler Georg Weissenbacher 9783319961422 2018 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981) 2119063 Hana Chockler Georg Weissenbacher 9783319961453 2018 Contains images
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562) 2829435 Isil Dillig Serdar Tasiran 9783030255435 2019 Contains images
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427) 2113165 Rupak Majumdar Viktor Kunčak 9783319633909 2017 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760) 4211970 Alexandra Silva K. Rustan M. Leino 9783030816889 2021 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759) 4216755 Alexandra Silva K. Rustan M. Leino 9783030816858 2021 Contains images
Computer Ethics (The International Library of Essays in Public and Professional Ethics #No. 4.) 5395265 John Weckert 9781351949811 2007 Contains images
Computer Ethics Across Disciplines: Deborah G. Johnson and Algorithmic Accountability (Philosophy of Engineering and Technology #44) 6536834 Merel Noorman Mario Verdicchio 9783031879746 2025 Contains images
Computer Science: The Hardware, Software and Heart of It (Principles Of Computer Science Ser.) 2101386 Edward K. Blum Alfred V Aho 9781461411680 1986 Contains images
Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings (Lecture Notes in Computer Science #10304) 5925051 Pascal Weil 9783319587479 2017 Contains images
Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives (Simulation Foundations, Methods and Applications) 2499733 Claus Beisbart Nicole J. Saam 9783319707662 2019 Contains images
Computer Simulations in Science and Engineering: Concepts - Practices - Perspectives (The Frontiers Collection) 2241991 Juan Manuel Durán 9783319908823 2018 Contains images
Computers, People, and Thought: From Data Mining to Evolutionary Robotics 3633012 Malachy Eaton 9783030553005 2020 Contains images
Computers, Privacy and Data Protection: An Element Of Choice 2134615 Paul De Hert Yves Poullet Serge Gutwirth Ronald Leenes 9789400706415 2010 Contains images
Computing and Educational Studies: A Special Issue of educational Studies (Counterpoints Ser. #123) 4656271 Jr. Eugene F. Provenzo 9781135487416 2000
Computing and Technology Ethics: Engaging through Science Fiction 5183300 Emanuelle Burton Judy Goldsmith Nicholas Mattei Cory Siler Sara-Jo Swiatek 9780262374279 2023 Contains images
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings (Lecture Notes in Computer Science #11558) 5920303 Florin Manea Barnaby Martin Daniël Paulusma Giuseppe Primiero 9783030229962 2019 Contains images
Comrade: An Essay on Political Belonging 2863603 Jodi Dean 9781788735049 2019
Comradely Greetings 1092236 Slavoj Zizek Nadezhda Tololonnikova 9781781687741 2014

Refine Search

Showing 5,951 through 5,975 of 41,212 results