← К обзору библиотеки

Domain · books

Книги

Каталог изданий с метаданными.

Префиксный поиск по русскому/оригинальному названию и году.

Сбросить

Все дополнительные условия работают вместе: книга должна подходить под каждый выбранный фильтр.

Введите текст для поиска — всего 1 602 значений.

Введите текст для поиска — всего 44 471 значений.

Введите текст для поиска — всего 1 547 значений.

Показаны первые 200 из 276 — уточните запрос.

Показано 100 из 83,56 тыс. записей

idНазвание (RU)НазваниеГодСтраницУровеньРелигиознаяНа сайтеДовериеИздательКатегорияЯзыкСтранаБлоков контентаЕсть контентЕсть оглавлениеактивна
5757673—Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings2007—1нетда0Springer—английский язык—0нетнетда
5724770—Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings2009—1нетда0Springer—английский язык—0нетнетда
7119026—Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings2017—1нетда0Springer—английский язык—0нетнетда
8156564—Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, 12699)2021—1нетда0Springer—английский язык—0нетнетда
5739106—Automated deduction in classical and non-classical logics: selected papers2000—1нетда0Springer—английский язык—0нетнетда
5254827—Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers2008—1нетда0Springer—английский язык—0нетнетда
8693571—Automated Design of Electrical Converters with Advanced AI Algorithms2023—1нетда0Springer—английский язык—0нетнетда
8025665—Automated Design of Machine Learning and Search Algorithms2021—1нетда0Springer—английский язык—0нетнетда
7585127—Automated Electronic Filter Design2017—1нетда0Springer—английский язык—0нетнетда
8165945—Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation with Drones2021—1нетда0Springer—английский язык—0нетнетда
9339368—Automated Machine Learning: Methods, Systems, Challenges (The Springer Series on Challenges in Machine Learning)2019—1нетда0Springer—английский язык—0нетнетда
7774669—Automated methods in cryptographic fault analysis2019—1нетда0Springer—английский язык—0нетнетда
6112699—Automated Model Building2004—1нетда0Springer—английский язык—0нетнетда
6117019—Automated Model Building2004—1нетда0Springer—английский язык—0нетнетда
5216601—Automated nanohandling by microrobots2008—1нетда0Springer—английский язык—0нетнетда
9143501—Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science, 7788)2013—1нетда0Springer—английский язык—0нетнетда
5205578—Automated Reasoning International Joint Conference IJCAR20082008—1нетда0Springer—английский язык—0нетнетда
8131027—Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings2021—1нетда0Springer—английский язык—0нетнетда
9041681—Automated Software Engineering: A Deep Learning-Based Approach (Learning and Analytics in Intelligent Systems, 8)——1нетда0Springer—английский язык—0нетнетда
5916627—Automated solution of differential equations by the finite element method : the FEniCS book2012—1нетда0Springer—английский язык—0нетнетда
8494276—Automated Taxonomy Discovery and Exploration2022—1нетда0Springer—английский язык—0нетнетда
8118976—Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings2021—1нетда0Springer—английский язык—0нетнетда
9254067—Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings2023—1нетда0Springer—английский язык—0нетнетда
9255630—Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings2023—1нетда0Springer—английский язык—0нетнетда
5863854—Automated theorem proving in software engineering2001—1нетда0Springer—английский язык—0нетнетда
5111493—Automatic Autocorrelation and Spectral Analysis2006—1нетда0Springer—английский язык—0нетнетда
5111494—Automatic Autocorrelation and Spectral Analysis2006—1нетда0Springer—английский язык—0нетнетда
5112019—Automatic Autocorrelation and Spectral Analysis2006—1нетда0Springer—английский язык—0нетнетда
5180232—Automatic Autocorrelation and Spectral Analysis2006—1нетда0Springer—английский язык—0нетнетда
5604963—Automatic Autocorrelation and Spectral Analysis2006—1нетда0Springer—английский язык—0нетнетда
5916859—Automatic calibration and reconstruction for active vision systems2012—1нетда0Springer—английский язык—0нетнетда
9222059—Automatic Control and Emerging Technologies: Proceedings of ACET 20232024—1нетда0Springer—английский язык—0нетнетда
9222061—Automatic Control and Emerging Technologies: Proceedings of ACET 20232024—1нетда0Springer—английский язык—0нетнетда
8245512—Automatic Control Systems: With MATLAB2022—1нетда0Springer—английский язык—0нетнетда
7515457—Automatic Control with Experiments2018—1нетда0Springer—английский язык—0нетнетда
9206408—Automatic Control with Experiments (Advanced Textbooks in Control and Signal Processing)2018—1нетда0Springer—английский язык—0нетнетда
9317971—Automatic Control with Experiments (Advanced Textbooks in Control and Signal Processing)2024—1нетда0Springer—английский язык—0нетнетда
8757831—Automatic Control with Interactive Tools2023—1нетда0Springer—английский язык—0нетнетда
5389164—Automatic Differentiation: Applications, Theory, and Implementations2006—1нетда0Springer—английский язык—0нетнетда
7644733—Automatic digital document processing and management: problems, algorithms and techniques2011—1нетда0Springer—английский язык—0нетнетда
5623938—Automatic Fingerprint Recognition Systems2003—1нетда0Springer—английский язык—0нетнетда
9453857—Automatic Fingerprint Recognition Systems2003—1нетда0Springer—английский язык—0нетнетда
5608543—Automatic Indexing and Abstracting of Document Texts (THE KLUWER INTERNATIONAL SERIES ON INFORMATION RETRIEVAL Volume 6) (The Information Retrieval Series)2000—1нетда0Springer—английский язык—0нетнетда
7147763—Automatic Labeling Affective Scenes in Spoken Conversations2018—1нетда0Springer—английский язык—0нетнетда
9170148—Automatic Language Identification in Texts2024—1нетда0Springer—английский язык—0нетнетда
5264521—Automatic Layout Modification: Including Design Reuse of the Alpha CPU in 0.13 Micron SOI Technology2002—1нетда0Springer—английский язык—0нетнетда
5916143—Automatic nonuniform random variate generation2004—1нетда0Springer—английский язык—0нетнетда
5071688—Automatic Nonuniform Random Variate Generation2004—1нетда0Springer—английский язык—0нетнетда
8162970—Automatic Nonuniform Random Variate Generation2004—1нетда0Springer—английский язык—0нетнетда
5601722—Automatic Programming Applied to VLSI CAD Software: A Case Study1990—1нетда0Springer—английский язык—0нетнетда
9096945—Automatic Programming Applied to VLSI CAD Software: A Case Study (The Springer International Series in Engineering and Computer Science, 101)2011—1нетда0Springer—английский язык—0нетнетда
5001570—Automatic Quantum Computer Programming2004—1нетда0Springer—английский язык—0нетнетда
5893798—Automatic Quantum Computer Programming2007—1нетда0Springer—английский язык—0нетнетда
7342118—Automatic quantum computer programming. A genetic programming approach2004—1нетда0Springer—английский язык—0нетнетда
5539463—Automatic Quantum Computer Programming: A Genetic Programming Approach (Genetic Programming)2006—1нетда0Springer—английский язык—0нетнетда
6403705—Automatic speech recognition. A deep learning approach2015—1нетда0Springer—английский язык—0нетнетда
7081306—Automatic Speech Recognition A Deep Learning Approach2014—1нетда0Springer—английский язык—0нетнетда
7175024—Automatic Syntactic Analysis based on Selectional Preferences2018—1нетда0Springer—английский язык—0нетнетда
5909558—Automatic trend estimation2012—1нетда0Springer—английский язык—0нетнетда
5916863—Automatic trend estimation2012—1нетда0Springer—английский язык—0нетнетда
8840495—Automatic Tuning of Compilers Using Machine Learning2017—1нетда0Springer—английский язык—0нетнетда
5437735—Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)2004—1нетда0Springer—английский язык—0нетнетда
8290314—Automating Cities: Design, Construction, Operation and Future Impact (Advances in 21st Century Human Settlements)2021—1нетда0Springer—английский язык—0нетнетда
8415452—Automating Crime Prevention, Surveillance, and Military Operations2021—1нетда0Springer—английский язык—0нетнетда
8124861—Automating Linguistics (History of Computing)2021—1нетда0Springer—английский язык—0нетнетда
8124862—Automating Linguistics (History of Computing)2021—1нетда0Springer—английский язык—0нетнетда
8622111—Automation 2023: Key Challenges in Automation, Robotics and Measurement Techniques2023—1нетда0Springer—английский язык—0нетнетда
8508477—Automation and Basic Techniques in Medical Microbiology2022—1нетда0Springer—английский язык—0нетнетда
9188202—Automation and Innovation with Computational Techniques for Futuristic Smart, Safe and Sustainable Manufacturing Processes2023—1нетда0Springer—английский язык—0нетнетда
8177316—Automation and Robotics in the Architecture, Engineering, and Construction Industry2022—1нетда0Springer—английский язык—0нетнетда
7115439—Automation of Finite Element Methods2016—1нетда0Springer—английский язык—0нетнетда
6348727—Automatisierungstechnik - Algorithmen und Programme: Entwurf Und Programmierung Von Automatisierungssystemen2013—1нетда0Springer———0нетнетда
5774114—Automatisierung von Führungsentscheidungen: Framework, Modellierung und Prototyp2011—1нетда0Springer———0нетнетда
5397241—Automorphe Formen2010—1нетда0Springer———0нетнетда
7644510—Automorphic forms2013—1нетда0Springer—английский язык—0нетнетда
5003710—Automorphic forms on GL(2)1972—1нетда0Springer—английский язык—0нетнетда
5072636—Automorphic Forms on GL(2)1970—1нетда0Springer—английский язык—0нетнетда
5126413—Automorphic Forms on GL(2): Part 11970—1нетда0Springer—английский язык—0нетнетда
5062142—Automorphic Forms on GL(2) (part 2)1972—1нетда0Springer—английский язык—0нетнетда
5072637—Automorphic Forms on GL(2) Part II1972—1нетда0Springer—английский язык—0нетнетда
5072179—Automorphic Forms on GL(3,R)1984—1нетда0Springer—английский язык—0нетнетда
5072533—Automorphic Forms on Semisimple Lie Groups1968—1нетда0Springer—английский язык—0нетнетда
7442004—Automorphic Forms, Representation Theory and Arithmetic1981—1нетда0Springer—английский язык—0нетнетда
5009997—Automorphic functions and number theory1968—1нетда0Springer—английский язык—0нетнетда
5057464—Automorphic Functions and Number Theory1968—1нетда0Springer—английский язык—0нетнетда
5073115—Automorphic Functions and Number Theory1968—1нетда0Springer—английский язык—0нетнетда
5059824—Automorphism Groups of Compact Bordered Klein Surfaces: A Combinatorial Approach1990—1нетда0Springer—английский язык—0нетнетда
9323876—Automotive Chassis Engineering2024—1нетда0Springer—английский язык—0нетнетда
8081221—Automotive Control: Modeling and Control of Vehicles2021—1нетда0Springer—английский язык—0нетнетда
8081222—Automotive Control: Modeling and Control of Vehicles2021—1нетда0Springer—английский язык—0нетнетда
5126417—Automotive Control Systems [electronic resource]: For Engine, Driveline, and Vehicle2005—1нетда0Springer—английский язык—0нетнетда
5264451—Automotive Control Systems: For Engine, Driveline, and Vehicle2005—1нетда0Springer———0нетнетда
8185773—Automotive Disruption and the Urban Mobility Revolution: Rethinking the Business Model 20302021—1нетда0Springer—английский язык—0нетнетда
5057202—Automotive Electromagnetic Compatibility2003—1нетда0Springer—английский язык—0нетнетда
5653177—Automotive Embedded Systeme: Effizfientes Framework - Vom Design zur Implementierung2005—1нетда0Springer———0нетнетда
8339862—Automotive Interaction Design: From Theory to Practice2022—1нетда0Springer—английский язык—0нетнетда
5161592—Automotive lighting and human vision2007—1нетда0Springer—английский язык—0нетнетда
6325143—Automotive Lighting and Human Vision2007—1нетда0Springer—английский язык—0нетнетда
7915672—Automotive Software Archetectures: An Introduction2021—1нетда0Springer—английский язык—0нетнетда
7915673—Automotive Software Archetectures: An Introduction2021—1нетда0Springer—английский язык—0нетнетда
← НазадВперёд →