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
Select an Action
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 Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Numbers and Computers
Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
Select an Action