Browse Results

Showing 2,526 through 2,550 of 27,785 results
Title Author ISBN Copyright Features Action
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
Automatic Control of Atmospheric and Space Flight Vehicles: Design and Analysis with MATLAB® and Simulink® (Control Engineering) 2099439 Ashish Tewari 9780817648640 2011 Contains images
Automatic Generation Of Algorithms (Advances in Metaheuristics) 6427176 Victor Parada 9781040307113 2025 Contains images
Automatic Language Identification in Texts (Synthesis Lectures on Human Language Technologies) 5872792 Tommi Jauhiainen Marcos Zampieri Timothy Baldwin Krister Lindén 9783031458224 2024 Contains images
Automatic trend estimation (SpringerBriefs in Physics) 2135162 Maria Cr˘aciun C˘alin Vamos¸ 9789400748255 2012 Contains images
Automation 2017: Innovations in Automation, Robotics and Measurement Techniques (Advances in Intelligent Systems and Computing #550) 2111852 Roman Szewczyk Małgorzata Kaliczyńska Cezary Zieliński 9783319540429 2017 Contains images
Automation of Finite Element Methods 2110565 Peter Wriggers Jože Korelc 9783319390055 2016 Contains images
Automobile Engineering for Sixth Semester Mechanical Engineering 3295117 Nagaraja S Santhosh N Madhusudhan M. 2018 Contains images Contains image descriptions
Automorphic Forms: Research in Number Theory from Oman (Springer Proceedings in Mathematics & Statistics #115) 2105900 Tomoyoshi Ibukiyama Bernhard Heim Mehiddin Al-Baali Florian Rupp 9783319113524 2014 Contains images
Automorphic Forms and Even Unimodular Lattices: Kneser Neighbors of Niemeier Lattices (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics #69) 2462435 Gaëtan Chenevier Jean Lannes 9783319958910 2019 Contains images
Automorphic Forms and Galois Representations: Volume 1 942609 Fred Diamond Payman L. Kassaei Minhyong Kim 9781316055236 2014 Contains images
Automorphic Forms and Galois Representations: Volume 2 942610 Fred Diamond Payman L. Kassaei Minhyong Kim 9781316055243 2014 Contains images
Automorphic Representations and L-Functions for the General Linear Group 671169 Dorian Goldfeld Joseph Hundley 9781139635912 2011 Contains images

Refine Search

Showing 2,526 through 2,550 of 27,785 results