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 |
|
|