Limit Search Results
Author
SpringerLink (Online service)
(92)
Rahman, Shahid. editor.
(4)
Gabbay, D.M.
(3)
Guenthner, F.
(3)
Balas, Valentina Emilia. editor.
(2)
Language
Publication Date
-
Subject
Logic.
(63)
Philosophy (General).
(61)
Computer science.
(20)
Logic, Symbolic and mathematical.
(18)
Linguistics -- Philosophy.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
112 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
Author 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
Author 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137041
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics for digital science. Volume 1, Fundamentals
Mathematics for digital science. Volume 1, Fundamentals
Author 
Cochard, Gerard-Michel, author Hifi, Mhand, author
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Author 
Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66159-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Sustainable cities in a changing climate : enhancing urban resilience
Sustainable cities in a changing climate : enhancing urban resilience
Author 
Al-Ghamdi, Sami G, editor.
Preferred Shelf Number 
HT241 .C5955 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394201532
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Building Construction Methods and Systems Principles, Requirements and Application Details
Building Construction Methods and Systems Principles, Requirements and Application Details
Author 
Sarı, Ramazan. author. Çalışkan, Ekrem Bahadır. author. (orcid)0000-0002-5258-2976 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50043-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Author 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Twisted logic : puzzles, paradoxes, and big questions
Twisted logic : puzzles, paradoxes, and big questions
Author 
Vaughan Williams, Leighton, author.
Preferred Shelf Number 
BC108
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003402862
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 General Reference Architecture Frameworks
General Reference Architecture Frameworks
Author 
Iordache, Octavian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70718-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action