Limit Search Results
Author
SpringerLink (Online service)
(67)
Resch, Michael M. editor.
(4)
Widlund, Olof. editor.
(4)
Keyes, David E. editor.
(3)
Kornhuber, Ralf. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(28)
Engineering mathematics.
(26)
Appl.Mathematics/Computational Methods of Engineering.
(20)
Computational Science and Engineering.
(18)
Mathematics.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
67 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 Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Author 
Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14896-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action