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

Domain · books

Книги

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

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

Сбросить

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

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

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

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

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

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

idНазвание (RU)НазваниеГодСтраницУровеньРелигиознаяНа сайтеДовериеИздательКатегорияЯзыкСтранаБлоков контентаЕсть контентЕсть оглавлениеактивна
9234026—Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)2007—1нетда0Springer—английский язык—0нетнетда
9233887—Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science, 5123)2008—1нетда0Springer—английский язык—0нетнетда
9234162—Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science, 7358)2012—1нетда0Springer—английский язык—0нетнетда
8345001—Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings2018—1нетда0Springer—английский язык—0нетнетда
7544294—Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I2020—1нетда0Springer—английский язык—0нетнетда
8344977—Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings2021—1нетда0Springer—английский язык—0нетнетда
8344978—Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings2021—1нетда0Springer—английский язык—0нетнетда
8747858—Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I2022—1нетда0Springer—английский язык—0нетнетда
9234481—Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)2022—1нетда0Springer—английский язык—0нетнетда
9234393—Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)2022—1нетда0Springer—английский язык—0нетнетда
9234263—Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)2023—1нетда0Springer—английский язык—0нетнетда
9233921—Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)2023—1нетда0Springer—английский язык—0нетнетда
9234432—Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)2023—1нетда0Springer—английский язык—0нетнетда
7419785—Computer Aided Writing2020—1нетда0Springer—английский язык—0нетнетда
5001018—Computeralgebra2006—1нетда0Springer———0нетнетда
5179278—Computeralgebra2004—1нетда0Springer———0нетнетда
7142645—Computeralgebra2005—1нетда0Springer———0нетнетда
8009407—Computer Algebra: An Algorithm-Oriented Introduction2021—1нетда0Springer—английский язык—0нетнетда
7142646—Computeralgebra. Eine algorithmisch orientierte Einführung2006—1нетда0Springer———0нетнетда
7142935—Computeralgebra. Eine algorithmisch orientierte Einführung2006—1нетда0Springer———0нетнетда
5863707—Computer Algebra Handbook: Foundations, Applications, Systems2003—1нетда0Springer—английский язык—0нетнетда
7342259—Computer algebra in scientific computing: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings2018—1нетда0Springer—английский язык—0нетнетда
8039133—Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings (Lecture Notes in Computer Science, 12865)2021—1нетда0Springer—английский язык—0нетнетда
9233899—Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings (Theoretical Computer Science and General Issues)2021—1нетда0Springer—английский язык—0нетнетда
8334341—Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings2022—1нетда0Springer—английский язык—0нетнетда
9233589—Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings (Lecture Notes in Computer Science)2022—1нетда0Springer—английский язык—0нетнетда
9117309—Computer Algebra in Scientific Computing. 25th International Workshop, CASC 2023 Havana, Cuba, August 28 – September 1, 2023 Proceedings2023—1нетда0Springer—английский язык—0нетнетда
9139361—Computer Algebra Methods for Equivariant Dynamical Systems (Lecture Notes in Mathematics, 1728)2000—1нетда0Springer—английский язык—0нетнетда
7116287—Computer algebra recipes: a gourmet's guide to the mathematical models of science2001—1нетда0Springer—английский язык—0нетнетда
5016562—Computer Algebra Recipes: An Advanced Guide to Scientific Modeling2007—1нетда0Springer—английский язык—0нетнетда
5178158—Computer Algebra Recipes: An Advanced Guide to Scientific Modeling2007—1нетда0Springer—английский язык—0нетнетда
5178159—Computer Algebra Recipes: An Advanced Guide to Scientific Modeling2007—1нетда0Springer—английский язык—0нетнетда
5591291—Computer algebra recipes: An introductory guide2006—1нетда0Springer—английский язык—0нетнетда
5108498—Computer algebra recipes. An introductory guide to the mathematical models of science2006—1нетда0Springer—английский язык—0нетнетда
7242130—Computer Algebra Recipes. An Introductory Guide to the Mathematical Models of Science2006—1нетда0Springer—английский язык—0нетнетда
6043631—Computer Algebra Recipes: An Introductory Guide to the Mathematical Models of Science2006—1нетда0Springer—английский язык—0нетнетда
7184343—Computer Algebra Recipes: An Introductory Guide to the Mathematical Models of Science2006—1нетда0Springer—английский язык—0нетнетда
5590701—Computer Algebra: Symbolic and Algebraic Computation1983—1нетда0Springer—английский язык—0нетнетда
7116937—Computer Algebra: Symbolic and Algebraic Computation1982—1нетда0Springer—английский язык—0нетнетда
9236321—Computer Analysis of Human Behavior2011—1нетда0Springer—английский язык—0нетнетда
5666360—Computer Analysis of Images and Patterns: 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, Proceedings2007—1нетда0Springer—английский язык—0нетнетда
8130647—Computer Analysis of Images and Patterns. 19th International Conference, CAIP 2021 Virtual Event, September 28–30, 2021 Proceedings2022—1нетда0Springer—английский язык—0нетнетда
8113637—Computer Analysis of Images and Patterns: 19th International Conference, CAIP 2021, Virtual Event, September 28–30, 2021, Proceedings, Part I2021—1нетда0Springer—английский язык—0нетнетда
8113638—Computer Analysis of Images and Patterns: 19th International Conference, CAIP 2021, Virtual Event, September 28–30, 2021, Proceedings, Part I2021—1нетда0Springer—английский язык—0нетнетда
9236582—Computer Analysis of Images and Patterns: 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25–28, 2023, Proceedings2023—1нетда0Springer—английский язык—0нетнетда
9234711—Computer Analysis of Images and Patterns: 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25–28, 2023, Proceedings, Part II (Lecture Notes in Computer Science)2023—1нетда0Springer—английский язык—0нетнетда
9234611—Computer Analysis of Images and Patterns: 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001 Proceedings (Lecture Notes in Computer Science, 2124)2001—1нетда0Springer—английский язык—0нетнетда
9234630—Computer and Communication Engineering: 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers (Communications in Computer and Information Science)2022—1нетда0Springer—английский язык—0нетнетда
9234479—Computer and Communication Engineering: Third International Conference, CCCE 2023, Stockholm, Sweden, March 10–12, 2023, Revised Selected Papers (Communications in Computer and Information Science)2023—1нетда0Springer—английский язык—0нетнетда
5108229—Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology)2009—1нетда0Springer—английский язык—0нетнетда
5109585—Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology)2009—1нетда0Springer—английский язык—0нетнетда
9234287—Computer and Computing Technologies in Agriculture IV: 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Part II, Selected ... and Communication Technology, 345)2011—1нетда0Springer—английский язык—0нетнетда
9234474—Computer and Computing Technologies in Agriculture IV: 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, ... and Communication Technology, 344)2011—1нетда0Springer—английский язык—0нетнетда
9234456—Computer and Computing Technologies in Agriculture IV: 4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, ... and Communication Technology, 346)2011—1нетда0Springer—английский язык—0нетнетда
6388838—Computer and Information Science2013—1нетда0Springer—английский язык—0нетнетда
8505261—Computer and Information Science2022—1нетда0Springer—английский язык—0нетнетда
8634547—Computer and Information Science2023—1нетда0Springer—английский язык—0нетнетда
9234403—Computer and Information Science 2021 - Fall (Studies in Computational Intelligence, 1003)2021—1нетда0Springer—английский язык—0нетнетда
9233015—Computer and Information Science 2021―Summer (Studies in Computational Intelligence, 985)2021—1нетда0Springer—английский язык—0нетнетда
7519190—Computer and Information Science (Studies in Computational Intelligence)2014—1нетда0Springer—английский язык—0нетнетда
9234273—Computer and Information Science (Studies in Computational Intelligence, 493)2013—1нетда0Springer—английский язык—0нетнетда
7118410—Computer and Network Security Essentials2018—1нетда0Springer—английский язык—0нетнетда
7810428—Computer Animation and Social Agents: 33rd International Conference on Computer Animation and Social Agents, CASA 2020, Bournemouth, UK, October 13-15, 2020, Proceedings2020—1нетда0Springer—английский язык—0нетнетда
9234542—Computer Applications: 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16–20, 2023, Proceedings2023—1нетда0Springer—английский язык—0нетнетда
9234846—Computer Applications: 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16–20, 2023, Proceedings2023—1нетда0Springer—английский язык—0нетнетда
5169907—Computer Applications in Sustainable Forest Management Including Perspectives on Collaboration and I2006—1нетда0Springer—английский язык—0нетнетда
8132852—Computer Architecture and Organization: Fundamentals and Architecture Security2021—1нетда0Springer—английский язык—0нетнетда
8132853—Computer Architecture and Organization: Fundamentals and Architecture Security2021—1нетда0Springer—английский язык—0нетнетда
9236239—Computer Architecture and Organization: Fundamentals and Architecture Security2021—1нетда0Springer—английский язык—0нетнетда
9345373—Computer Architecture and Organization: Fundamentals and Architecture Security2021—1нетда0Springer—английский язык—0нетнетда
5207601—Computer Architecture, Complexity and Correctness2010—1нетда0Springer—английский язык—0нетнетда
6110270—Computer Arithmetic: Algorithms and Hardware Implementations2012—1нетда0Springer—английский язык—0нетнетда
7119386—Computer assisted and robotic endoscopy and clinical image-based procedures : 4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, proceedings2017—1нетда0Springer—английский язык—0нетнетда
9422932—Computer Assisted Eye Motility Diagnostics2024—1нетда0Springer—английский язык—0нетнетда
8754964—Computer Assisted Music and Dramatics: Possibilities and Challenges2023—1нетда0Springer—английский язык—0нетнетда
5132313—Computer Based Design and Manufacturing2006—1нетда0Springer—английский язык—0нетнетда
5392741—Computer Based Design and Manufacturing2006—1нетда0Springer—английский язык—0нетнетда
9236170—Computer-Based Diagnostics and Systematic Analysis of Knowledge2010—1нетда0Springer—английский язык—0нетнетда
5907897—Computer-based dietary menu planning : how to support it by complex knowledge?2010—1нетда0Springer—английский язык—0нетнетда
8628045—Computer, Communication, and Signal Processing: 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24–25, 2022, Revised Selected Papers2022—1нетда0Springer—английский язык—0нетнетда
9110030—Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems. 7th IFIP TC 12 International Conference, ICCCSP 2023 Chennai, India, January 4–6, 2023 Revised Selected Papers2023—1нетда0Springer—английский язык—0нетнетда
6683223—Computer Communication, Networking and Internet Security. Proceedings of IC3T 20162017—1нетда0Springer—английский язык—0нетнетда
8684900—Computer Communication, Networking and Internet Security: Proceedings of IC3T 20162017—1нетда0Springer—английский язык—0нетнетда
8403993—Computer Communication, Networking and IoT: Proceedings of 5th ICICC 2021, Volume 22022—1нетда0Springer—английский язык—0нетнетда
9234574—Computer Communication, Networking and IoT: Proceedings of ICICC 20202021—1нетда0Springer—английский язык—0нетнетда
5171372—Computer Engineering in Applied Electromagnetism2005—1нетда0Springer—английский язык—0нетнетда
9236331—Computer Engineering in Applied Electromagnetism2005—1нетда0Springer—английский язык—0нетнетда
6681002—Computer Games2017—1нетда0Springer—английский язык—0нетнетда
8003628—Computer Games: 7th Workshop, CGW 2018 Held in Conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018 Stockholm, Sweden, July 13, 2018: Revised Selected Papers2019—1нетда0Springer—английский язык—0нетнетда
9233461—Computer Games and New Media Cultures: A Handbook of Digital Games Studies2012—1нетда0Springer—английский язык—0нетнетда
7530915—Computer Games: Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI ... Computer and Information Science, Band 408)2014—1нетда0Springer—английский язык—0нетнетда
5306247—Computergrafik: Ästhetische Experimente zwischen zwei Kulturen. Die Anfänge der Computerkunst in den 1960er Jahren (German Edition)2007—1нетда0Springer———0нетнетда
5001046—Computer graphics and geometric modeling: implementation and algorithms2005—1нетда0Springer—английский язык—0нетнетда
5316236—Computer Graphics and Geometric Modeling. Implementation and Algorithms (program code)2005—1нетда0Springer—английский язык—0нетнетда
5001047—Computer Graphics and Geometric Modeling. Mathematics2005—1нетда0Springer—английский язык—0нетнетда
5212848—Computer Graphics and Geometric Modeling. Mathematics2005—1нетда0Springer—английский язык—0нетнетда
5052574—Computer Graphics and Geometric Modelling2005—1нетда0Springer—английский язык—0нетнетда
8600777—Computer Graphics and Geometric Modelling: Implementation & Algorithms2005—1нетда0Springer—английский язык—0нетнетда
9162295—Computer Graphics and Geometric Modelling: Implementation & Algorithms2005—1нетда0Springer—английский язык—0нетнетда
5353434—Computer Graphics and Geometric Modelling: Implementation & Algorithms v. 12005—1нетда0Springer—английский язык—0нетнетда
← НазадВперёд →