Limit Search Results
Author
SpringerLink (Online service)
(48)
Project Muse.
(5)
Passman, Donald S., 1940-
(3)
Fuchs, László.
(2)
Halldórsson, Magnús M. editor.
(2)
Language
Publication Date
-
Subject
Mathematics.
(20)
Differential equations, partial.
(10)
Infinite.
(5)
Mathematical physics.
(5)
Differentiable dynamical systems.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
117 Results Found Subscribe to search results
000000000000DEFAULT
Print
85. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520404.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Author 
Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521217.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45286-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Author 
Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520955.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33180-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Dostoevsky and the epileptic mode of being
Dostoevsky and the epileptic mode of being
Author 
Fung, Paul, author.
Preferred Shelf Number 
PG3328.Z6 F86 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
92. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519031.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Author 
Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519049.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Author 
Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519119.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action