Limit Search Results
Author
SpringerLink (Online service)
(508)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(11)
Legay, Axel. editor.
(7)
Artho, Cyrille. editor.
(5)
Language
English
(580)
Publication Date
-
Subject
Software engineering.
(277)
Computer science.
(266)
Computer Science Logic and Foundations of Programming.
(231)
Artificial intelligence.
(186)
Computer logic.
(161)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
580 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Application of graph rewriting to natural language processing
Application of graph rewriting to natural language processing
Author 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Preferred Shelf Number 
P98
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Author 
Pejrolo, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
Author 
Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
Author 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Author 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Preferred Shelf Number 
QA 76.9.M35 W67 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
54. 
Cover image for Security technologies for law enforcement agencies
Security technologies for law enforcement agencies
Author 
Duraklar, Kazım author.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003597445
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Handbook of intelligent automation systems using computer vision and artificial intelligence
Handbook of intelligent automation systems using computer vision and artificial intelligence
Preferred Shelf Number 
T59.5 .H36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302734
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mastering Grid Computing : Scheduling and Resource Management
Mastering Grid Computing : Scheduling and Resource Management
Author 
Ankita, editor Sahana, Sudip Kumar, editor.
Preferred Shelf Number 
HD38.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for AI-Enabled Threat Intelligence and Cyber Risk Assessment
AI-Enabled Threat Intelligence and Cyber Risk Assessment
Author 
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Intelligent Computing and Networking Proceedings of IC-ICN 2024
Intelligent Computing and Networking Proceedings of IC-ICN 2024
Author 
Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Author 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Author 
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets