Limit Search Results
Author
SpringerLink (Online service)
(18)
Bourbaki, Nicolas.
(2)
Hazewinkel, Michiel.
(2)
Lorenz, Falko.
(2)
Rowen, Louis Halle.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
00000000DEFAULT
Print
25. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Author 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520493.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Elements of Dimensionality Reduction and Manifold Learning
Elements of Dimensionality Reduction and Manifold Learning
Author 
Ghojogh, Benyamin. author. Crowley, Mark. author. Karray, Fakhri. author. Ghodsi, Ali. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520657.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-10602-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520944.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520890.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521025.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Teori ve çözümlü problemlerle Lineer cebir
Teori ve çözümlü problemlerle Lineer cebir
Author 
Pişkin, Erhan.
Preferred Shelf Number 
QA184.5 P5 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies: