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