Browse Results

Showing 2,426 through 2,450 of 27,179 results
Title Author ISBN Copyright Features Action
Authentic Opportunities for Writing about Math in High School: Prompts and Examples for Building Understanding 6239704 Tammy L. Jones Leslie A Texas 9781040144077 2025 Contains images
Authentic Opportunities for Writing about Math in Middle School: Prompts and Examples for Building Understanding 6198390 Tammy L. Jones Leslie A. Texas 9781040109397 2025 Contains images
Authentic Opportunities for Writing about Math in Upper Elementary: Prompts and Examples for Building Understanding 6193838 Tammy L. Jones Leslie A. Texas 9781040118528 2025 Contains images
The Authentic Organization: How to Create a Psychologically Safe Workplace 6066033 Gina Battye 9781394232291 2024 Contains images
Authentication Codes and Combinatorial Designs (Discrete Mathematics and Its Applications) 6393592 null Dingyi Pei 9781040207970 2006
Automata and Computability: A Programmer's Perspective 5602137 Ganesh Gopalakrishnan 9781351374286 2019 Contains images
Automata and Computability 1452828 Dexter C. Kozen 9780387949079 1997
Automated Data Analysis Using Excel (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series) 3593984 Brian D. Bissett 9781000088496 2020 Contains images
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science #10395) 2113001 Leonardo Moura 9783319630465 2017 Contains images
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science #11716) 2786504 Pascal Fontaine 9783030294366 2019 Contains images
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science #12699) 4199237 André Platzer Geoff Sutcliffe 9783030798765 2021 Contains images
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Computer Science #14132) 5637189 Brigitte Pientka Cesare Tinelli 9783031384998 2023 Contains images
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science #9195) 2107619 Amy P. Felty Aart Middeldorp 9783319214016 2015 Contains images
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science #9201) 2107616 Francisco Botana Pedro Quaresma 9783319213620 2015 Contains images
The Automated Design of Materials Far From Equilibrium 1616885 Marc Z. Miskin 9783319246215 2016 Contains images
Automated Market Makers: A Practical Guide to Decentralized Exchanges and Cryptocurrency Trading 5127226 Miguel Ottina Peter Johannes Steffensen Jesper Kristensen 9781484286166 2023 Contains images
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Computer Science #10900) 2140067 Didier Galmiche Stephan Schulz Roberto Sebastiani 9783319942056 2018 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12167) 3547016 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510541 2020 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166) 3547058 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510749 2020 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science #11714) 2871968 Serenella Cerrito Andrei Popescu 9783030290269 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (Lecture Notes in Computer Science #12842) 4263410 Anupam Das Sara Negri 9783030860592 2021 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (Lecture Notes in Computer Science #14278) 5657389 Revantha Ramanayake Josef Urban 9783031435133 2023 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science #10501) 2113767 Renate A. Schmidt Cláudia Nalon 9783319669021 2017 Contains images
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2958041 Yu-Fang Chen Chih-Hong Cheng Javier Esparza 9783030317843 2019 Contains images
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization 186999 Robert Metzger Zhaofang Wen 9780262133685 2000

Refine Search

Showing 2,426 through 2,450 of 27,179 results