Limit Search Results
Author
SpringerLink (Online service)
(4597)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(32)
Kim, Tai-hoon. editor.
(31)
Dongarra, Jack. editor.
(28)
Language
Publication Date
-
2013
(558)
2011
(504)
2012
(483)
2010
(434)
2009
(408)
Subject
Software engineering.
(3279)
Computer Communication Networks.
(1328)
Artificial intelligence.
(1182)
Information systems.
(897)
Logic design.
(733)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4607 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
Author 
Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11774129
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Knowledge Science, Engineering and Management First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings
Knowledge Science, Engineering and Management First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings
Author 
Lang, Jérôme. editor. Lin, Fangzhen. editor. Wang, Ju. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11811220
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863649
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings
Author 
Corchado, Emilio. editor. Yin, Hujun. editor. Botti, Vicente. editor. Fyfe, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11875581
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I
Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I
Author 
Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11892960
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part II
Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part II
Author 
Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11893004
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III
Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III
Author 
Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11893011
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Web Information Systems – WISE 2006 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedings
Web Information Systems – WISE 2006 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedings
Author 
Aberer, Karl. editor. Peng, Zhiyong. editor. Rundensteiner, Elke A. editor. Zhang, Yanchun. editor. Li, Xuhui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11912873
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11930181
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan
Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan
Author 
Arai, Eiji. editor. Kimura, Fumihiko. editor. Goossenaerts, Jan. editor. Shirase, Keiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102979
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Author 
Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4113-6
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Cognitive Engineering A Distributed Approach to Machine Intelligence
Cognitive Engineering A Distributed Approach to Machine Intelligence
Author 
Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model
Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model
Author 
Hood, Colin. author. Wiebel, Rupert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138908
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers
Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers
Author 
Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105022
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Author 
Guelfi, Nicolas. editor. Reggio, Gianna. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106620
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II
Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II
Author 
Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11552451
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III
Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III
Author 
Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11553939
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV
Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV
Author 
Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554028
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Author 
Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136153
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Author 
Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136248
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
Author 
Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11557432
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings
Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings
Author 
Pastor, Oscar. editor. Falcão e Cunha, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136788
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
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:
26. 
Cover image for Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain
Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain
Author 
Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100917
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104300
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
Author 
Lowe, David. editor. Gaedke, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31484-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
Author 
Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137278
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software Product Line Engineering Foundations, Principles, and Techniques
Software Product Line Engineering Foundations, Principles, and Techniques
Author 
Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28901-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, 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/b137296
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings
Author 
Gallagher, Marcus. editor. Hogan, James P. editor. Maire, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137888
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications
Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications
Author 
Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106347
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
Author 
Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136158
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings
Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings
Author 
Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137656
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
37. 
Cover image for Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Author 
Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136790
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
Author 
Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107130
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555223
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
Author 
Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561347
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I
Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I
Author 
Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11552413
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Cerioli, Maura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107062
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings
Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings
Author 
Ngu, Anne H. H. editor. Kitsuregawa, Masaru. editor. Neuhold, Erich J. editor. Chung, Jen-Yao. editor. Sheng, Quan Z. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11581062
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings
Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings
Author 
Dean, Mike. editor. Guo, Yuanbo. editor. Jun, Woochun. editor. Kaschek, Roland. editor. Krishnaswamy, Shonali. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11581116
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599593
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Author 
Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575726
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Fuzzy Modeling and Fuzzy Control
Fuzzy Modeling and Fuzzy Control
Author 
Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Intelligent Decision-making Support Systems Foundations, Applications and Challenges
Intelligent Decision-making Support Systems Foundations, Applications and Challenges
Author 
Gupta, Jatinder N. D. author. Forgionne, Guisseppi A. author. Mora T., Manuel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-231-4
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures
Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures
Author 
Wittbrodt, Edmund. author. Szczotka, Marek. author. Maczyński, Andrzej. author. Wojciech, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333275.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29886-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for DSP Architecture Design Essentials
DSP Architecture Design Essentials
Author 
Marković, Dejan. author. Brodersen, Robert W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Stability and Optimization of Structures Generalized Sensitivity Analysis
Stability and Optimization of Structures Generalized Sensitivity Analysis
Author 
Ohsaki, Makoto. editor. Ikeda, Kiyohiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68184-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Author 
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03044-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Author 
Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99927-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Author 
Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Author 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02146-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Author 
Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91764-1
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Author 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Author 
Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03769-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
Author 
German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74947-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73814-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Author 
Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74730-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Author 
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Author 
Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92408-3
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Author 
Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92994-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Author 
Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Author 
Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72308-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Author 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Author 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Author 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Author 
Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Author 
Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67549-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Author 
Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29473-5
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Author 
Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Author 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Author 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Author 
Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Author 
Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Author 
Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46520-3
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Author 
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50230-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Author 
Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39519-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Author 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Author 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Author 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Author 
Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07076-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
Author 
Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06859-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Author 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings
Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings
Author 
Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45391-9
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
Author 
Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44879-3
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Author 
Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Author 
Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06410-9
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Handbook of Digital Homecare
Handbook of Digital Homecare
Author 
Yogesan, Kanagasingam. editor. Bos, Lodewijk. editor. Brett, Peter. editor. Gibbons, Michael Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01387-4
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Content Delivery Networks
Content Delivery Networks
Author 
Buyya, Rajkumar. editor. Pathan, Mukaddim. editor. Vakali, Athena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for RFID Security and Privacy Concepts, Protocols, and Architectures
RFID Security and Privacy Concepts, Protocols, and Architectures
Author 
Henrici, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79076-1
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Biopacemaking
Biopacemaking
Author 
Spaan, J. A. E. editor. Coronel, Ruben. editor. Bakker, Jacques M. T. editor. Zaza, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72110-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for M-Health Emerging Mobile Health Systems
M-Health Emerging Mobile Health Systems
Author 
Istepanian, Robert S. H. editor. Laxminarayan, Swamy. editor. Pattichis, Constantinos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137697
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
Author 
de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98521-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Author 
Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98334-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Author 
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02768-1
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Author 
Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Programming with Actors State-of-the-Art and Research Perspectives
Programming with Actors State-of-the-Art and Research Perspectives
Author 
Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Author 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Author 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73305-0
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Theory of Elastic Oscillations Equations and Methods
Theory of Elastic Oscillations Equations and Methods
Author 
Fridman, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Author 
Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95246-8
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Author 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Author 
Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings
Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings
Author 
Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91464-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Enterprise Architecture at Work Modelling, Communication and Analysis
Enterprise Architecture at Work Modelling, Communication and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53933-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Author 
Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Author 
Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66266-4
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Author 
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51676-9
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Author 
Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60588-3
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Author 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Author 
Ranzato, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66706-5
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Author 
Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Author 
Torra, Vicenç. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Author 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Author 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Author 
Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39570-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Author 
Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28228-2
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Author 
Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45279-1
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Author 
Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53413-7
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Author 
Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45943-1
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Enterprise Modeling Tackling Business Challenges with the 4EM Method
Enterprise Modeling Tackling Business Challenges with the 4EM Method
Author 
Sandkuhl, Kurt. author. Stirna, Janis. author. (orcid)0000-0002-3669-832X Persson, Anne. author. Wißotzki, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43725-4
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Author 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Author 
Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55149-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Enterprise Architecture at Work Modelling, Communication and Analysis
Enterprise Architecture at Work Modelling, Communication and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333251.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29651-2
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Agile Service Development Combining Adaptive Methods and Flexible Solutions
Agile Service Development Combining Adaptive Methods and Flexible Solutions
Author 
Lankhorst, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Stochastic Reachability Analysis of Hybrid Systems
Stochastic Reachability Analysis of Hybrid Systems
Author 
Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Architecture Principles The Cornerstones of Enterprise Architecture
Architecture Principles The Cornerstones of Enterprise Architecture
Author 
Greefhorst, Danny. author. Proper, Erik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Analysis and Control of Boolean Networks A Semi-tensor Product Approach
Analysis and Control of Boolean Networks A Semi-tensor Product Approach
Author 
Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-097-7
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Enterprise Architecture at Work Modelling, Communication and Analysis
Enterprise Architecture at Work Modelling, Communication and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01310-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Admissible Consensus and Consensualization for Singular Multi-agent Systems
Admissible Consensus and Consensualization for Singular Multi-agent Systems
Author 
Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6990-4
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Author 
Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62920-9
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Advances in Computer Science and its Applications CSA 2013
Advances in Computer Science and its Applications CSA 2013
Author 
Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-41674-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Author 
Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Author 
Koch, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331261.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1225-0
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation
New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation
Author 
Kwong, Oi Yee. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1320-2
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Designing TSVs for 3D Integrated Circuits
Designing TSVs for 3D Integrated Circuits
Author 
Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331791.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
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:
180. 
Cover image for Robust Emotion Recognition using Spectral and Prosodic Features
Robust Emotion Recognition using Spectral and Prosodic Features
Author 
Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332015.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
Author 
Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333575.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32448-2
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures
Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures
Author 
Ogras, Umit Y. author. Marculescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-3958-1
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Ubiquitous Information Technologies and Applications CUTE 2012
Ubiquitous Information Technologies and Applications CUTE 2012
Author 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Author 
SAE-China. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333761.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Brain-Computer Interface Research A State-of-the-Art Summary
Brain-Computer Interface Research A State-of-the-Art Summary
Author 
Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334118.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36083-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Multimedia Processing, Communication and Computing Applications Proceedings of the First International Conference, ICMCCA, 13-15 December 2012
Multimedia Processing, Communication and Computing Applications Proceedings of the First International Conference, ICMCCA, 13-15 December 2012
Author 
Swamy, Punitha P. editor. Guru, Devanur S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335507.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-1143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Complex Binary Number System Algorithms and Circuits
Complex Binary Number System Algorithms and Circuits
Author 
Jamil, Tariq. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335470.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0854-9
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30293-0
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Future Information Technology, Application, and Service FutureTech 2012 Volume 1
Future Information Technology, Application, and Service FutureTech 2012 Volume 1
Author 
J. (Jong Hyuk) Park, James. editor. Leung, Victor C.M. editor. Wang, Cho-Li. editor. Shon, Taeshik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4516-2
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Human Centric Technology and Service in Smart Space HumanCom 2012
Human Centric Technology and Service in Smart Space HumanCom 2012
Author 
Park, James J. (Jong Hyuk). editor. Jin, Qun. editor. Sang-soo Yeo, Martin. editor. Hu, Bin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5086-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Speech Enhancement in the STFT Domain
Speech Enhancement in the STFT Domain
Author 
Benesty, Jacob. author. Chen, Jingdong. author. Habets, Emanuël A.P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Cross-Word Modeling for Arabic Speech Recognition
Cross-Word Modeling for Arabic Speech Recognition
Author 
AbuZeina, Dia. author. Elshafei, Moustafa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1213-7
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for System Specification and Design Languages Selected Contributions from FDL 2010
System Specification and Design Languages Selected Contributions from FDL 2010
Author 
Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Solutions on Embedded Systems
Solutions on Embedded Systems
Author 
Conti, Massimo. editor. Orcioni, Simone. editor. Martínez Madrid, Natividad. editor. Seepold, Ralf E.D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0638-5
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Fractional Calculus for Scientists and Engineers
Fractional Calculus for Scientists and Engineers
Author 
Ortigueira, Manuel Duarte. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0747-4
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for VLSI 2010 Annual Symposium Selected papers
VLSI 2010 Annual Symposium Selected papers
Author 
Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1488-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Algorithm-Architecture Matching for Signal and Image Processing Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009
Algorithm-Architecture Matching for Signal and Image Processing Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009
Author 
Gogniat, Guy. editor. Milojevic, Dragomir. editor. Morawiec, Adam. editor. Erdogan, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for IT Convergence and Services ITCS & IRoA 2011
IT Convergence and Services ITCS & IRoA 2011
Author 
Park, James J. editor. Arabnia, Hamid. editor. Chang, Hang-Bae. editor. Shon, Taeshik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2598-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18366-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Contemporary Methods for Speech Parameterization
Contemporary Methods for Speech Parameterization
Author 
Ganchev, Todor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8447-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Speech Processing and Soft Computing
Speech Processing and Soft Computing
Author 
Selouani, Sid-Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Dependability of Networked Computer-based Systems
Dependability of Networked Computer-based Systems
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Advances in Commercial Deployment of Spoken Dialog Systems
Advances in Commercial Deployment of Spoken Dialog Systems
Author 
Suendermann, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9610-7
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for VLSI Design A Practical Guide for FPGA and ASIC Implementations
VLSI Design A Practical Guide for FPGA and ASIC Implementations
Author 
Chandrasetty, Vikram Arkalgud. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1120-8
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Designing a New Class of Distributed Systems
Designing a New Class of Distributed Systems
Author 
Mikkilineni, Rao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1924-2
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Network-on-Chip Architectures A Holistic Design Exploration
Network-on-Chip Architectures A Holistic Design Exploration
Author 
Nicopoulos, Chrysostomos. author. Narayanan, Vijaykrishnan. author. Das, Chita R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3031-3
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Efficient Test Methodologies for High-Speed Serial Links
Efficient Test Methodologies for High-Speed Serial Links
Author 
Hong, Dongwoo. author. Cheng, Kwang-Ting. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Robust Computing with Nano-scale Devices Progresses and Challenges
Robust Computing with Nano-scale Devices Progresses and Challenges
Author 
Huang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8540-5
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Author 
Borrione, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Wearable and Autonomous Biomedical Devices and Systems for Smart Environment Issues and Characterization
Wearable and Autonomous Biomedical Devices and Systems for Smart Environment Issues and Characterization
Author 
Lay-Ekuakille, Aimé. Mukhopadhyay, Subhas Chandra. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15687-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Advances in Numerical Methods
Advances in Numerical Methods
Author 
Mastorakis, Nikos. editor. Sakellaris, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Designing Reliable and Efficient Networks on Chips
Designing Reliable and Efficient Networks on Chips
Author 
Murali, Srinivasan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9757-7
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Author 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8211-0
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Inside the world of computing : technologies, uses, challenges
Inside the world of computing : technologies, uses, challenges
Author 
Delhaye, J.-L. (Jean-Loïc)
Preferred Shelf Number 
QA76
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Proceedings of the International Conference on Advances in Computational Mechanics 2017 ACOME 2017, 2 to 4 August 2017, Phu Quoc Island, Vietnam
Proceedings of the International Conference on Advances in Computational Mechanics 2017 ACOME 2017, 2 to 4 August 2017, Phu Quoc Island, Vietnam
Author 
Nguyen-Xuan, Hung. editor. Phung-Van, Phuc. editor. Rabczuk, Timon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7149-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Trust for Intelligent Recommendation
Trust for Intelligent Recommendation
Author 
Bhuiyan, Touhid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332150.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6895-0
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for ICT Development for Social and Rural Connectedness
ICT Development for Social and Rural Connectedness
Author 
Alias, Nor Aziah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332152.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6901-8
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Process Simulation and Parametric Modeling for Strategic Project Management
Process Simulation and Parametric Modeling for Strategic Project Management
Author 
Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332177.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Recommender Systems for Learning
Recommender Systems for Learning
Author 
Manouselis, Nikos. author. Drachsler, Hendrik. author. Verbert, Katrien. author. Duval, Erik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331484.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4361-2
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Persuasive Recommender Systems Conceptual Background and Implications
Persuasive Recommender Systems Conceptual Background and Implications
Author 
Yoo, Kyung-Hyan. author. Gretzel, Ulrike. author. Zanker, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4702-3
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Anonymization of Electronic Medical Records to Support Clinical Analysis
Anonymization of Electronic Medical Records to Support Clinical Analysis
Author 
Gkoulalas-Divanis, Aris. author. Loukides, Grigorios. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331833.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332878.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01604-7
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Space-Filling Curves An Introduction with Applications in Scientific Computing
Space-Filling Curves An Introduction with Applications in Scientific Computing
Author 
Bader, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333387.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31046-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Chinese Handwriting Recognition: An Algorithmic Perspective
Chinese Handwriting Recognition: An Algorithmic Perspective
Author 
Su, Tonghua. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333492.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31812-2
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Compressed Sensing with Side Information on the Feasible Region
Compressed Sensing with Side Information on the Feasible Region
Author 
Rostami, Mohammad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332732.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for The Finite Element Method: Theory, Implementation, and Applications
The Finite Element Method: Theory, Implementation, and Applications
Author 
Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Mathematics of Approximation
Mathematics of Approximation
Author 
Villiers, Johan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-50-3
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Computer Science and its Applications CSA 2012
Computer Science and its Applications CSA 2012
Author 
Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computational Cancer Biology An Interaction Network Approach
Computational Cancer Biology An Interaction Network Approach
Author 
Vidyasagar, Mathukumalli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Agent-Based Semantic Web Service Composition
Agent-Based Semantic Web Service Composition
Author 
Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4663-7
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Recommender Systems for Social Tagging Systems
Recommender Systems for Social Tagging Systems
Author 
Balby Marinho, Leandro. author. Hotho, Andreas. author. Jäschke, Robert. author. Nanopoulos, Alexandros. author. Rendle, Steffen. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1894-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Network Inference in Molecular Biology A Hands-on Framework
Network Inference in Molecular Biology A Hands-on Framework
Author 
Lingeman, Jesse M. Shasha, Dennis. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Networks for Pervasive Services Six Ways to Upgrade the Internet
Networks for Pervasive Services Six Ways to Upgrade the Internet
Author 
Liotta, Antonio. author. Exarchakos, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Proceedings of the International Conference on Human-centric Computing 2011 and Embedded and Multimedia Computing 2011 HumanCom & EMC 2011
Proceedings of the International Conference on Human-centric Computing 2011 and Embedded and Multimedia Computing 2011 HumanCom & EMC 2011
Author 
Park, Jame J. editor. Jin, Hai. editor. Liao, Xiaofei. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2105-0
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Fundamentals of Scientific Computing
Fundamentals of Scientific Computing
Author 
Gustafsson, Bertil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19495-5
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Portfolio Choice Problems An Introductory Survey of Single and Multiperiod Models
Portfolio Choice Problems An Introductory Survey of Single and Multiperiod Models
Author 
Chapados, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0577-1
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Computer and Information Sciences Proceedings of the 25th International Symposium on Computer and Information Sciences
Computer and Information Sciences Proceedings of the 25th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. Sakellari, Georgia. editor. Sacan, Ahmet. editor. Toroslu, Hakki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Advances in Machine Learning and Data Analysis
Advances in Machine Learning and Data Analysis
Author 
Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3177-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for IT Security Management IT Securiteers - Setting up an IT Security Function
IT Security Management IT Securiteers - Setting up an IT Security Function
Author 
Partida, Alberto. author. Andina, Diego. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8882-6
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Elements of Scientific Computing
Elements of Scientific Computing
Author 
Tveito, Aslak. author. Langtangen, Hans Petter. author. Nielsen, Bjørn Frederik. author. Cai, Xing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11299-7
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Scientific Computing with MATLAB and Octave
Scientific Computing with MATLAB and Octave
Author 
Quarteroni, Alfio. author. Saleri, Fausto. author. Gervasio, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12430-3
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advances in Computational Algorithms and Data Analysis
Advances in Computational Algorithms and Data Analysis
Author 
Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Unifying Perspectives in Computational and Robot Vision
Unifying Perspectives in Computational and Robot Vision
Author 
Kragic, Danica. editor. Kyrki, Ville. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75523-6
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Data Mining and Applications in Genomics
Data Mining and Applications in Genomics
Author 
Ao, Sio-Iong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8975-6
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Python Scripting for Computational Science
Python Scripting for Computational Science
Author 
Langtangen, Hans Petter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73916-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Author 
Griebel, Michael. author. Zumbusch, Gerhard. author. Knapek, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Scientific Computing with MATLAB and Octave Second Edition
Scientific Computing with MATLAB and Octave Second Edition
Author 
Quarteroni, Alfio. author. Saleri, Fausto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32613-8
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Computing the Electrical Activity in the Heart
Computing the Electrical Activity in the Heart
Author 
Sundnes, Joakim. author. Lines, Glenn Terje. author. Cai, Xing. author. Nielsen, Bjørn Fredrik. author. Mardal, Kent-Andre. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33437-8
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Python Scripting for Computational Science
Python Scripting for Computational Science
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31269-2
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Software Process Modeling
Software Process Modeling
Author 
Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104986
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for General systems theory mathematical foundations
General systems theory mathematical foundations
Author 
Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Parallel Computational Fluid Dynamics 2008 Parallel Numerical Methods, Software Development and Applications
Parallel Computational Fluid Dynamics 2008 Parallel Numerical Methods, Software Development and Applications
Author 
Tromeur-Dervout, Damien. editor. Brenner, Gunther. editor. Emerson, David R. editor. Erhel, Jocelyne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Fluid Structure Interaction II Modelling, Simulation, Optimization
Fluid Structure Interaction II Modelling, Simulation, Optimization
Author 
Bungartz, Hans-Joachim. editor. Mehl, Miriam. editor. Schäfer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14206-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Computational Methods in Transport: Verification and Validation
Computational Methods in Transport: Verification and Validation
Author 
Graziani, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77362-7
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Deformable Models Biomedical and Clinical Applications
Deformable Models Biomedical and Clinical Applications
Author 
Farag, Aly A. author. Suri, Jasjit S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68413-0
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Semantic Web: Concepts, Technologies and Applications
Semantic Web: Concepts, Technologies and Applications
Author 
Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-710-7
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
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/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Provably Correct Systems
Provably Correct Systems
Author 
Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
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:
263. 
Cover image for Sparse Grids and Applications
Sparse Grids and Applications
Author 
Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31703-3
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Steuerung in Dienstleistungsnetzwerken Ein Ansatz für ein integriertes Qualitätsinformationssystem
Steuerung in Dienstleistungsnetzwerken Ein Ansatz für ein integriertes Qualitätsinformationssystem
Author 
Meschke, Martina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338208.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-03555-6
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems
Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems
Author 
Pechstein, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23588-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Meshfree Methods for Partial Differential Equations VI
Meshfree Methods for Partial Differential Equations VI
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32979-1
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
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:
268. 
Cover image for Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Author 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Recent Advances in Algorithmic Differentiation
Recent Advances in Algorithmic Differentiation
Author 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Author 
Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Numerical Analysis of Multiscale Problems
Numerical Analysis of Multiscale Problems
Author 
Graham, Ivan G. editor. Hou, Thomas Y. editor. Lakkis, Omar. editor. Scheichl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22061-6
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Thermo-Hydro-Mechanical-Chemical Processes in Porous Media Benchmarks and Examples
Thermo-Hydro-Mechanical-Chemical Processes in Porous Media Benchmarks and Examples
Author 
Kolditz, Olaf. editor. Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27177-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway
Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway
Author 
Hesthaven, Jan S. editor. Rønquist, Einar M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15337-2
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Meshfree Methods for Partial Differential Equations V
Meshfree Methods for Partial Differential Equations V
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16229-9
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Computational Fluid Dynamics for Sport Simulation
Computational Fluid Dynamics for Sport Simulation
Author 
Peters, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04466-3
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Multiscale Modeling and Simulation in Science
Multiscale Modeling and Simulation in Science
Author 
Engquist, Björn. editor. Lötstedt, Per. editor. Runborg, Olof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88857-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Scientific Modeling and Simulations
Scientific Modeling and Simulations
Author 
Yip, Sidney. editor. Rubia, Tomás Diaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9741-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for The Web Resource Space Model
The Web Resource Space Model
Author 
Zhuge, Hai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72772-1
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Author 
Mathew, Tarek Poonithara Abraham. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Meshfree Methods for Partial Differential Equations IV
Meshfree Methods for Partial Differential Equations IV
Author 
Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79994-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Advances in Automatic Differentiation
Advances in Automatic Differentiation
Author 
Bischof, Christian H. editor. Bücker, H. Martin. editor. Hovland, Paul. editor. Naumann, Uwe. editor. Utke, Jean. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68942-3
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Complex Effects in Large Eddy Simulations
Complex Effects in Large Eddy Simulations
Author 
Kassinos, Stavros C. editor. Langer, Carlos A. editor. Iaccarino, Gianluca. editor. Moin, Parviz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34234-2
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Meshfree Methods for Partial Differential Equations III
Meshfree Methods for Partial Differential Equations III
Author 
Griebel, Michael. editor. Schweitzer, Marc A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
Author 
Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-271-3
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Computational Methods in Transport Granlibakken 2004
Computational Methods in Transport Granlibakken 2004
Author 
Graziani, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28125-8
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Automatic Differentiation: Applications, Theory, and Implementations
Automatic Differentiation: Applications, Theory, and Implementations
Author 
Bücker, Martin. editor. Corliss, George. editor. Naumann, Uwe. editor. Hovland, Paul. editor. Norris, Boyana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28438-9
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Adaptive Atmospheric Modeling Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications
Adaptive Atmospheric Modeling Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications
Author 
Behrens, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33383-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications
Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications
Author 
Hoffmann, Karl Heinz. editor. Meyer, Arnd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33541-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Fluid-Structure Interaction Modelling, Simulation, Optimisation
Fluid-Structure Interaction Modelling, Simulation, Optimisation
Author 
Bungartz, Hans-Joachim. editor. Schäfer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34596-5
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for New Algorithms for Macromolecular Simulation
New Algorithms for Macromolecular Simulation
Author 
Leimkuhler, Benedict. editor. Chipot, Christophe. editor. Elber, Ron. editor. Laaksonen, Aatto. editor. Mark, Alan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31618-3
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Numerical Solution of Partial Differential Equations on Parallel Computers
Numerical Solution of Partial Differential Equations on Parallel Computers
Author 
Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31619-1
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3–5, 2003
Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3–5, 2003
Author 
Plewa, Tomasz. editor. Linde, Timur. editor. Gregory Weirs, V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138538
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Meshfree Methods for Partial Differential Equations II
Meshfree Methods for Partial Differential Equations II
Author 
Griebel, Michael. editor. Schweitzer, Marc A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138605
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Dimension Reduction of Large-Scale Systems Proceedings of a Workshop held in Oberwolfach, Germany, October 19–25, 2003
Dimension Reduction of Large-Scale Systems Proceedings of a Workshop held in Oberwolfach, Germany, October 19–25, 2003
Author 
Benner, Peter. editor. Sorensen, Danny C. editor. Mehrmann, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27909-1
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Numerical Methods for General and Structured Eigenvalue Problems
Numerical Methods for General and Structured Eigenvalue Problems
Author 
Kressner, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28502-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for QCD and Numerical Analysis III Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003
QCD and Numerical Analysis III Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003
Author 
Bori~i, Artan. editor. Frommer, Andreas. editor. Joó, Bálint. editor. Kennedy, Anthony. editor. Pendleton, Brian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28504-0
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Terminological Dictionary of Automatic Control, Systems and Robotics
Terminological Dictionary of Automatic Control, Systems and Robotics
Author 
Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35755-8
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings
Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings
Author 
Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings
Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings
Author 
Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76111-4
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings
e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings
Author 
Bissyande, Tegawendé F. editor. Sie, Oumarou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66742-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action