Limit Search Results
Author
SpringerLink (Online service)
(47)
Taylor and Francis.
(4)
Chen, Phoebe. editor.
(2)
Dang-Nguyen, Duc-Tien. editor.
(2)
Dao, Minh-Son. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(7)
Computer science.
(6)
Engineering.
(4)
Logic design.
(4)
Abstraction.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
88 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logical frameworks for truth and abstraction an axiomatic study
Logical frameworks for truth and abstraction an axiomatic study
Author 
Cantini, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The action of English comedy : studies in the encounter of abstraction and experience from Shakespeare to Shaw
The action of English comedy : studies in the encounter of abstraction and experience from Shakespeare to Shaw
Author 
Kaul, A. N.
Preferred Shelf Number 
PR 631 K3
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Abstraction and empathy : a conribution to the psychology of style
Abstraction and empathy : a conribution to the psychology of style
Author 
Worringer, Wilhelm, 1881-1965.
Preferred Shelf Number 
N 68 W613 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Experimental politics : work, welfare, and creativity in the neoliberal age
Experimental politics : work, welfare, and creativity in the neoliberal age
Author 
Lazzarato, M. (Maurizio). Bove, Arianna. Gilbert, Jeremy.
Preferred Shelf Number 
HD8039.E652 F8613 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Do numbers exist? : a debate about abstract objects
Do numbers exist? : a debate about abstract objects
Author 
Van Inwagen, Peter, author. Craig, William Lane, author.
Preferred Shelf Number 
QA241 .V36 2024 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003008712
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
Author 
Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Author 
Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26886-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Author 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Author 
Prevosto, Virgile. editor. Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38828-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Author 
Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Author 
Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Author 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action