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
29 Results Found Subscribe to search results
000000000000DEFAULT
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:
Go to:Search Results
|
Top of Page
|
Search Facets