Limit Search Results
Author
SpringerLink (Online service)
(22)
Galatos, Nikolaos.
(2)
Abe, Jair Minoro. author.
(1)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Language
Publication Date
-
Subject
Algebraic logic.
(13)
Algebra.
(7)
Computer science -- Mathematics.
(6)
Computer science.
(6)
Machine theory.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for BCC-ALGEBRAS
BCC-ALGEBRAS
Author 
Thomys, Janus.
Preferred Shelf Number 
QA10
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003331568
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used
Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used
Author 
Domingo, George, 1937- author.
Preferred Shelf Number 
TK7871.85 .D66 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Geographic data imperfection. 1, From theory to applications
Geographic data imperfection. 1, From theory to applications
Author 
Batton-Hubert, Mireille, editor. Desjardin, Eric, editor. Pinet, Francois, 1973- editor.
Preferred Shelf Number 
G70.217 .G46
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507284
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for An introduction to proof through real analysis
An introduction to proof through real analysis
Author 
Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.
Preferred Shelf Number 
QA9.54 .M335 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Author 
Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Author 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53132-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Author 
Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action