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
00000DEFAULT
Print
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: