Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Author 
Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96418-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Author 
Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08434-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Author 
Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22673-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Rapid urban environmental assesment : lessons from cities in the developing world
Rapid urban environmental assesment : lessons from cities in the developing world
Author 
Leitmann, Josef.
Preferred Shelf Number 
GE 160.D44 L45
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Beton Kalender 2021 : Fertigteile, Integrale Bauwerke
Beton Kalender 2021 : Fertigteile, Integrale Bauwerke
Author 
Bergmeister, Konrad, editor. Fingerloos, Frank, editor. Wörner, Johann Dietrich, editor.
Preferred Shelf Number 
TA683.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783433610206
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Carbon dioxide sensing : fundamentals, principles, and applications
Carbon dioxide sensing : fundamentals, principles, and applications
Author 
Gerlach, Gerald, editor. Guth, Ulrich, editor. Oelssner, Wolfram, editor.
Preferred Shelf Number 
QD181 .C1
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527688302
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets