Limit Search Results
Author
SpringerLink (Online service)
(27)
Alexandru, Andrei. author.
(1)
Andrei, Neculai. author.
(1)
Ayala-Rincón, Mauricio. author.
(1)
Bock, Hans Georg. editor.
(1)
Language
Publication Date
-
Subject
Mathematics.
(8)
Computer Science Logic and Foundations of Programming.
(7)
Computer science -- Mathematics.
(7)
Theory of Computation.
(6)
Logic design.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
00000000000000000000000000000DEFAULT
Print
1. 
Cover image for Functional Fractional Calculus
Functional Fractional Calculus
Author 
Das, Shantanu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20545-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Stochastic Network Calculus
Stochastic Network Calculus
Author 
Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Calculus for Computer Graphics
Calculus for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331205.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5466-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Fractional Calculus for Scientists and Engineers
Fractional Calculus for Scientists and Engineers
Author 
Ortigueira, Manuel Duarte. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0747-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Pattern Calculus Computing with Functions and Structures
Pattern Calculus Computing with Functions and Structures
Author 
Jay, Barry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89185-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Abstract Computing Machines A Lambda Calculus Perspective
Abstract Computing Machines A Lambda Calculus Perspective
Author 
Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138965
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55198-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Author 
Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Operator Calculus on Graphs Theory and Applications in Computer Science.
Operator Calculus on Graphs Theory and Applications in Computer Science.
Author 
Schott, Rene. Staples, G. Stacey.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Discrete Calculus Applied Analysis on Graphs for Computational Science
Discrete Calculus Applied Analysis on Graphs for Computational Science
Author 
Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-290-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for A Modular Calculus for the Average Cost of Data Structuring
A Modular Calculus for the Average Cost of Data Structuring
Author 
Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Author 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138337
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Informatics and machine learning : from Martingales to metaheuristics
Informatics and machine learning : from Martingales to metaheuristics
Author 
Winters-Hilt, Stephen, author.
Preferred Shelf Number 
Q325.5 .W558 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Space in Weak Propositional Proof Systems
Space in Weak Propositional Proof Systems
Author 
Bonacina, Ilario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73453-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Author 
Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization
Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization
Author 
Pham, Khanh D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331670.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Nonlinear Optimization Applications Using the GAMS Technology
Nonlinear Optimization Applications Using the GAMS Technology
Author 
Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Model Based Parameter Estimation Theory and Applications
Model Based Parameter Estimation Theory and Applications
Author 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number 
ONLINE(333324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Availability 
Online Library~1
Available:
Copies: