Limit Search Results
Author
Gavrilova, Marina L. editor.
(6)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Murgante, Beniamino. editor.
(5)
Language
Publication Date
-
Subject
Engineering mathematics.
(82)
Engineering.
(71)
Appl.Mathematics/Computational Methods of Engineering.
(67)
Computer science.
(67)
Mathematics.
(50)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
223 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Mathematical Methods in Engineering
Mathematical Methods in Engineering
Author 
Taş, K. editor. Tenreiro Machado, J. A. editor. Baleanu, D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Methods in Engineering
Mathematical Methods in Engineering
Author 
Fonseca Ferreira, Nuno Miguel. editor. Tenreiro Machado, José António. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Genetic Engineering Principles and Methods
Genetic Engineering Principles and Methods
Author 
Setlow, Jane K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136262
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical Methods in Engineering Theoretical Aspects
Mathematical Methods in Engineering Theoretical Aspects
Author 
Taş, Kenan. editor. Baleanu, Dumitru. editor. Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91065-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced Computational Methods for Knowledge Engineering
Advanced Computational Methods for Knowledge Engineering
Author 
Nguyen, Ngoc Thanh. editor. Do, Tien. editor. Thi, Hoai An. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332713.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00293-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Fundamental Numerical Methods for Electrical Engineering
Fundamental Numerical Methods for Electrical Engineering
Author 
Rosłoniec, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79519-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Probabilistic Methods in Geotechnical Engineering
Probabilistic Methods in Geotechnical Engineering
Author 
Griffiths, D. V. editor. Fenton, Gordon. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-73366-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Genetic Engineering Principles and Methods
Genetic Engineering Principles and Methods
Author 
Setlow, Jane K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
13. 
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:
14. 
Cover image for Methods and Experimental Techniques in Computer Engineering
Methods and Experimental Techniques in Computer Engineering
Author 
Amigoni, Francesco. editor. Schiaffonati, Viola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00272-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Mechanics, Models and Methods in Civil Engineering
Mechanics, Models and Methods in Civil Engineering
Author 
Frémond, Michel. editor. Maceri, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24638-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Computational Methods in Chemical Engineering with Maple
Computational Methods in Chemical Engineering with Maple
Author 
White, Ralph E. author. Subramanian, Venkat R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Supply Chain Engineering Useful Methods and Techniques
Supply Chain Engineering Useful Methods and Techniques
Author 
Dolgui, Alexandre. author. Proth, Jean-Marie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-017-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Author 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520632.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Author 
Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number 
XX(520812.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521275.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521324.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computational Methods and Experimental Testing In Mechanical Engineering Selected Papers from the 6th Algerian Congress on Mechanics, CAM 2017, November 26-30, 2017, Constantine, Algeria
Computational Methods and Experimental Testing In Mechanical Engineering Selected Papers from the 6th Algerian Congress on Mechanics, CAM 2017, November 26-30, 2017, Constantine, Algeria
Author 
Boukharouba, Taoufik. editor. Chaari, Fakher. editor. Ben Amar, Mounir. editor. Azouaoui, Krimo. editor. Ouali, Nourdine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Methods for Solving Complex Problems in Fluids Engineering
Methods for Solving Complex Problems in Fluids Engineering
Author 
Kang, Can. author. Liu, Haixia. author. Zhang, Yongchao. author. Mao, Ning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2649-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Mathematical Methods in Engineering Applications in Dynamics of Complex Systems
Mathematical Methods in Engineering Applications in Dynamics of Complex Systems
Author 
Taş, Kenan. editor. Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244 Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90972-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
Author 
Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23073-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Author 
Minisci, Edmondo. editor. (orcid)0000-0001-9951-8528 Vasile, Massimiliano. editor. Periaux, Jacques. editor. Gauger, Nicolas R. editor. Giannakoglou, Kyriakos C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89988-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Author 
Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61911-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
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:
36. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Computer Methods in Biomechanics and Biomedical Engineering Proceedings of the 14th International Symposium CMBBE, Tel Aviv, Israel, 2016
Computer Methods in Biomechanics and Biomedical Engineering Proceedings of the 14th International Symposium CMBBE, Tel Aviv, Israel, 2016
Author 
Gefen, Amit. editor. Weihs, Daphne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518970.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519078.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519205.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Risk Management for Engineering Projects Procedures, Methods and Tools
Risk Management for Engineering Projects Procedures, Methods and Tools
Author 
Munier, Nolberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05251-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Author 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles
Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles
Author 
Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-40888-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Optimization and Control Methods in Industrial Engineering and Construction
Optimization and Control Methods in Industrial Engineering and Construction
Author 
Xu, Honglei. editor. Wang, Xiangyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-8044-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Author 
Do, Tien. editor. Thi, Hoai An Le. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Domain Decomposition Methods in Science and Engineering XX
Domain Decomposition Methods in Science and Engineering XX
Author 
Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications
Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications
Author 
Hu, Ping. author. Ma, Ning. author. Liu, Li-zhong. author. Zhu, Yi-guo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330905.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Author 
Constanda, Christian. editor. Bodmann, Bardo E.J. editor. Velho, Haroldo F. de Campos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7828-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management
Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management
Author 
Mario, Hirz. author. Dietrich, Wilhelm. author. Gfrerrer, Anton. author. Lang, Johann. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333051.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
Author 
Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.
Preferred Shelf Number 
ONLINE(336174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6143-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Author 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Fast Boundary Element Methods in Engineering and Industrial Applications
Fast Boundary Element Methods in Engineering and Industrial Applications
Author 
Langer, Ulrich. editor. Schanz, Martin. editor. Steinbach, Olaf. editor. Wendland, Wolfgang L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Author 
Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Author 
Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33826-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Rough Sets: Selected Methods and Applications in Management and Engineering
Rough Sets: Selected Methods and Applications in Management and Engineering
Author 
Peters, Georg. editor. Lingras, Pawan. editor. Ślęzak, Dominik. editor. Yao, Yiyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2760-4
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Author 
Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24559-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Author 
Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24690-6
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Domain Decomposition Methods in Science and Engineering XIX
Domain Decomposition Methods in Science and Engineering XIX
Author 
Huang, Yunqing. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11304-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Geometric Methods and Applications For Computer Science and Engineering
Geometric Methods and Applications For Computer Science and Engineering
Author 
Gallier, Jean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9961-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Integral Methods in Science and Engineering Computational and Analytic Aspects
Integral Methods in Science and Engineering Computational and Analytic Aspects
Author 
Constanda, Christian. editor. Harris, Paul J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8238-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
Author 
Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19997-4
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Innovative Computing Methods and Their Applications to Engineering Problems
Innovative Computing Methods and Their Applications to Engineering Problems
Author 
Nedjah, Nadia. editor. Santos Coelho, Leandro. editor. Mariani, Viviana Cocco. editor. Macedo Mourelle, Luiza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20958-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Higher Mathematics for Physics and Engineering Mathematical Methods for Contemporary Physics
Higher Mathematics for Physics and Engineering Mathematical Methods for Contemporary Physics
Author 
Nakayama, Tsuneyoshi. author. Shima, Hiroyuki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138494
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Integral Methods in Science and Engineering, Volume 2 Computational Aspects
Integral Methods in Science and Engineering, Volume 2 Computational Aspects
Author 
Constanda, Christian. editor. Pérez, M.E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4897-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Integral Methods in Science and Engineering, Volume 1 Analytic Methods
Integral Methods in Science and Engineering, Volume 1 Analytic Methods
Author 
Constanda, Christian. editor. Pérez, M.E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4899-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Author 
Schlick, Christopher M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01293-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Domain Decomposition Methods in Science and Engineering XVIII
Domain Decomposition Methods in Science and Engineering XVIII
Author 
Bercovier, Michel. editor. Gander, Martin J. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02677-5
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Author 
Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-019-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Author 
Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Integral Methods in Science and Engineering Techniques and Applications
Integral Methods in Science and Engineering Techniques and Applications
Author 
Constanda, C. editor. Potapenko, S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Product Engineering Tools and Methods Based on Virtual Reality
Product Engineering Tools and Methods Based on Virtual Reality
Author 
Talaba, Doru. editor. Amditis, Angelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8200-9
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Computational Methods in Financial Engineering Essays in Honour of Manfred Gilli
Computational Methods in Financial Engineering Essays in Honour of Manfred Gilli
Author 
Kontoghiorghes, Erricos J. editor. Rustem, Berç. editor. Winker, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Domain Decomposition Methods in Science and Engineering XVII
Domain Decomposition Methods in Science and Engineering XVII
Author 
Langer, Ulrich. editor. Discacciati, Marco. editor. Keyes, David E. editor. Widlund, Olof B. editor. Zulehner, Walter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75199-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Finite Element Methods for Engineering Sciences Theoretical Approach and Problem Solving Techniques
Finite Element Methods for Engineering Sciences Theoretical Approach and Problem Solving Techniques
Author 
Chaskalovic, Joel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76343-7
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Domain Decomposition Methods in Science and Engineering XVI
Domain Decomposition Methods in Science and Engineering XVI
Author 
Widlund, Olof B. editor. Keyes, David E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34469-8
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Computational Methods in Engineering & Science Proceedings of “Enhancement and Promotion of Computational Methods in Engineering and Science X” Aug. 21–23, 2006, Sanya, China
Computational Methods in Engineering & Science Proceedings of “Enhancement and Promotion of Computational Methods in Engineering and Science X” Aug. 21–23, 2006, Sanya, China
Author 
Yao, Z. H. author. Yuan, M. W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-48260-4
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Java Methods for Financial Engineering Applications in Finance and Investment
Java Methods for Financial Engineering Applications in Finance and Investment
Author 
Barker, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73055-2
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Author 
Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Author 
Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Integral Methods in Science and Engineering Theoretical and Practical Aspects
Integral Methods in Science and Engineering Theoretical and Practical Aspects
Author 
Constanda, C. editor. Nashed, Z. editor. Rollins, D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
Author 
Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11777830
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Nonlinear Structural Engineering With Unique Theories and Methods to Solve Effectively Complex Nonlinear Problems
Nonlinear Structural Engineering With Unique Theories and Methods to Solve Effectively Complex Nonlinear Problems
Author 
Fertis, Demeter G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32976-3
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
Author 
Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11901433
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Author 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576280
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Methods for Constructing Exact Solutions of Partial Differential Equations Mathematical and Analytical Techniques with Applications to Engineering
Methods for Constructing Exact Solutions of Partial Differential Equations Mathematical and Analytical Techniques with Applications to Engineering
Author 
Meleshko, S. V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107051
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Optimization Methods for Product and System Design
Optimization Methods for Product and System Design
Author 
Kulkarni, Anand J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520587.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management
Author 
Watzenig, Daniel. editor. Brandstätter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57445-5
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Nonlinear Dynamics of Structures
Nonlinear Dynamics of Structures
Author 
Oller, Sergio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05194-9
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Numerical Simulation of Mechanical Behavior of Composite Materials
Numerical Simulation of Mechanical Behavior of Composite Materials
Author 
Oller, Sergio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04933-5
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Automotive Battery Technology
Automotive Battery Technology
Author 
Thaler, Alexander. editor. Watzenig, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02523-0
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Structural Analysis with the Finite Element Method Linear Statics Volume 2. Beams, Plates and Shells
Structural Analysis with the Finite Element Method Linear Statics Volume 2. Beams, Plates and Shells
Author 
Oñate, Eugenio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330592.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8743-1
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Notes on Continuum Mechanics
Notes on Continuum Mechanics
Author 
Chaves, Eduardo W. V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5986-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Finite Rotation Shells Basic Equations and Finite Elements for Reissner Kinematics
Finite Rotation Shells Basic Equations and Finite Elements for Reissner Kinematics
Author 
Wiśniewski, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Structural Analysis with the Finite Element Method Linear Statics
Structural Analysis with the Finite Element Method Linear Statics
Author 
Oñate, Eugenio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8733-2
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Principles of Engineering Mechanics Volume 2 Dynamics—The Analysis of Motion
Principles of Engineering Mechanics Volume 2 Dynamics—The Analysis of Motion
Author 
Beatty, Millard F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-31255-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Mathematical Methods in Robust Control of Linear Stochastic Systems
Mathematical Methods in Robust Control of Linear Stochastic Systems
Author 
Dragan, Vasile. author. Morozan, Toader. author. Stoica, Adrian-Mihail. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35924-3
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Constrained Optimization and Image Space Analysis Volume 1: Separation of Sets and Optimality Conditions
Constrained Optimization and Image Space Analysis Volume 1: Separation of Sets and Optimality Conditions
Author 
Giannessi, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28020-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
Author 
Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520517.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Author 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520650.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Artificial Intelligence and Cybersecurity Theory and Applications
Artificial Intelligence and Cybersecurity Theory and Applications
Author 
Sipola, Tuomo. editor. Kokkonen, Tero. editor. Karjalainen, Mika. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520170.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15030-2
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520345.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)
Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)
Author 
Wang, Yue. editor. Liu, Yuyang. editor. Zou, Jiaqi. editor. Huo, Mengyao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520352.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9968-0
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Author 
Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Preferred Shelf Number 
XX(521271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47262-6
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Author 
Cerone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521282.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings
Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings
Author 
Delir Haghighi, Pari. editor. Pardede, Eric. editor. Dobbie, Gillian. editor. Yogarajan, Vithya. editor. ER, Ngurah Agus Sanjaya. editor.
Preferred Shelf Number 
XX(521336.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48316-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Advanced Analytics and Learning on Temporal Data 8th ECML PKDD Workshop, AALTD 2023, Turin, Italy, September 18-22, 2023, Revised Selected Papers
Advanced Analytics and Learning on Temporal Data 8th ECML PKDD Workshop, AALTD 2023, Turin, Italy, September 18-22, 2023, Revised Selected Papers
Author 
Ifrim, Georgiana. editor. Tavenard, Romain. editor. Bagnall, Anthony. editor. Schaefer, Patrick. editor. Malinowski, Simon. editor.
Preferred Shelf Number 
XX(521375.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49896-1
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Clinical Applications of Artificial Intelligence in Real-World Data
Clinical Applications of Artificial Intelligence in Real-World Data
Author 
Asselbergs, Folkert W. editor. Denaxas, Spiros. editor. Oberski, Daniel L. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522026.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Digital Design and Manufacturing of Medical Devices and Systems
Digital Design and Manufacturing of Medical Devices and Systems
Author 
Velu, Rajkumar. editor. Subburaj, Karupppasamy. editor. Subramaniyan, Anand Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522257.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Engineering Applications of Neural Networks 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings
Engineering Applications of Neural Networks 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings
Author 
Iliadis, Lazaros. editor. (orcid) Maglogiannis, Ilias. editor. (orcid) Alonso, Serafin. editor. Jayne, Chrisina. editor. Pimenidis, Elias. editor. (orcid)
Preferred Shelf Number 
XX(520434.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
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:
127. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521140.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.
Preferred Shelf Number 
XX(521325.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47859-8
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Author 
Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518832.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Interface Oral Health Science 2014 Innovative Research on Biosis-Abiosis Intelligent Interface
Interface Oral Health Science 2014 Innovative Research on Biosis-Abiosis Intelligent Interface
Author 
Sasaki, Keiichi. editor. Suzuki, Osamu. editor. Takahashi, Nobuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519792.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55192-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Modeling and Simulation in the Systems Engineering Life Cycle Core Concepts and Accompanying Lectures
Modeling and Simulation in the Systems Engineering Life Cycle Core Concepts and Accompanying Lectures
Author 
Loper, Margaret L. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518373.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-5634-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for The Practice of Enterprise Modeling 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings
The Practice of Enterprise Modeling 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings
Author 
Ralyté, Jolita. editor. España, Sergio. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518650.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25897-3
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Pattern and Security Requirements Engineering-Based Establishment of Security Standards
Pattern and Security Requirements Engineering-Based Establishment of Security Standards
Author 
Beckers, Kristian. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518606.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16664-3
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518794.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518867.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519112.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519260.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21410-8
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519341.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21413-9
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Author 
Yilmaz, Levent. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518340.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15096-3
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for The Impact of Pen and Touch Technology on Education
The Impact of Pen and Touch Technology on Education
Author 
Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518440.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15594-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Author 
Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number 
XX(519177.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519297.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
Author 
Akram, Raja Naeem. editor. Jajodia, Sushil. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519325.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24018-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for The 3rd International Workshop on Intelligent Data Analysis and Management
The 3rd International Workshop on Intelligent Data Analysis and Management
Author 
Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Preferred Shelf Number 
ONLINE(336358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-7293-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Advances in Dynamic Games Theory, Applications, and Numerical Methods for Differential and Stochastic Games
Advances in Dynamic Games Theory, Applications, and Numerical Methods for Differential and Stochastic Games
Author 
Cardaliaguet, Pierre. editor. Cressman, Ross. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330554.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8355-9
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for VLSI Analog Filters Active RC, OTA-C, and SC
VLSI Analog Filters Active RC, OTA-C, and SC
Author 
Mohan, P.V. Ananda. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330555.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8358-0
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Robustness in Statistical Forecasting
Robustness in Statistical Forecasting
Author 
Kharin, Yuriy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332807.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Uncertainty Quantification in Computational Fluid Dynamics
Uncertainty Quantification in Computational Fluid Dynamics
Author 
Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00885-1
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Geometry of Knowledge for Intelligent Systems
Geometry of Knowledge for Intelligent Systems
Author 
Resconi, Germano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333167.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Risk Assessment and Management in the Networked Economy
Risk Assessment and Management in the Networked Economy
Author 
Hussain, Omar K. author. Dillon, Tharam S. author. Hussain, Farookh K. author. Chang, Elizabeth J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28690-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Advanced Finite Element Methods and Applications
Advanced Finite Element Methods and Applications
Author 
Apel, Thomas. editor. Steinbach, Olaf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333319.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30316-6
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Bases, outils et principes pour l'analyse variationnelle
Bases, outils et principes pour l'analyse variationnelle
Author 
Hiriart-Urruty, Jean-Baptiste. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30735-5
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Encyclopedia of Distances
Encyclopedia of Distances
Author 
Deza, Michel Marie. author. Deza, Elena. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333375.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Author 
Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333575.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32448-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Author 
Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number 
ONLINE(333577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32454-3
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for An Introduction to Inverse Problems with Applications
An Introduction to Inverse Problems with Applications
Author 
Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333595.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32557-1
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Geometrical Methods for Power Network Analysis
Geometrical Methods for Power Network Analysis
Author 
Bellucci, Stefano. author. Tiwari, Bhupendra Nath. author. Gupta, Neeraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33344-6
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Author 
Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Structure-Preserving Algorithms for Oscillatory Differential Equations
Structure-Preserving Algorithms for Oscillatory Differential Equations
Author 
Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333966.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35338-3
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Artificial Boundary Method
Artificial Boundary Method
Author 
Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35464-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for The Cell Method for Electrical Engineering and Multiphysics Problems An Introduction
The Cell Method for Electrical Engineering and Multiphysics Problems An Introduction
Author 
Alotto, Piergiorgio. author. Freschi, Fabio. author. Repetto, Maurizio. author. Rosso, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36101-2
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Dimensionality Reduction with Unsupervised Nearest Neighbors
Dimensionality Reduction with Unsupervised Nearest Neighbors
Author 
Kramer, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334643.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38652-7
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Time-Delay Systems Lyapunov Functionals and Matrices
Time-Delay Systems Lyapunov Functionals and Matrices
Author 
Kharitonov, Vladimir L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8367-2
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Excursions in Harmonic Analysis, Volume 1 The February Fourier Talks at the Norbert Wiener Center
Excursions in Harmonic Analysis, Volume 1 The February Fourier Talks at the Norbert Wiener Center
Author 
Andrews, Travis D. editor. Balan, Radu. editor. Benedetto, John J. editor. Czaja, Wojciech. editor. Okoudjou, Kasso A. editor.
Preferred Shelf Number 
ONLINE(330561.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8376-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Excursions in Harmonic Analysis, Volume 2 The February Fourier Talks at the Norbert Wiener Center
Excursions in Harmonic Analysis, Volume 2 The February Fourier Talks at the Norbert Wiener Center
Author 
Andrews, Travis D. editor. Balan, Radu. editor. Benedetto, John J. editor. Czaja, Wojciech. editor. Okoudjou, Kasso A. editor.
Preferred Shelf Number 
ONLINE(330562.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8379-5
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for New Foundations in Mathematics The Geometric Concept of Number
New Foundations in Mathematics The Geometric Concept of Number
Author 
Sobczyk, Garret. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8385-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
Author 
de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Weather Modeling and Forecasting of PV Systems Operation
Weather Modeling and Forecasting of PV Systems Operation
Author 
Paulescu, Marius. author. Paulescu, Eugenia. author. Gravila, Paul. author. Badescu, Viorel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4649-0
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for The ADI Model Problem
The ADI Model Problem
Author 
Wachspress, Eugene. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5122-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Handbook of Operations Research for Homeland Security
Handbook of Operations Research for Homeland Security
Author 
Herrmann, Jeffrey W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331730.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5278-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Prolate Spheroidal Wave Functions of Order Zero Mathematical Tools for Bandlimited Approximation
Prolate Spheroidal Wave Functions of Order Zero Mathematical Tools for Bandlimited Approximation
Author 
Osipov, Andrei. author. Rokhlin, Vladimir. author. Xiao, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332403.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8259-8
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Numerical Simulation of Distributed Parameter Processes
Numerical Simulation of Distributed Parameter Processes
Author 
Colosi, Tiberiu. author. Abrudean, Mihail-Ioan. author. Unguresan, Mihaela-Ligia. author. Muresan, Vlad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00014-5
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Hypergraph Theory An Introduction
Hypergraph Theory An Introduction
Author 
Bretto, Alain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00080-0
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for A Systems Description of Flow Through Porous Media
A Systems Description of Flow Through Porous Media
Author 
Jansen, Jan Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for High Impulse Voltage and Current Measurement Techniques Fundamentals – Measuring Instruments – Measuring Methods
High Impulse Voltage and Current Measurement Techniques Fundamentals – Measuring Instruments – Measuring Methods
Author 
Schon, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332736.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00378-8
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Computational Physics Simulation of Classical and Quantum Systems
Computational Physics Simulation of Classical and Quantum Systems
Author 
Scherer, Philipp O.J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332743.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00401-3
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Author 
Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE(332866.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Advances in Dynamic Games Theory, Applications, and Numerical Methods
Advances in Dynamic Games Theory, Applications, and Numerical Methods
Author 
Křivan, Vlastimil. editor. Zaccour, Georges. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332937.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02690-9
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Foundations of Geometric Algebra Computing
Foundations of Geometric Algebra Computing
Author 
Hildenbrand, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333490.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Generating Analog IC Layouts with LAYGEN II
Generating Analog IC Layouts with LAYGEN II
Author 
Martins, Ricardo M. F. author. Lourenço, Nuno C. C. author. Horta, Nuno C. G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333672.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33146-6
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012
High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012
Author 
Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333700.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33374-3
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Meshfree Methods for Partial Differential Equations VI
Meshfree Methods for Partial Differential Equations VI
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32979-1
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Author 
Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Advances in Probabilistic Databases for Uncertain Information Management
Advances in Probabilistic Databases for Uncertain Information Management
Author 
Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334444.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37509-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Treatise on Classical Elasticity Theory and Related Problems
Treatise on Classical Elasticity Theory and Related Problems
Author 
Teodorescu, Petre P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2616-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Elementary Continuum Mechanics for Everyone With Applications to Structural Mechanics
Elementary Continuum Mechanics for Everyone With Applications to Structural Mechanics
Author 
Byskov, Esben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336062.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5766-0
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Nonlinear Behaviour and Stability of Thin-Walled Shells
Nonlinear Behaviour and Stability of Thin-Walled Shells
Author 
Obodan, Natalia I. author. Lebedeyev, Olexandr G. author. Gromov, Vasilii A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336226.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6365-4
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for The Monte Carlo Simulation Method for System Reliability and Risk Analysis
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
Author 
Zio, Enrico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4588-2
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computational Intelligence A Methodological Introduction
Computational Intelligence A Methodological Introduction
Author 
Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number 
ONLINE(331117.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Fundamentals of Structural Engineering
Fundamentals of Structural Engineering
Author 
Connor, Jerome J. author. Faraji, Susan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331326.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3262-3
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Continuous-Time Markov Chains and Applications A Two-Time-Scale Approach
Continuous-Time Markov Chains and Applications A Two-Time-Scale Approach
Author 
Yin, G. George. author. Zhang, Qing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331480.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Production Planning and Control for Semiconductor Wafer Fabrication Facilities Modeling, Analysis, and Systems
Production Planning and Control for Semiconductor Wafer Fabrication Facilities Modeling, Analysis, and Systems
Author 
Mönch, Lars. author. Fowler, John W. author. Mason, Scott J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331515.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4472-5
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Newtonian Nonlinear Dynamics for Complex Linear and Optimization Problems
Newtonian Nonlinear Dynamics for Complex Linear and Optimization Problems
Author 
Vázquez, Luis. author. Jiménez, Salvador. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331898.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5912-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Engineering Risk and Finance
Engineering Risk and Finance
Author 
Tapiero, Charles S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Computational Biomechanics for Medicine Models, Algorithms and Implementation
Computational Biomechanics for Medicine Models, Algorithms and Implementation
Author 
Wittek, Adam. editor. Miller, Karol. editor. Nielsen, Poul M.F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332012.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Modern Linear Control Design A Time-Domain Approach
Modern Linear Control Design A Time-Domain Approach
Author 
Caravani, Paolo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332163.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6943-8
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Bounded Noises in Physics, Biology, and Engineering
Bounded Noises in Physics, Biology, and Engineering
Author 
d'Onofrio, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332275.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7385-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
Author 
Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02165-2
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Nonlinear Dynamics in Complex Systems Theory and Applications for the Life-, Neuro- and Natural Sciences
Nonlinear Dynamics in Complex Systems Theory and Applications for the Life-, Neuro- and Natural Sciences
Author 
Fuchs, Armin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333719.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33552-5
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Proceedings of the 21st International Meshing Roundtable
Proceedings of the 21st International Meshing Roundtable
Author 
Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33573-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advanced Structural Wind Engineering
Advanced Structural Wind Engineering
Author 
Tamura, Yukio. editor. Kareem, Ahsan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335423.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54337-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Computing Qualitatively Correct Approximations of Balance Laws Exponential-Fit, Well-Balanced and Asymptotic-Preserving
Computing Qualitatively Correct Approximations of Balance Laws Exponential-Fit, Well-Balanced and Asymptotic-Preserving
Author 
Gosse, Laurent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335607.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Water Quality Modelling for Rivers and Streams
Water Quality Modelling for Rivers and Streams
Author 
Benedini, Marcello. author. Tsakiris, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335993.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5509-3
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Mechanics Down Under Proceedings of the 22nd International Congress of Theoretical and Applied Mechanics, held in Adelaide, Australia, 24 - 29 August, 2008.
Mechanics Down Under Proceedings of the 22nd International Congress of Theoretical and Applied Mechanics, held in Adelaide, Australia, 24 - 29 August, 2008.
Author 
Denier, James P. editor. Finn, Matthew D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5968-8
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Real and Convex Analysis
Real and Convex Analysis
Author 
Çınlar, Erhan. author. Vanderbei, Robert J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for IAENG Transactions on Engineering Technologies Special Issue of the International MultiConference of Engineers and Computer Scientists 2012
IAENG Transactions on Engineering Technologies Special Issue of the International MultiConference of Engineers and Computer Scientists 2012
Author 
Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336030.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5651-9
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Logic Circuit Design Selected Methods
Logic Circuit Design Selected Methods
Author 
Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27657-6
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Dynamical Systems and Methods
Dynamical Systems and Methods
Author 
Luo, Albert C.J. editor. Machado, José António Tenreiro. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Author 
Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Injection Molding Integration of Theory and Modeling Methods
Injection Molding Integration of Theory and Modeling Methods
Author 
Zheng, Rong. author. Tanner, Roger I. author. Fan, Xi-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21263-5
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Self-Excited Vibration Theory, Paradigms, and Research Methods
Self-Excited Vibration Theory, Paradigms, and Research Methods
Author 
Ding, Wenjing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Limit States of Materials and Structures Direct Methods
Limit States of Materials and Structures Direct Methods
Author 
Dieter, Weichert. editor. Alan, Ponter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Electromagnetic Field Computation by Network Methods
Electromagnetic Field Computation by Network Methods
Author 
Russer, Peter. author. Mongiardo, Mauro. author. Felsen, Leopold B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Modeling of Metal Forming and Machining Processes by Finite Element and Soft Computing Methods
Modeling of Metal Forming and Machining Processes by Finite Element and Soft Computing Methods
Author 
Dixit, Prakash M. author. Dixit, Uday S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-189-3
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Nonlinear Finite Element Methods
Nonlinear Finite Element Methods
Author 
Wriggers, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71001-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Linear Systems Control Deterministic and Stochastic Methods
Linear Systems Control Deterministic and Stochastic Methods
Author 
Hendricks, Elbert. author. Jannerup, Ole. author. Sørensen, Paul Haase. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78486-9
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Compressor Instability with Integral Methods
Compressor Instability with Integral Methods
Author 
Eddie Ng, Y.K. author. Liu, Ningyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72412-4
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Computational Methods
Computational Methods
Author 
LIU, G.R. editor. TAN, V.B.C. editor. HAN, X. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-3953-9
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for PID Control New Identification and Design Methods
PID Control New Identification and Design Methods
Author 
Crowe, J. author. Tan, K.K. author. Lee, T.H. author. Ferdous, R. author. Katebi, M.R. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-148-2
Format: 
Availability 
Online Library~1
Available:
Copies: