Limit Search Results
Author
SpringerLink (Online service)
(223)
Wiley InterScience (Online service)
(16)
Gavrilova, Marina L. editor.
(6)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Language
Publication Date
-
Subject
Engineering mathematics.
(93)
Engineering.
(71)
Appl.Mathematics/Computational Methods of Engineering.
(67)
Computer science.
(67)
Mathematics.
(53)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
486 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Engineering design methods
Engineering design methods
Author 
Cross, Nigel.
Preferred Shelf Number 
TA 174 C76 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Methods of foundation engineering
Methods of foundation engineering
Author 
Bazant, Zdenek.
Preferred Shelf Number 
TA 775 B3713 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Computing methods in engineering
Computing methods in engineering
Author 
Kıral, Erhan Gürkök, Ayfer. , ort. yaz. Mengi, Yalçın. , ort. yaz.
Preferred Shelf Number 
TA 640 K63 1981 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
4. 
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:
5. 
Cover image for Methods of tissue engineering
Methods of tissue engineering
Author 
Atala, Anthony, ed. Lanza, Robert Paul, ed.
Preferred Shelf Number 
TP 248.27.A53 M48 2002
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
6. 
Cover image for Computational methods in engineering
Computational methods in engineering
Author 
Venkateshan, S. P., author. Swaminathan, Prasanna, author.
Preferred Shelf Number 
ONLINE(356051.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124167025
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Matrix methods for engineering
Matrix methods for engineering
Author 
Pipes, Louis Albert, 1910-
Preferred Shelf Number 
TA 350 P48 1963
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Numerical methods in engineering
Numerical methods in engineering
Author 
Salvadori, Mario George, 1907- Baron, Melvin L., ort. yaz.
Preferred Shelf Number 
QA 297 S3 1961
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Numerical methods in geotechnical engineering
Numerical methods in geotechnical engineering
Author 
European Conference on Numerical Methods in Geotechnical Engineering (8th : 2014 : Delft, the Netherlands) Hicks, Michael A., editor. Brinkgreve, Ronald B. J., editor. Rohe, Alexander, editor.
Preferred Shelf Number 
ONLINE(357053.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Statistical methods for financial engineering
Statistical methods for financial engineering
Author 
Remillard, Bruno.
Preferred Shelf Number 
HG176.7 R46 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
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:
14. 
Cover image for Mathematical methods in engineering and physics
Mathematical methods in engineering and physics
Author 
Felder, Gary, 1970- author. Felder, Kenny M.
Preferred Shelf Number 
TA330 F45 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
Cover image for Critical excitation methods in earthquake engineering
Critical excitation methods in earthquake engineering
Author 
Takewaki, Izuru, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080994369
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Systems engineering tools and methods
Systems engineering tools and methods
Author 
Kamrani, Ali K. Azimi, Maryam.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
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:
22. 
Cover image for Critical excitation methods in earthquake engineering
Critical excitation methods in earthquake engineering
Author 
Takewaki, Izuru.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080453095
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
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:
25. 
Cover image for Engineering optimization methods and applications
Engineering optimization methods and applications
Author 
Ravindran, A., 1944- Reklaitis, G. V., 1942- Ragsdell, K. M. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470117811
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Mathematical methods in science and engineering
Mathematical methods in science and engineering
Author 
Bayin, Ş. Selçuk, 1951- John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470047429
http://www3.interscience.wiley.com/cgi-bin/bookhome/112397383
MyiLibrary, Table of contents http://www.myilibrary.com?id=55161&ref=toc
Volltext http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=168563
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Engineering optimization : methods and applications
Engineering optimization : methods and applications
Author 
Ravindran, A., 1944- Reklaitis, G. V., 1942- Ragsdell, K. M.
Preferred Shelf Number 
TA342 .R44 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
28. 
Cover image for Mathematical methods in science and engineering
Mathematical methods in science and engineering
Author 
Bayın, Ş. Selçuk, 1951-
Preferred Shelf Number 
QA37.2 B392 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Numerical methods in biomedical engineering
Numerical methods in biomedical engineering
Author 
Dunn, Stanley Martin. Constantinides, A. Moghe, Prabhas V.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121860318
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
Cover image for Quantitative methods in reservoir engineering
Quantitative methods in reservoir engineering
Author 
Chin, Wilson C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750675680
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical methods for physics and engineering
Mathematical methods for physics and engineering
Author 
Riley, Kenneth Franklin, 1936- Hobson, Michael Paul, 1967- ort. yaz. Bence, Stephen John, 1972- ort. yaz.
Preferred Shelf Number 
QA 300 R495 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Integral methods in science and engineering
Integral methods in science and engineering
Author 
Bertram, Barbara. Constanda, C. (Christian) Struthers, A. (Allan A.)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer methods in biomechanics & biomedical engineering
Computer methods in biomechanics & biomedical engineering
Author 
Middleton, J., ed. Jones, Malcolm L., ed. Pande, G. N., ed.
Preferred Shelf Number 
QP 303 C545 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
36. 
Cover image for Approximate methods in engineering design
Approximate methods in engineering design
Author 
Furman, T. T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122699603
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Approximate methods in engineering design
Approximate methods in engineering design
Author 
Furman, Tobias Towie.
Preferred Shelf Number 
TA 335 F87 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
38. 
Cover image for Introduction to statistical methods in engineering
Introduction to statistical methods in engineering
Author 
Gürpınar, Aybars.
Preferred Shelf Number 
TA 340 G96 1979 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
39. 
Cover image for Computer methods for science and engineering
Computer methods for science and engineering
Author 
LaFara, Robert L.
Preferred Shelf Number 
QA 297 L33 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
40. 
Cover image for Optimization methods for engineering design
Optimization methods for engineering design
Author 
Fox, Richard L.
Preferred Shelf Number 
TA 174 F68 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
41. 
Cover image for Mathematical methods in science and engineering
Mathematical methods in science and engineering
Author 
Heading, John.
Preferred Shelf Number 
QA 37.2 H4 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
42. 
Cover image for Modern mathematical methods in engineering
Modern mathematical methods in engineering
Author 
Merritt, Frederick S.
Preferred Shelf Number 
TA 330 M5532 1970 M
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
43. 
Cover image for Mathematical methods in chemical engineering
Mathematical methods in chemical engineering
Author 
Jenson, Victor George. Jeffreys, Godfrey Vaughan, ort. yaz.
Preferred Shelf Number 
TP 149 J4537 1963
Format: 
Availability 
Beytepe Library~4
Available:
Copies:
44. 
Cover image for Mathematical methods in physics and engineering
Mathematical methods in physics and engineering
Author 
Dettman, John Warren.
Preferred Shelf Number 
QA 37 D4852 1962
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
45. 
Cover image for Numerical methods for science and engineering
Numerical methods for science and engineering
Author 
Stanton, Ralph G.
Preferred Shelf Number 
QA 297 S75 1961
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
46. 
Cover image for Engineering materials : applied research and evaluation methods
Engineering materials : applied research and evaluation methods
Author 
Pourhashemi, Ali, editor. Zaikov, G. E. (Gennadi¿̐ưi Efremovich), 1935- editor. Haghi, A. K., editor.
Preferred Shelf Number 
ONLINE(357065.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Model based systems engineering : fundamentals and methods
Model based systems engineering : fundamentals and methods
Author 
Micouin, Patrice, author.
Preferred Shelf Number 
ONLINE(341599.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118579435
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
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:
50. 
Cover image for Numerical methods in engineering with Python 3
Numerical methods in engineering with Python 3
Author 
Kiusalaas, Jaan, author.
Preferred Shelf Number 
TA345 .K58 2013
Electronic Access 
https://doi.org/10.1017/CBO9781139523899
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
Cover image for Mathematical methods for optical physics and engineering
Mathematical methods for optical physics and engineering
Author 
Gbur, Greg.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=337720
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
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:
55. 
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:
56. 
Cover image for Analytical methods in corrosion science and engineering
Analytical methods in corrosion science and engineering
Author 
Marcus, P. (Philippe), 1953- Mansfeld, Florian.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Analytical methods in corrosion science and engineering
Analytical methods in corrosion science and engineering
Author 
Marcus, Philippe. Mansfeld, Florian.
Preferred Shelf Number 
TA418.74 A44 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Finite and boundary element methods in engineering
Finite and boundary element methods in engineering
Author 
Gupta, O. P.
Preferred Shelf Number 
TA 347 G86 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for Statistical methods in engineering and quality assurance
Statistical methods in engineering and quality assurance
Author 
John, Peter William Meredith.
Preferred Shelf Number 
ONLINE
Electronic Access 
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/21329921.html
John Wiley http://dx.doi.org/10.1002/9780470316825
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computational methods in engineering boundary value problems
Computational methods in engineering boundary value problems
Author 
Na, T. Y.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125126502
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Discrete numerical methods in physics and engineering
Discrete numerical methods in physics and engineering
Author 
Greenspan, Donald.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123003508
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Trends and perspectives in modern computational science lectures presented in the International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2006) : recognised conference by the European Society of Computational Methods in Sciences and Engineering (ESCMSE)
Trends and perspectives in modern computational science lectures presented in the International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2006) : recognised conference by the European Society of Computational Methods in Sciences and Engineering (ESCMSE)
Author 
International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Maroulis, George. Simos, T. E. European Society of Computational Methods in Science and Engineering.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Recent progress in computational sciences and engineering : lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece
Recent progress in computational sciences and engineering : lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece
Author 
International Conference of Computational Methods in Sciences and Engineering (2006 : Greece). Sponsor. Simos, T. E., editor. Maroulis, George, editor. European Society of Computational Methods in Science and Engineering, sponsor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Numerical methods in geotechnical engineering proceedings of the seventh European Conference on Numerical Methods in Geotechnical Engineering, Trondheim, Norway, 2-4 June 2010
Numerical methods in geotechnical engineering proceedings of the seventh European Conference on Numerical Methods in Geotechnical Engineering, Trondheim, Norway, 2-4 June 2010
Author 
European Conference on Numerical Methods in Geotechnical Engineering (7th : 2010 : Trondeim, Norway) Nordal, Steinar. Benz, Thomas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Numerical methods in geotechnical engineering proceedings of the sixth European Conference on Numerical Methods in Geotechnical Engineering : Graz, Austria, 6-8 September 2006
Numerical methods in geotechnical engineering proceedings of the sixth European Conference on Numerical Methods in Geotechnical Engineering : Graz, Austria, 6-8 September 2006
Author 
European Conference on Numerical Methods in Geotechnical Engineering (6th : 2006 : Graz, Austria) Schweiger, Helmut F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for EPMESC VII International Conference on Enhancement and Promotion of Computational Methods in Engineering and Science : 2-5 August, 1999, Macao
EPMESC VII International Conference on Enhancement and Promotion of Computational Methods in Engineering and Science : 2-5 August, 1999, Macao
Author 
International Conference on Enhancement and Promotion of Computational Methods in Engineering and Science (7th : 1999 : Macao)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080435701
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
Cover image for Simple statistical methods for software engineering : data and patterns
Simple statistical methods for software engineering : data and patterns
Author 
Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
Cover image for Optimization in engineering sciences : approximate and metaheuristic methods
Optimization in engineering sciences : approximate and metaheuristic methods
Author 
Stefanoiu, Dan, author.
Preferred Shelf Number 
ONLINE(341642.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118648766
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
Cover image for Building physics heat, air and moisture : fundamentals and engineering methods with examples and exercises
Building physics heat, air and moisture : fundamentals and engineering methods with examples and exercises
Author 
Hens, Hugo S. L. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://onlinelibrary.wiley.com/book/10.1002/9783433602379
John Wiley http://dx.doi.org/10.1002/9783433602379
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
Cover image for A first course in quality engineering : integrating statistical and management methods of quality
A first course in quality engineering : integrating statistical and management methods of quality
Author 
Krishnamoorthi, K. S. Krishnamoorthi, V. Ram.
Preferred Shelf Number 
TS156.8 K75 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
118. 
Cover image for Data mining concepts, methods and applications in management and engineering design
Data mining concepts, methods and applications in management and engineering design
Author 
Yin, Yong.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=371256
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
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:
120. 
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:
121. 
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:
122. 
Cover image for Methods and applications of statistics in engineering, quality control, and the physical sciences
Methods and applications of statistics in engineering, quality control, and the physical sciences
Author 
Balakrishnan, N., 1956-
Preferred Shelf Number 
TA340 M455 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
Cover image for Bayesian methods for structural dynamics and civil engineering
Bayesian methods for structural dynamics and civil engineering
Author 
Yuen, Ka-Veng. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470824566
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Crystal plasticity finite element methods in materials science and engineering
Crystal plasticity finite element methods in materials science and engineering
Author 
Roters, Franz. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://onlinelibrary.wiley.com/book/10.1002/9783527631483
John Wiley http://dx.doi.org/10.1002/9783527631483
http://site.ebrary.com/lib/alltitles/Doc?id=10412634
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Phase-field methods in materials science and engineering
Phase-field methods in materials science and engineering
Author 
Provatas, Nicholas, 1965- Elder, Ken.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527631520
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=589282
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Mathematical methods for accident reconstruction a forensic engineering perspective
Mathematical methods for accident reconstruction a forensic engineering perspective
Author 
Franck, Harold. Franck, Darren.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
Cover image for The engineering design of systems models and methods
The engineering design of systems models and methods
Author 
Buede, Dennis M.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470413791
Books24x7 http://www.books24x7.com/marc.asp?bookid=31904
http://site.ebrary.com/lib/alltitles/Doc?id=10303759
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
Cover image for Analytical methods for risk management a systems engineering perspective
Analytical methods for risk management a systems engineering perspective
Author 
Garvey, Paul R., 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Emerging methods, technologies, and process management in software engineering
Emerging methods, technologies, and process management in software engineering
Author 
De Lucia, Andrea. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032135-b.html
John Wiley http://dx.doi.org/10.1002/9780470238103
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Essentials of mathematical methods in science and engineering
Essentials of mathematical methods in science and engineering
Author 
Bayin, Ş. Selçuk, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=244365
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
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:
144. 
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:
145. 
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:
146. 
Cover image for Essentials of mathematical methods in science and engineering
Essentials of mathematical methods in science and engineering
Author 
Bayın, Ş. Selçuk.
Preferred Shelf Number 
Q158.5 .B39 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
147. 
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:
148. 
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:
149. 
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:
150. 
Cover image for Building physics--heat, air and moisture fundamentals and engineering methods with examples and exercises
Building physics--heat, air and moisture fundamentals and engineering methods with examples and exercises
Author 
Hens, Hugo S. L. C. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Inhaltstext http://deposit.d-nb.de/cgi-bin/dokserv?id=2894833&prov=M&dok_var=1&dok_ext=htm
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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:
152. 
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:
153. 
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:
154. 
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:
155. 
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:
156. 
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:
157. 
Cover image for Finite difference methods in financial engineering : a partial differential equation approach
Finite difference methods in financial engineering : a partial differential equation approach
Author 
Duffy, Daniel J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for The handbook of manufacturing engineering. Factory operations : planning and instructional methods
The handbook of manufacturing engineering. Factory operations : planning and instructional methods
Author 
Crowson, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
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:
160. 
Cover image for Adaptive perspectives on human-technology interaction methods and models for cognitive engineering and human-computer interaction
Adaptive perspectives on human-technology interaction methods and models for cognitive engineering and human-computer interaction
Author 
Kirlik, Alex.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195374827.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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:
162. 
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:
163. 
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:
164. 
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:
165. 
Cover image for Human factors methods a practical guide for engineering and design
Human factors methods a practical guide for engineering and design
Author 
Stanton, Neville, 1960- ebrary, Inc.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://site.ebrary.com/lib/hacettepe/Doc?id=10211195
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
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:
167. 
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:
168. 
Cover image for Theories and applications of plate analysis classical, numerical, and engineering methods
Theories and applications of plate analysis classical, numerical, and engineering methods
Author 
Szilard, Rudolph, 1921- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470172872
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley045/2003043256.html
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Mathematical methods in physics and engineering with Mathematica
Mathematical methods in physics and engineering with Mathematica
Author 
Cap, Ferdinand.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Underground mining methods : Engineering fundamentals and international case studies
Underground mining methods : Engineering fundamentals and international case studies
Author 
Hustrulid, W. A., ed. Bullock, Richard C., ed.
Preferred Shelf Number 
TN145. U53 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
171. 
Cover image for Getting it right R & D methods for science and engineering
Getting it right R & D methods for science and engineering
Author 
Bock, Peter, 1941- Scheibe, Bettina.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121088521
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Engineering analysis interactive methods and programs with FORTRAN, QuickBASIC, MATLAB, and Mathematica
Engineering analysis interactive methods and programs with FORTRAN, QuickBASIC, MATLAB, and Mathematica
Author 
Pao, Y. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Similarity methods in engineering dynamics theory and practice of scale modeling
Similarity methods in engineering dynamics theory and practice of scale modeling
Author 
Baker, W. E. (Wilfred Edmund), 1924- Westine, Peter S. Dodge, Franklin T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444881564
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for System of experimental design : engineering methods to optimize quality and minimize costs
System of experimental design : engineering methods to optimize quality and minimize costs
Author 
Taguchi, Gen'ichi, 1924-
Preferred Shelf Number 
QA 279 T3313 1987 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
175. 
Cover image for Advances in mathematical methods for the solution of nuclear engineering problems : Proceedings of the international topical meeting on... Org. by ANS, ENS, I.A.E.A Hilton International München, April 27-29 1981.
Advances in mathematical methods for the solution of nuclear engineering problems : Proceedings of the international topical meeting on... Org. by ANS, ENS, I.A.E.A Hilton International München, April 27-29 1981.
Author 
American Nuclear Society.
Preferred Shelf Number 
TK 9145 A351 1981 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
176. 
Cover image for Computational methods for the solution of engineering problems
Computational methods for the solution of engineering problems
Author 
Brebbia, C. A. Ferrante, A. J. , ort. yaz.
Preferred Shelf Number 
TA 640.4 B741 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
177. 
Cover image for Computational methods in nuclear engineering Proceedings of the topical meeting on computational...Williamsburg, Virginia, April 23-25 1979.
Computational methods in nuclear engineering Proceedings of the topical meeting on computational...Williamsburg, Virginia, April 23-25 1979.
Author 
American Nuclear Society Mathematics and Computation Division.
Preferred Shelf Number 
TK 9145 A35 1979 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
178. 
Cover image for Pilot plants, models and scale up methods in chemical engineering
Pilot plants, models and scale up methods in chemical engineering
Author 
Johnstone, Robert Edgeworth. Thring, Meredith Wooldridge, ort. yaz.
Preferred Shelf Number 
TP 155.5 J56 1957
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
179. 
Cover image for Relaxation methods in theoretical physics : a continuation or the treatise, relaxation methods in engineering science
Relaxation methods in theoretical physics : a continuation or the treatise, relaxation methods in engineering science
Author 
Southwell, Richard Vynne, 1888-
Preferred Shelf Number 
QA 431 S6 1946-56
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
180. 
Cover image for Fundamentals of Discrete Element Methods for Rock Engineering
Fundamentals of Discrete Element Methods for Rock Engineering
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444829375
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
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:
182. 
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:
183. 
Cover image for Variational methods for engineers with Matlab®
Variational methods for engineers with Matlab®
Author 
Cursi, Eduardo Souza de, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
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:
185. 
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:
186. 
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:
187. 
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:
188. 
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:
189. 
Cover image for Strontium chemical properties, applications, and health effects
Strontium chemical properties, applications, and health effects
Author 
Wai, Miahua. Gong, Xu Guan.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=548990
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Urea synthesis, properties and uses
Urea synthesis, properties and uses
Author 
Muñoz, Carla Maria, editor of compilation. Fernández, Andrés Manuel, editor of compilation.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=535155
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Manganese chemical properties, medicinal uses, and environmental effects
Manganese chemical properties, medicinal uses, and environmental effects
Author 
Gan, Shu Tian. Kong, Hui Rong.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=541079
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
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:
193. 
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:
194. 
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:
195. 
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:
196. 
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:
197. 
Cover image for Applied geophysics in hydrogeological and engineering practice
Applied geophysics in hydrogeological and engineering practice
Author 
Kelly, William E. (William Edward), 1942- Mareš, Stanislav. Karous, Miloš.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444889362
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Real and functional analysis
Real and functional analysis
Author 
Mukherjea, Arunava, 1941- Pothoven, K., ort. yaz.
Preferred Shelf Number 
QA 331.5 M84 1984 V.28PT.B
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
199. 
Cover image for Topology and maps
Topology and maps
Author 
Husain, Taqdir.
Preferred Shelf Number 
QA611 H87 1977
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
200. 
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:
201. 
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:
202. 
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:
203. 
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:
204. 
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:
205. 
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:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
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:
215. 
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:
216. 
Cover image for Geostatistics with data of different support applied to mining engineering
Geostatistics with data of different support applied to mining engineering
Author 
Arcari Bassani, Marcel Antonio, author. Coimbra Leite Costa, João Felipe, author.
Preferred Shelf Number 
XX(511949.1)
Electronic Access 
EBSCOhost https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2992173
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Geostatistics for the mining industry : applications to porphyry copper deposits
Geostatistics for the mining industry : applications to porphyry copper deposits
Author 
Emery, Xavier, author. Séguret, Serge Antoine, author.
Preferred Shelf Number 
ONLİNE
Electronic Access 
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2689733
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Data-driven science and engineering : machine learning, dynamical systems, and control
Data-driven science and engineering : machine learning, dynamical systems, and control
Author 
Brunton, Steven L. (Steven Lee), 1984- author. Kutz, Jose Nathan, author.
Preferred Shelf Number 
TA330 .B78 2019
Electronic Access 
https://doi.org/10.1017/9781108380690
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Biomechanics : concepts and computation
Biomechanics : concepts and computation
Author 
Oomens, C. W. J., author. Brekelmans, Marcel, author. Loerakker, Sandra, 1982- author. Baaijens, Franciscus Petrus Thomas, author.
Preferred Shelf Number 
QH513 .O56 2018
Electronic Access 
https://doi.org/10.1017/CBO9781316681633
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Electrospun materials for tissue engineering and biomedical applications : research, design and commercialization
Electrospun materials for tissue engineering and biomedical applications : research, design and commercialization
Author 
Uyar, Tamer, editor. Kny, Erich, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780081010228
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Tissue engineering and regeneration in dentistry : current strategies
Tissue engineering and regeneration in dentistry : current strategies
Author 
Waddington, Rachel (Rachel J.), editor. Sloan, Alistair J., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Mühendisler ve fen bilimciler için olasılık ve istatistik
Mühendisler ve fen bilimciler için olasılık ve istatistik
Author 
Walpole, Ronald E. Bakır, M. Akif.
Preferred Shelf Number 
TA540 M84 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
223. 
Cover image for In situ tissue regeneration : host cell recruitment and biomaterial design
In situ tissue regeneration : host cell recruitment and biomaterial design
Author 
Lee, Sang Jin, editor. Atala, Anthony, 1958- editor. Yoo, James J., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128022252
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Chaos analysis and chaotic EMI suppression of DC-DC converters
Chaos analysis and chaotic EMI suppression of DC-DC converters
Author 
Zhang, Bo, 1976- Wang, Xuemei (Electrical engineer)
Preferred Shelf Number 
ONLINE(341544.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118451007.jpg
John Wiley http://dx.doi.org/10.1002/9781118451106
MyiLibrary http://www.myilibrary.com?id=663037
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Welding metallurgy and weldability
Welding metallurgy and weldability
Author 
Lippold, John C., author.
Preferred Shelf Number 
ONLINE(342083.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118230701.jpg
John Wiley http://dx.doi.org/10.1002/9781118960332
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Semi-Markov processes : applications in system reliability and maintenance
Semi-Markov processes : applications in system reliability and maintenance
Author 
Grabski, Franciszek, author.
Preferred Shelf Number 
ONLINE(355517.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128005187
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Traffic simulation and data : validation methods and applications
Traffic simulation and data : validation methods and applications
Author 
Daamen, Winnie, editor. Buisson, Christine, editor. Hoogendoorn, S. P., editor.
Preferred Shelf Number 
ONLINE(356604.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
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:
229. 
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:
230. 
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:
231. 
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:
232. 
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:
233. 
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:
234. 
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:
235. 
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:
236. 
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:
237. 
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:
238. 
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:
239. 
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:
240. 
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:
241. 
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:
242. 
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:
243. 
Cover image for Algebraic identification and estimation methods in feedback control systems
Algebraic identification and estimation methods in feedback control systems
Author 
Sira Ramírez, Hebertt J. García Rodríguez, Carlos. Cortés-Romero, John Luviano-Juaréz, Alberto
Preferred Shelf Number 
ONLINE(341711.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118730607.jpg
John Wiley http://dx.doi.org/10.1002/9781118730591
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Multi-agent machine learning : a reinforcement approach
Multi-agent machine learning : a reinforcement approach
Author 
Schwartz, Howard M., author.
Preferred Shelf Number 
ONLINE(341941.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118362082.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1775207
ebrary http://site.ebrary.com/id/10921255
John Wiley http://dx.doi.org/10.1002/9781118884614
MyiLibrary http://www.myilibrary.com?id=640727
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Toward analytical chaos in nonlinear systems
Toward analytical chaos in nonlinear systems
Author 
Luo, Albert C. J., author.
Preferred Shelf Number 
ONLINE(341951.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118658611.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1680248
ebrary http://site.ebrary.com/id/10865384
John Wiley http://dx.doi.org/10.1002/9781118887158
MyiLibrary http://www.myilibrary.com?id=601869
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Fundamentals of reliability engineering : applications in multistage interconnection networks
Fundamentals of reliability engineering : applications in multistage interconnection networks
Author 
Gunawan, Indra.
Preferred Shelf Number 
ONLINE(342010.1)
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=63558
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1641079
Ebook Library http://www.UTS.eblib.com.AU/EBLWeb/patron/?target=patron&extendedid=P_1641079_0
ebrary http://site.ebrary.com/id/10843879
John Wiley http://dx.doi.org/10.1002/9781118914410
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Nanoscale microwave engineering optical control of nanodevices
Nanoscale microwave engineering optical control of nanodevices
Author 
Tripon-Canseliet, Charlotte. Chazelas, Jean.
Preferred Shelf Number 
ONLINE(342040.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1650853
ebrary http://site.ebrary.com/id/10849225
John Wiley http://dx.doi.org/10.1002/9781118925386
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Software architecture. 1
Software architecture. 1
Author 
Oussalah, Mourad, editor of compilation.
Preferred Shelf Number 
ONLINE(342044.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118930960
Books24x7 http://www.books24x7.com/marc.asp?bookid=63727
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Stochastic numerical methods an introduction for students and scientists
Stochastic numerical methods an introduction for students and scientists
Author 
Toral, Raúl. Colet, Pere.
Preferred Shelf Number 
ONLINE(342230.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1725089
MyiLibrary http://www.myilibrary.com?id=622048
http://dx.doi.org/10.1002/9783527683147
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Engineering risk assessment with subset simulation
Engineering risk assessment with subset simulation
Author 
Au, Siu-Kui. Wang, Yu, 1977-
Preferred Shelf Number 
ONLINE(341527.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1658802
John Wiley http://dx.doi.org/10.1002/9781118398050
MyiLibrary http://www.myilibrary.com?id=586315
http://lib.myilibrary.com/detail.asp?id=586315
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Optimal modified continuous Galerkin CFD
Optimal modified continuous Galerkin CFD
Author 
Baker, A. J., 1936- author.
Preferred Shelf Number 
ONLINE(341530.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940494.jpg
John Wiley http://dx.doi.org/10.1002/9781118402719
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Handbook in Monte Carlo simulation : applications in financial engineering, risk management, and economics
Handbook in Monte Carlo simulation : applications in financial engineering, risk management, and economics
Author 
Brandimarte, Paolo, author.
Preferred Shelf Number 
ONLINE(341607.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1715404
John Wiley http://dx.doi.org/10.1002/9781118593264
MyiLibrary http://www.myilibrary.com?id=620546
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Concept-Oriented Research and Development in Information Technology
Concept-Oriented Research and Development in Information Technology
Author 
Mori, Kinji, 1947-
Preferred Shelf Number 
ONLINE(341722.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1629284
ebrary http://site.ebrary.com/id/10842308
John Wiley http://dx.doi.org/10.1002/9781118753972
MyiLibrary http://www.myilibrary.com?id=578513
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9781118754023
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Modern industrial statistics : with applications in R, MINITAB and JMP
Modern industrial statistics : with applications in R, MINITAB and JMP
Author 
Kenett, Ron. Amberti, Daniele, contributor. Zacks, Shelemyahu, 1932-
Preferred Shelf Number 
ONLINE(341751.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118763667
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Vehicle gearbox noise and vibration : measurement, signal analysis, signal processing and noice reduction measures
Vehicle gearbox noise and vibration : measurement, signal analysis, signal processing and noice reduction measures
Author 
Tůma, Jiří (Engineer), author.
Preferred Shelf Number 
ONLINE(341800.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118797563
Books24x7 http://www.books24x7.com/marc.asp?bookid=63797
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Handbook for construction planning and scheduling
Handbook for construction planning and scheduling
Author 
Baldwin, Andrew, 1950- author. Bordoli, David, author.
Preferred Shelf Number 
ONLINE(341862.1)
Electronic Access 
http://onlinelibrary.wiley.com/book/10.1002/9781118838167
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg
John Wiley http://dx.doi.org/10.1002/9781118838167
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Willful ignorance : the mismeasure of uncertainty
Willful ignorance : the mismeasure of uncertainty
Author 
Weisberg, Herbert I., 1944- author.
Preferred Shelf Number 
ONLINE(341864.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470890448.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1718756
ebrary http://site.ebrary.com/id/10887099
John Wiley http://dx.doi.org/10.1002/9781118839539
MyiLibrary http://www.myilibrary.com?id=622062
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Handbook of mathematics and statistics for the environment
Handbook of mathematics and statistics for the environment
Author 
Spellman, Frank R., author. Whiting, Nancy E., author.
Preferred Shelf Number 
ONLINE(342771.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Statistics for mining engineering
Statistics for mining engineering
Author 
Czaplicki, Jacek M., author.
Preferred Shelf Number 
ONLINE(356340.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Modeling and computation in engineering III : proceedings of the 3rd International Conference on Modeling and Computation in Engineering (CMCE 2014), Wuxi, China, 28-29 June 2014
Modeling and computation in engineering III : proceedings of the 3rd International Conference on Modeling and Computation in Engineering (CMCE 2014), Wuxi, China, 28-29 June 2014
Author 
International Conference on Modeling and Computation in Engineering (CMCE) (3rd : 2014 : China), author. Zhang, Lei, editor. Xie, Liquan, 1972- editor.
Preferred Shelf Number 
ONLINE(356847.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Statistics for mining engineering
Statistics for mining engineering
Author 
Czaplicki, Jacek M.
Preferred Shelf Number 
TN272.7 C93 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
262. 
Cover image for Handbook of mathematics and statistics for the environment
Handbook of mathematics and statistics for the environment
Author 
Spellman, Frank R., author. Whiting, Nancy E., author.
Preferred Shelf Number 
TD145 S676 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
263. 
Cover image for Beneficial plant-microbial interactions ecology and applications
Beneficial plant-microbial interactions ecology and applications
Author 
Rodelas Gonzl̀ez, M. Belň. Gonzalez-Lp̤ez, Jess͠.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Advanced biophotonics tissue optical sectioning
Advanced biophotonics tissue optical sectioning
Author 
Wang, Ruikang K. Tuchin, V. V. (Valeri? Viktorovich)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
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:
266. 
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:
267. 
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:
268. 
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:
269. 
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:
270. 
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:
271. 
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:
272. 
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:
273. 
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:
274. 
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:
275. 
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:
276. 
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:
277. 
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:
278. 
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:
279. 
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:
280. 
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:
281. 
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:
282. 
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:
283. 
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:
284. 
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:
285. 
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:
286. 
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:
287. 
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:
288. 
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:
289. 
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:
290. 
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:
291. 
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:
292. 
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:
293. 
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:
294. 
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:
295. 
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:
296. 
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:
297. 
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:
298. 
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:
299. 
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:
300. 
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: