Limit Search Results
Author
SpringerLink (Online service)
(28)
Barneva, Reneta P. editor.
(7)
Brimkov, Valentin E. editor.
(6)
Wiley InterScience (Online service)
(5)
Buarque, Fernando. editor.
(3)
Language
Publication Date
-
Subject
Combinatorial analysis.
(44)
Combinatorial analysis -- Congresses.
(12)
Electronic books.
(10)
Combinatorial chemistry.
(7)
Computer graphics.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
127 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Author 
Li, Minming. editor. Sun, Xiaoming. editor. Wu, Xiaowei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39344-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Author 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for System Analysis and Artificial Intelligence
System Analysis and Artificial Intelligence
Author 
Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37450-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Author 
Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Enzyme engineering : selective catalysts for applications in biotechnology, organic chemistry, and life science
Enzyme engineering : selective catalysts for applications in biotechnology, organic chemistry, and life science
Author 
Reetz, Manfred T., author. Sun, Zhoutong, author. Qu, Ge, author.
Preferred Shelf Number 
TP248.65 .E59 R44 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527836895
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Symbolic approaches to modeling and analysis of biological systems
Symbolic approaches to modeling and analysis of biological systems
Author 
Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Preferred Shelf Number 
QH324.2 .S96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Combinatorial Nullstellensatz : with applications to graph colouring
Combinatorial Nullstellensatz : with applications to graph colouring
Author 
Zhu, Xuding, author. Balakrishnan, R. (Rangaswami), author.
Preferred Shelf Number 
QA164
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003138679
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for DNA- and RNA-based computing systems
DNA- and RNA-based computing systems
Author 
Katz, Evgeny, editor.
Preferred Shelf Number 
QA76.887 .D53 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets