Limit Search Results
Author
Andrade, Carmen. editor.
(3)
Barai, Sudhirkumar V. author.
(2)
Garau, Chiara. editor. (orcid)
(2)
Gervasi, Osvaldo. editor. (orcid)
(2)
Gulikers, Joost. editor.
(2)
Language
Publication Date
-
Subject
Building construction.
(19)
Materials.
(16)
Engineering.
(15)
Mechanics.
(15)
Structural materials.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Concrete Functional Calculus
Concrete Functional Calculus
Author 
Dudley, R. M. author. Norvaiša, R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6950-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Recycled Aggregate Concrete Structures
Recycled Aggregate Concrete Structures
Author 
Xiao, Jianzhuang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53987-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Concrete Structures in Earthquake
Concrete Structures in Earthquake
Author 
Hsu, Thomas T. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design of Reinforced Concrete Silo Groups
Design of Reinforced Concrete Silo Groups
Author 
Silva, Fernando A.N. author. (orcid)0000-0003-4471-4294 Horowitz, Bernardo. author. Delgado, João M.P.Q. author. Azevedo, António C. author. (orcid)0000-0003-4530-9880 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13621-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook on Concrete Block Paving
Handbook on Concrete Block Paving
Author 
Mampearachchi, Wasantha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8417-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Concrete Construction Practical Problems and Solutions
Concrete Construction Practical Problems and Solutions
Author 
Surahyo, Akhtar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10510-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Prestressed Concrete Building, Design, and Construction
Prestressed Concrete Building, Design, and Construction
Author 
Dolan, Charles W. author. Hamilton, H. R. (Trey). author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97882-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Proceedings of Italian Concrete Days 2016
Proceedings of Italian Concrete Days 2016
Author 
di Prisco, Marco. editor. Menegotto, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78936-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Author 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Concrete Fracture Models and Applications
Concrete Fracture Models and Applications
Author 
Kumar, Shailendra. author. Barai, Sudhirkumar V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Numerical Modeling of Concrete Cracking
Numerical Modeling of Concrete Cracking
Author 
Hofstetter, Günter. editor. Meschke, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for A Concrete Approach to Classical Analysis
A Concrete Approach to Classical Analysis
Author 
Muresan, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/ 978-0-387-78933-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for A Concrete Introduction to Higher Algebra
A Concrete Introduction to Higher Algebra
Author 
Childs, Lindsay N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74725-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Creep and Hygrothermal Effects in Concrete Structures
Creep and Hygrothermal Effects in Concrete Structures
Author 
Bažant, Zdeněk P. author. Jirásek, Milan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-1138-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Waste Materials and By-Products in Concrete
Waste Materials and By-Products in Concrete
Author 
Siddique, Rafat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74294-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520401.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Put some Concrete in your Breakfast: Tales from Contemporary Nursing Building Resilience, Empathy and Confidence within a Challenging Profession
Put some Concrete in your Breakfast: Tales from Contemporary Nursing Building Resilience, Empathy and Confidence within a Challenging Profession
Author 
Kabaila, Rasa. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521572.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24393-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Electro-discharge Technology for Drilling Wells and Concrete Destruction
Electro-discharge Technology for Drilling Wells and Concrete Destruction
Author 
Ushakov, V. Ya. author. Vajov, V. F. author. Zinoviev, N. T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Physical Properties and Behaviour of High-Performance Concrete at High Temperature State-of-the-Art Report of the RILEM Technical Committee 227-HPB
Physical Properties and Behaviour of High-Performance Concrete at High Temperature State-of-the-Art Report of the RILEM Technical Committee 227-HPB
Author 
Pimienta, Pierre. editor. Jansson McNamee, Robert. editor. Mindeguia, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95432-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Systematic Approach of Characterisation and Behaviour of Recycled Aggregate Concrete
Systematic Approach of Characterisation and Behaviour of Recycled Aggregate Concrete
Author 
Rao, M. Chakradhara. author. Bhattacharyya, Sriman Kumar. author. Barai, Sudhirkumar V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6686-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Service Life and Durability of Reinforced Concrete Structures Selected Papers of the 8th International RILEM PhD Workshop held in Marne-la-Vallée, France, September 26-27, 2016
Service Life and Durability of Reinforced Concrete Structures Selected Papers of the 8th International RILEM PhD Workshop held in Marne-la-Vallée, France, September 26-27, 2016
Author 
Andrade, Carmen. editor. Gulikers, Joost. editor. Marie-Victoire, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for First RILEM International Conference on Concrete and Digital Fabrication – Digital Concrete 2018
First RILEM International Conference on Concrete and Digital Fabrication – Digital Concrete 2018
Author 
Wangler, Timothy. editor. Flatt, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99519-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Modelling of Concrete Behaviour at High Temperature State-of-the-Art Report of the RILEM Technical Committee 227-HPB
Modelling of Concrete Behaviour at High Temperature State-of-the-Art Report of the RILEM Technical Committee 227-HPB
Author 
Millard, Alain. editor. Pimienta, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11995-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Eurocode 2 Design Data for Reinforced Concrete Columns
Eurocode 2 Design Data for Reinforced Concrete Columns
Author 
Tan, Kar Chun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6841-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Thermal Cracking of Massive Concrete Structures State of the Art Report of the RILEM Technical Committee 254-CMS
Thermal Cracking of Massive Concrete Structures State of the Art Report of the RILEM Technical Committee 254-CMS
Author 
Fairbairn, Eduardo M.R. editor. Azenha, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76617-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for International Congress on Polymers in Concrete (ICPIC 2018) Polymers for Resilient and Sustainable Concrete Infrastructure
International Congress on Polymers in Concrete (ICPIC 2018) Polymers for Resilient and Sustainable Concrete Infrastructure
Author 
Taha, Mahmoud M. Reda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78175-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Thermal Elastic Mechanics Problems of Concrete Rectangular Thin Plate
Thermal Elastic Mechanics Problems of Concrete Rectangular Thin Plate
Author 
Cheng, Xuansheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4472-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for High Tech Concrete: Where Technology and Engineering Meet Proceedings of the 2017 fib Symposium, held in Maastricht, The Netherlands, June 12-14, 2017
High Tech Concrete: Where Technology and Engineering Meet Proceedings of the 2017 fib Symposium, held in Maastricht, The Netherlands, June 12-14, 2017
Author 
Hordijk, D.A. editor. Luković, M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59471-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Stringer-Panel Models in Structural Concrete Applied to D-region Design
Stringer-Panel Models in Structural Concrete Applied to D-region Design
Author 
Blaauwendraad, Johan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Properties of Fresh and Hardened Concrete Containing Supplementary Cementitious Materials State-of-the-Art Report of the RILEM Technical Committee 238-SCM, Working Group 4
Properties of Fresh and Hardened Concrete Containing Supplementary Cementitious Materials State-of-the-Art Report of the RILEM Technical Committee 238-SCM, Working Group 4
Author 
De Belie, Nele. editor. Soutsos, Marios  . editor. Gruyaert, Elke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Calcined Clays for Sustainable Concrete Proceedings of the 2nd International Conference on Calcined Clays for Sustainable Concrete
Calcined Clays for Sustainable Concrete Proceedings of the 2nd International Conference on Calcined Clays for Sustainable Concrete
Author 
Martirena, Fernando. editor. Favier, Aurélie. editor. Scrivener, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-1207-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Compressive Force-Path Method Unified Ultimate Limit-State Design of Concrete Structures
Compressive Force-Path Method Unified Ultimate Limit-State Design of Concrete Structures
Author 
Kotsovos, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mechanical Properties of Self-Compacting Concrete State-of-the-Art Report of the RILEM Technical Committee 228-MPS on Mechanical Properties of Self-Compacting Concrete
Mechanical Properties of Self-Compacting Concrete State-of-the-Art Report of the RILEM Technical Committee 228-MPS on Mechanical Properties of Self-Compacting Concrete
Author 
Khayat, Kamal H. editor. De Schutter, Geert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03245-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Simulation of Fresh Concrete Flow State-of-the Art Report of the RILEM Technical Committee 222-SCF
Simulation of Fresh Concrete Flow State-of-the Art Report of the RILEM Technical Committee 222-SCF
Author 
Roussel, Nicolas. editor. Gram, Annika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-8884-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Injection Technologies for the Repair of Damaged Concrete Structures
Injection Technologies for the Repair of Damaged Concrete Structures
Author 
Panasyuk, V.V. author. Marukha, V.I. author. Sylovanyuk, V.P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7908-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Recycled Aggregate in Concrete Use of Industrial, Construction and Demolition Waste
Recycled Aggregate in Concrete Use of Industrial, Construction and Demolition Waste
Author 
de Brito, Jorge. author. Saikia, Nabajyoti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331004.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Continuous and Discontinuous Modelling of Fracture in Concrete Using FEM
Continuous and Discontinuous Modelling of Fracture in Concrete Using FEM
Author 
Tejchman, Jacek. author. Bobiński, Jerzy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333186.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28463-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for System of Open Spaces Concrete Project Strategies for Urban Territories
System of Open Spaces Concrete Project Strategies for Urban Territories
Author 
Tardin, Raquel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331482.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4352-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Guide to Diagnosis and Appraisal of AAR Damage to Concrete in Structures Part 1 Diagnosis (AAR 6.1)
Guide to Diagnosis and Appraisal of AAR Damage to Concrete in Structures Part 1 Diagnosis (AAR 6.1)
Author 
Godart, Bruno. editor. de Rooij, Mario. editor. Wood, Jonathan G.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336273.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6567-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Innovative Materials and Techniques in Concrete Construction ACES Workshop
Innovative Materials and Techniques in Concrete Construction ACES Workshop
Author 
Fardis, Michael N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Modeling Concrete Service Life Proceedings of 4th International RILEM PhD Workshop held in Madrid, Spain, November19, 2010
Advances in Modeling Concrete Service Life Proceedings of 4th International RILEM PhD Workshop held in Madrid, Spain, November19, 2010
Author 
Andrade, Carmen. editor. Gulikers, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2703-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Application of Super Absorbent Polymers (SAP) in Concrete Construction State-of-the-Art Report Prepared by Technical Committee 225-SAP
Application of Super Absorbent Polymers (SAP) in Concrete Construction State-of-the-Art Report Prepared by Technical Committee 225-SAP
Author 
Mechtcherine, Viktor. editor. Reinhardt, Hans-Wolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2733-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Non-Destructive Assessment of Concrete Structures: Reliability and Limits of Single and Combined Techniques State-of-the-Art Report of the RILEM Technical Committee 207-INR
Non-Destructive Assessment of Concrete Structures: Reliability and Limits of Single and Combined Techniques State-of-the-Art Report of the RILEM Technical Committee 207-INR
Author 
Breysse, Denys. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2736-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Sailing in a Concrete Boat Retrosspective and Prospecctive
Sailing in a Concrete Boat Retrosspective and Prospecctive
Author 
Leggo, Carl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-6091-955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for The Concrete Tetrahedron Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
The Concrete Tetrahedron Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Author 
Kauers, Manuel. author. Paule, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Modelling of Corroding Concrete Structures Proceedings of the Joint fib-RILEM Workshop held in Madrid, Spain, 22–23 November 2010
Modelling of Corroding Concrete Structures Proceedings of the Joint fib-RILEM Workshop held in Madrid, Spain, 22–23 November 2010
Author 
Andrade, Carmen. editor. Mancini, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0677-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Design, Production and Placement of Self-Consolidating Concrete Proceedings of SCC2010, Montreal, Canada, September 26-29, 2010
Design, Production and Placement of Self-Consolidating Concrete Proceedings of SCC2010, Montreal, Canada, September 26-29, 2010
Author 
Khayat, Kamal Henri. editor. Feys, Dimitri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9664-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Experimental and Theoretical Investigations of Steel-Fibrous Concrete
Experimental and Theoretical Investigations of Steel-Fibrous Concrete
Author 
Tejchman, Jacek. author. Kozicki, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14603-9
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Seismic Design, Assessment and Retrofitting of Concrete Buildings based on EN-Eurocode 8
Seismic Design, Assessment and Retrofitting of Concrete Buildings based on EN-Eurocode 8
Author 
Fardis, Michael N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9842-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Measuring, Monitoring and Modeling Concrete Properties An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A.
Measuring, Monitoring and Modeling Concrete Properties An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A.
Author 
KONSTA-GDOUTOS, MARIA S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5104-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Author 
Bosma, Wieb. editor. Cannon, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37634-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Conics and Cubics A Concrete Introduction to Algebraic Curves
Conics and Cubics A Concrete Introduction to Algebraic Curves
Author 
Bix, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-39273-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Author 
Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.
Preferred Shelf Number 
XX(521284.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-20099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520370.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520756.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Author 
Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number 
XX(520990.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35190-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Author 
El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521092.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37679-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Author 
Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520200.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521013.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37123-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521014.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520549.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5847-4
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Author 
Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520558.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Author 
Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520689.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
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:
67. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518625.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Handbook of Genetic Programming Applications
Handbook of Genetic Programming Applications
Author 
Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518480.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518965.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46800-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies: