Limit Search Results
Author
SpringerLink (Online service)
(10)
Al-Khoury, Rafid.
(1)
Antoš, David. editor.
(1)
Aoki, Toshiaki. editor.
(1)
Baleanu, Dumitru. editor.
(1)
Language
Subject
Computer science.
(7)
Software engineering.
(5)
Artificial intelligence.
(4)
Computer Communication Networks.
(4)
Engineering.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
Cover image for Computational intelligence systems in industrial engineering : with recent theory and applications
Computational intelligence systems in industrial engineering : with recent theory and applications
Author 
Kahraman, Cengiz.
Preferred Shelf Number 
TA330 C66 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies: