Browse Results

Showing 5,801 through 5,825 of 41,575 results
Title Author ISBN Copyright Features Action
Compromise and the American Founding: The Quest for the People's Two Bodies 2808588 Alin Fumurescu 9781108245005 2019
Compromise, Peace and Public Justification: Political Morality Beyond Justice 2109154 Fabian Wendt 9783319288772 2016
Compromise: NOMOS LIX (NOMOS - American Society for Political and Legal Philosophy #22) 6424275 Jack Knight 9781479818020 2018
Compromises in Democracy (Palgrave Studies in Compromise after Conflict) 3410109 Stéphanie Novak Sandrine Baume 9783030408022 2020
Compromising the Ideals of Science 1528060 Raphael Sassower 9781137519436 2015 Contains images
Compulsory: Education and the Dispossession of Youth in a Prison School 6483876 Sabina E. Vaught 9781452953311 2017
Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #10010) 5920583 Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov and Frances Rosamond 9783319500621 2017 Contains images
Computability and Logic 695979 John P. Burgess George S. Boolos Richard C. Jeffrey 9781107086500 2007 Contains images
Computability and Unsolvability 1459277 Prof. Martin Davis 9780486151069 1982 Contains images
Computational Analysis of Terrorist Groups: Lashkar-e-taiba 2101623 Amy Sliva V. S. Subrahmanian John P. Dickerson Jana Shakarian Aaron Mannes 9781461447696 2013 Contains images
Computational Cognitive Modeling and Linguistic Theory (Language, Cognition, and Mind #6) 3374401 Adrian Brasoveanu Jakub Dotlačil 9783030318468 2020 Contains images
Computational Creativity Research: Towards Creative Machines (Atlantis Thinking Machines #7) 2136595 Tarek R. Besold Marco Schorlemmer Alan Smaill 9789462390850 2015 Contains images
Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10834) 2539778 Leif Peterson Roberto Tagliaferri Alberto Policriti Andrea Bracciali Massimo Bartoletti Annalisa Barla Gunnar W. Klau 9783030141608 2019 Contains images
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: 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings (Lecture Notes in Computer Science #11095) 2227884 David Šafránek Milan Češka 9783319994291 2018 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 Guido Sanguinetti Luca Bortolussi 9783030313043 2019 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 Carlos Ramisch Aline Villavicencio Alberto Abad Viviane Moreira Helena Caseli Pablo Gamallo 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 Gita Sukthankar Nikolos Gurney 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 Viktor Freiman Alexei Volkov 9783319733968 2018 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: 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: 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: 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: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759) 4216755 K. Rustan M. Leino Alexandra Silva 9783030816858 2021 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 K. Rustan M. Leino Alexandra Silva 9783030816889 2021 Contains images

Refine Search

Showing 5,801 through 5,825 of 41,575 results