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
|
Sara Negri
Anupam Das
|
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
|
Josef Urban
Revantha Ramanayake
|
9783031435133 |
2023 |
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: 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: 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
|
Stephan Schulz
Didier Galmiche
Roberto Sebastiani
|
9783319942056 |
2018 |
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
|
Javier Esparza
Yu-Fang Chen
Chih-Hong Cheng
|
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
|
Krister Lindén
Marcos Zampieri
Tommi Jauhiainen
Timothy Baldwin
|
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 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 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 Representations and L-Functions for the General Linear Group
671169
|
Dorian Goldfeld
Joseph Hundley
|
9781139635912 |
2011 |
Contains images
|
|
Automorphisms and Equivalence Relations in Topological Dynamics
843156
|
Robert Ellis
David B. Ellis
|
9781139949774 |
2014 |
Contains images
|
|
Automorphisms in Birational and Affine Geometry: Levico Terme, Italy, October 2012 (Springer Proceedings in Mathematics & Statistics #79)
2105218
|
James Mckernan
Ivan Cheltsov
Ciro Ciliberto
Hubert Flenner
Yuri G. Prokhorov
Mikhail Zaidenberg
|
9783319056814 |
2014 |
Contains images
|
|
Automorphisms of Finite Groups (Springer Monographs in Mathematics)
2369069
|
Manoj Kumar Yadav
Inder Bir Passi
Mahender Singh
|
9789811328954 |
2018 |
Contains images
|
|
Automotive Science and Mathematics
4503942
|
Allan Bonnick
|
9781136427619 |
2008 |
Contains images
|
|
Autonomic Computing in Cloud Resource Management in Industry 4.0 (EAI/Springer Innovations in Communication and Computing)
4234163
|
Nguyen Gia Nhu
Tanupriya Choudhury
Ravi Tomar
Teoh Teik Toe
Bhupesh Kumar Dewangan
Bhupesh Kumar Singh
|
9783030717568 |
2021 |
Contains images
|
|