Limit Search Results
Author
SpringerLink (Online service)
(116)
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
(5)
Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142
(5)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(5)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(5)
Language
English
(116)
Publication Date
-
Subject
Software engineering.
(60)
Artificial intelligence.
(32)
Engineering mathematics.
(26)
Theory of Computation.
(25)
Computer Science Logic and Foundations of Programming.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
116 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
Author 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Methods in Earthquake Engineering
Computational Methods in Earthquake Engineering
Author 
Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Lagaros, Nikos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0053-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Numerical Methods for Nonlinear Engineering Models
Numerical Methods for Nonlinear Engineering Models
Author 
Hauser, John R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9920-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computational Engineering — Introduction to Numerical Methods
Computational Engineering — Introduction to Numerical Methods
Author 
Schäfer, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30686-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Multiscale Methods in Science and Engineering
Multiscale Methods in Science and Engineering
Author 
Engquist, Björn. editor. Runborg, Olof. editor. Lötstedt, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137594
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Methods in Earthquake Engineering Volume 2
Computational Methods in Earthquake Engineering Volume 2
Author 
Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Plevris, Vagelis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336275.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6573-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Computational Methods in Science and Engineering
Advanced Computational Methods in Science and Engineering
Author 
Koren, Barry. editor. Vuik, Kees. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03344-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Domain Decomposition Methods in Science and Engineering
Domain Decomposition Methods in Science and Engineering
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138136
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85884-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets