Limit Search Results
Author
SpringerLink (Online service)
(6752)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4588)
Software engineering.
(3774)
Computer software.
(2167)
Artificial intelligence.
(2022)
Computer Communication Networks.
(1706)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
7753 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Author 
Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106390
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Author 
Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106767
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
Author 
Godefroid, Patrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537328
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for System-level Test and Validation of Hardware/Software Systems
System-level Test and Validation of Hardware/Software Systems
Author 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A Software Process Model Handbook for Incorporating People’s Capabilities
A Software Process Model Handbook for Incorporating People’s Capabilities
Author 
Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106969
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Author 
Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101542
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
Author 
Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554844
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
Author 
Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136986
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
Author 
Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11586012
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
Author 
Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599555
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Flexible Software Design : Systems Development for Changing Requirements.
Flexible Software Design : Systems Development for Changing Requirements.
Author 
Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number 
QA76.9 .S88
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429117053
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Solar radiation and daylight models (with software available from companion web site)
Solar radiation and daylight models (with software available from companion web site)
Author 
Muneer, T. (Tariq) Gueymard, C. Kambezidis, H. Muneer, T. (Tariq). Solar radiation & daylight models for energy efficient design of buildings.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750659741
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for The software project manager's handbook principles that work at work
The software project manager's handbook principles that work at work
Author 
Phillips, Dwayne, 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989544
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989544
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Dedicated digital processors methods in hardware/software system design
Dedicated digital processors methods in hardware/software system design
Author 
Mayer-Lindenberg, F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/047009284X
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=175043
http://proquest.safaribooksonline.com/9780470092828
Volltext http://proquest.tech.safaribooksonline.de/9780470092828
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Author 
Zhuk, Jeff.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Web application design handbook best practices for web-based software
Web application design handbook best practices for web-based software
Author 
Fowler, Susan L., 1953- Stanwick, Victor R., 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607521
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for ARM system developer's guide designing and optimizing system software
ARM system developer's guide designing and optimizing system software
Author 
Sloss, Andrew N. Symes, Dominic. Wright, Chris, 1953-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608740
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Parallel computing software technology, algorithms, architectures & applications : proceedings of the International Conference ParCo2003, Dresden, Germany, 2-5 September 2003
Parallel computing software technology, algorithms, architectures & applications : proceedings of the International Conference ParCo2003, Dresden, Germany, 2-5 September 2003
Author 
ParCo2003 (Conference) (2003 : Dresden, Germany) Joubert, G. R. (Gerhard Robert)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516893
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Managing software deliverables a software development management methodology
Managing software deliverables a software development management methodology
Author 
Rittinghouse, John W.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781555583132
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Interaction design for complex problem solving developing useful and usable software
Interaction design for complex problem solving developing useful and usable software
Author 
Mirel, Barbara.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608313
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The laws of software process : a new model for the production and management of software
The laws of software process : a new model for the production and management of software
Author 
Armour, Philip G., author.
Preferred Shelf Number 
QA76.758 .A75 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for ISO 9001:2000 for software and systems providers : an engineering approach
ISO 9001:2000 for software and systems providers : an engineering approach
Author 
Bamford, Robert., author. Deibler, William J.
Preferred Shelf Number 
TS156.6 .B36 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Software metrics : a guide to planning, analysis, and application
Software metrics : a guide to planning, analysis, and application
Author 
Pandian, C. Ravindranath., author.
Preferred Shelf Number 
QA76.76 .S65 P36 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Software ecosystem understanding an indispensable technology and industry
Software ecosystem understanding an indispensable technology and industry
Author 
Messerschmitt, David G. Szyperski, Clemens.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267307
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software-enabled control information technology for dynamical systems
Software-enabled control information technology for dynamical systems
Author 
Samad, Tariq. Balas, Gary J.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237410
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Maximizing business performance through software packages : best practices for justification, selection, and implementation
Maximizing business performance through software packages : best practices for justification, selection, and implementation
Author 
Starinsky, Robert W., author.
Preferred Shelf Number 
HD30.2 .S7825 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Better software project management a primer for success
Better software project management a primer for success
Author 
Lewin, Marsha D. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470172384
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001023797.html
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software architectures and tools for computer aided process engineering
Software architectures and tools for computer aided process engineering
Author 
Braunschweig, Bertrand. Gani, R. (Rafiqul)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508270
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software development and quality assurance for the healthcare manufacturing industries
Software development and quality assurance for the healthcare manufacturing industries
Author 
Mallory, Steven R., author.
Preferred Shelf Number 
R856 .M285 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Instrument engineers' handbook. Process software and digital networks
Instrument engineers' handbook. Process software and digital networks
Author 
Liptak, Bela G. Liptak, Bela G. Instrument engineers' handbook. Process measurement and analysis. Liptak, Bela G. Instrument engineers' handbook. Process control.
Preferred Shelf Number 
TS156.8 .I56 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for A practical guide to boundary element methods with the software library BEMLIB
A practical guide to boundary element methods with the software library BEMLIB
Author 
Pozrikidis, C., author.
Preferred Shelf Number 
TA347 .B69 P69 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for The project manager's guide to software engineering's best practices
The project manager's guide to software engineering's best practices
Author 
Christensen, M. J., 1947- Thayer, Richard H.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989224
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989224
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Virtual project management : software solutions for today and the future
Virtual project management : software solutions for today and the future
Author 
McMahon, Paul E., 1949, author.
Preferred Shelf Number 
QA76.76 .D47 M3975 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Introduction to IP and ATM design and performance with applications analysis software
Introduction to IP and ATM design and performance with applications analysis software
Author 
Pitts, J. M. (Jonathan M.) Schormans, J. A. (John A.) Pitts, J. M. (Jonathan M.). Introduction to ATM design and performance. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841664
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Object oriented software technologies in telecommunications from theory to practice
Object oriented software technologies in telecommunications from theory to practice
Author 
Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841869
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Software radio architecture object-oriented approaches to wireless systems engineering
Software radio architecture object-oriented approaches to wireless systems engineering
Author 
Mitola, Joseph.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?isbn=0471384925
Books24x7 http://www.books24x7.com/marc.asp?bookid=2561
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=152062
MyiLibrary, Table of contents http://www.myilibrary.com?id=36742&ref=toc
John Wiley http://dx.doi.org/10.1002/047121664X
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Investigating biological systems using modeling strategies and software
Investigating biological systems using modeling strategies and software
Author 
Wastney, Meryl E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080926452
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Relating materials properties to structure : handbook and software for polymer calculations and materials properties
Relating materials properties to structure : handbook and software for polymer calculations and materials properties
Author 
David, D. J. (Donald Joseph), 1930, author. Misra, Ashok.
Preferred Shelf Number 
TA455 .P58 D38 1999
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for PDCA/Test : a quality tool framework for software testing
PDCA/Test : a quality tool framework for software testing
Author 
Lewis, William E.
Preferred Shelf Number 
QA76.76 .T48 L49 1999
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429131769
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Software goes to school teaching for understanding with new technologies
Software goes to school teaching for understanding with new technologies
Author 
Perkins, David N.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195115772.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Author 
Buchanan, William.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780340700143
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for The computer comes of age the people, the hardware, and the software
The computer comes of age the people, the hardware, and the software
Author 
Moreau, René.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Software engineering COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969
Software engineering COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969
Author 
Computer and Information Sciences Symposium (3rd : 1969 : Miami Beach) Tou, Julius T., 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123954954
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Statistical analysis methods for chemists A software based approach.
Statistical analysis methods for chemists A software based approach.
Preferred Shelf Number 
ONLINE(343780.1)
Electronic Access 
http://dx.doi.org/10.1039/9781847551924
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for 10 PRINT CHR$(205.5+RND(1));:GOTO 10
10 PRINT CHR$(205.5+RND(1));:GOTO 10
Author 
Montfort, Nick.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451066
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Speaking code coding as aesthetic and political expression
Speaking code coding as aesthetic and political expression
Author 
Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Snort 2.0 intrusion detection
Snort 2.0 intrusion detection
Author 
Beale, Jay. Foster, James C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781931836746
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for How to cheat in Adobe Flash CS3 the art of design and animation
How to cheat in Adobe Flash CS3 the art of design and animation
Author 
Georgenes, Chris.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520582
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Author 
Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34146-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
Author 
Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33702-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
Author 
Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17642-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Author 
Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04918-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Author 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Author 
Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32065-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Author 
Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24781-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Author 
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17872-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Author 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Author 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. 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-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Lectures on Runtime Verification Introductory and Advanced Topics
Lectures on Runtime Verification Introductory and Advanced Topics
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75632-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
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:
72. 
Cover image for Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94472-2
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
Cover image for Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Author 
Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00856-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Author 
Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03596-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-79108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
Author 
Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610 Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X de Paoli, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99819-0
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Models@run.time Foundations, Applications, and Roadmaps
Models@run.time Foundations, Applications, and Roadmaps
Author 
Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08915-7
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
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:
95. 
Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Author 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Author 
Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10181-1
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Author 
Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14896-0
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
Author 
Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08219-6
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Author 
Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Author 
Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
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:
102. 
Cover image for Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Author 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Author 
Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44471-9
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
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:
105. 
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:
106. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Author 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53956-5
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Author 
Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
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:
110. 
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:
111. 
Cover image for Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author 
Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43376-8
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
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:
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 Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26250-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Author 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Author 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. 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-030-26601-1
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Xia, Yunni. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23381-5
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Author 
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32872-6
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Author 
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21500-2
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23499-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Author 
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30048-7
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Author 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Author 
Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Author 
Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22244-4
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
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:
133. 
Cover image for Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Author 
Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94376-3
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72401-0
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings
Author 
Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03712-3
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
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:
137. 
Cover image for Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Author 
Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94289-6
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
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:
139. 
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:
140. 
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:
141. 
Cover image for Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Author 
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. 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-99130-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Author 
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 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-99229-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
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:
148. 
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:
149. 
Cover image for Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Author 
Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02227-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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 I
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 I
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-02610-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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:
152. 
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:
153. 
Cover image for Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Author 
Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21542-6
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Author 
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Author 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Author 
Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Author 
Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24255-2
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Author 
Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22885-3
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Author 
Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26416-5
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
Author 
Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Author 
Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Author 
Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20860-2
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26428-8
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Author 
Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings
Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings
Author 
Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Author 
Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Author 
Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Author 
Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Author 
Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24012-1
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Author 
Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Author 
Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
Author 
Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26172-0
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Author 
Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24953-7
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Author 
Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19686-2
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Author 
Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Author 
Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Author 
Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Author 
Pesant, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23219-5
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15350-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Author 
Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Author 
O'Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10428-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Author 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
Author 
Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09870-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers
Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Author 
Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54338-8
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10702-8
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
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:
195. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Author 
Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author 
Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43613-4
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Author 
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12214-4
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Author 
Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10557-4
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Author 
DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Author 
Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11587-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Author 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
Author 
Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07221-0
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Author 
Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11863-5
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Author 
Garrigue, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Author 
Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10506-2
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
Author 
Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04126-1
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
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:
209. 
Cover image for Microstructural characterization of materials
Microstructural characterization of materials
Author 
Brandon, D. G. Kaplan, Wayne D. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Online text
http://onlinelibrary.wiley.com/book/10.1002/9780470727133
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=470287
John Wiley http://dx.doi.org/10.1002/9780470727133
MyiLibrary, Table of contents http://www.myilibrary.com?id=234294&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Pro Windows Phone App Development
Pro Windows Phone App Development
Author 
Software, Falafel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Molecular Imaging in Nano MRI
Molecular Imaging in Nano MRI
Author 
Ting, Michael (Software engineer)
Preferred Shelf Number 
ONLINE(341733.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1638074
John Wiley http://dx.doi.org/10.1002/9781118760949
MyiLibrary http://www.myilibrary.com?id=578553
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for The book of Audacity record, edit, mix, and master with the free audio editor
The book of Audacity record, edit, mix, and master with the free audio editor
Author 
Schroder, Carla.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440019
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Tradigital blender a CG animator's guide to applying the classic principles of animation
Tradigital blender a CG animator's guide to applying the classic principles of animation
Author 
Hess, Roland, 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240817576
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Trustworthy compilers
Trustworthy compilers
Author 
Safonov, V. O. (Vladimir Olegovich)
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=35179
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485634
John Wiley http://dx.doi.org/10.1002/9780470593387
http://site.ebrary.com/lib/alltitles/Doc?id=10366446
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for An essential introduction to Maya character rigging with DVD
An essential introduction to Maya character rigging with DVD
Author 
Cabrera, Cheryl.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520827
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Agent-based Supply Network Event Management
Agent-based Supply Network Event Management
Author 
Zimmermann, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7487-X
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Ontologies for Agents: Theory and Experiences
Ontologies for Agents: Theory and Experiences
Author 
Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7361-X
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Applications of Agent Technology in Traffic and Transportation
Applications of Agent Technology in Traffic and Transportation
Author 
Klügl, Franziska. editor. Bazzan, Ana. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7363-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Organizational Principles for Multi-Agent Architectures
Organizational Principles for Multi-Agent Architectures
Author 
Aart, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137137
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint Satisfaction Techniques for Agent-Based Reasoning
Author 
Neagu, Nicoleta. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137139
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance
Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance
Author 
Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20585-9
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Author 
Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
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:
224. 
Cover image for Recent Advances in Data and Algorithms for e-Government
Recent Advances in Data and Algorithms for e-Government
Author 
Gaie, Christophe. editor. Mehta, Mayuri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Author 
Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105417
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
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:
227. 
Cover image for Aligning Organizations Through Measurement The GQM+Strategies Approach
Aligning Organizations Through Measurement The GQM+Strategies Approach
Author 
Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05047-8
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for The ScrumMaster study guide
The ScrumMaster study guide
Author 
Schiel, James., author.
Preferred Shelf Number 
QA76.76 .D47 S2956 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Issues in Multi-Agent Systems The AgentCities.ES Experience
Issues in Multi-Agent Systems The AgentCities.ES Experience
Author 
Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Unit testing in Java how tests drive the code
Unit testing in Java how tests drive the code
Author 
Link, Johannes. Frlich, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Volltext http://www.sciencedirect.com/science/book/9781558608689
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB
Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB
Author 
Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Tcl/Tk a developer's guide
Tcl/Tk a developer's guide
Author 
Flynt, Clif.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123847171
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Building enterprise systems with ODP : an introduction to open distributed processing
Building enterprise systems with ODP : an introduction to open distributed processing
Author 
Linington, Peter F., author.
Preferred Shelf Number 
QA76.9 .D5 L56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Plug-in to After Effects third party plug-in mastery
Plug-in to After Effects third party plug-in mastery
Author 
Yamazaki, Michele, 1973-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240815657
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Focus on Apple Aperture
Focus on Apple Aperture
Author 
Hilz, Corey.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240815138
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Mastering Microsoft Windows Small business server 2008
Mastering Microsoft Windows Small business server 2008
Author 
Johnson, Steve, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{601B0EE1-FEEF-4600-8F33-056DC42F14F2}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=41088
Safari Books Online http://proquest.safaribooksonline.com/9780470503720
Wiley InterScience http://dx.doi.org/10.1002/9781118255865
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Excel 2010 power programming with VBA
Excel 2010 power programming with VBA
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=34798
John Wiley http://dx.doi.org/10.1002/9781118257616
http://proquest.safaribooksonline.com/?fpi=9780470475355
Knovel http://app.knovel.com/web/toc.v/cid:kpEPPVBA01
http://proquest.safaribooksonline.com/9780470475355
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Java and Mac OS X
Java and Mac OS X
Author 
Davis, Gene.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470525111
http://site.ebrary.com/lib/alltitles/Doc?id=10377822
Volltext http://proquest.safaribooksonline.com/9780470525111
Volltext http://proquest.tech.safaribooksonline.de/9780470525111
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Excel 2010 for dummies quick reference
Excel 2010 for dummies quick reference
Author 
Banfield, Colin. Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://site.ebrary.com/lib/alltitles/Doc?id=10381086
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for John Walkenbach's favorite Excel 2010 tips & tricks
John Walkenbach's favorite Excel 2010 tips & tricks
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Image http://images.contentreserve.com/ImageType-100/0128-1/{2CF5F854-F956-44AE-A235-2522CBEBCF0B}Img100.jpg
John Wiley http://dx.doi.org/10.1002/9781118257647
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={2CF5F854-F956-44AE-A235-2522CBEBCF0B}&Format=50
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9780470475379
Safari Books Online http://proquest.safaribooksonline.com/9780470475379
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for How to build a digital library
How to build a digital library
Author 
Witten, I. H. (Ian H.) Bainbridge, David, 1969- Nichols, David M.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123748577
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Emerging Web Services Technology Volume III
Emerging Web Services Technology Volume III
Author 
Binder, Walter. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0104-7
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for 100% Photoshop creating stunning illustrations without using any photographs
100% Photoshop creating stunning illustrations without using any photographs
Author 
Caplin, Steve.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240814254
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Windows 7 just the steps for dummies
Windows 7 just the steps for dummies
Author 
Muir, Nancy, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information on Adobe Digital Editions version
Click for information on Adobe Digital Editions version
Click for information on Mobipocket Reader version
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advanced Agent-Based Environmental Management Systems
Advanced Agent-Based Environmental Management Systems
Author 
Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8900-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advanced Autonomic Networking and Communication
Advanced Autonomic Networking and Communication
Author 
Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8569-9
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
Author 
Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for CASCOM: Intelligent Service Coordination in the Semantic Web
CASCOM: Intelligent Service Coordination in the Semantic Web
Author 
Schumacher, Michael. editor. Schuldt, Helko. editor. Helin, Helkki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8575-0
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Bidding Strategies in Agent-Based Continuous Double Auctions
Bidding Strategies in Agent-Based Continuous Double Auctions
Author 
Ma, Huiye. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8730-3
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Agent Technology and e-Health
Agent Technology and e-Health
Author 
Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8547-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Emerging Web Services Technology, Volume II
Emerging Web Services Technology, Volume II
Author 
Gschwind, Thomas. editor. Pautasso, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8864-5
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Health Care Benchmarking and Performance Evaluation An Assessment using Data Envelopment Analysis (DEA)
Health Care Benchmarking and Performance Evaluation An Assessment using Data Envelopment Analysis (DEA)
Author 
Ozcan, Yasar A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75448-2
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
Author 
Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Emerging Web Services Technology
Emerging Web Services Technology
Author 
Pautasso, Cesare. editor. Bussler, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8448-7
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
Author 
Dinther, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Developing Web services with Java APIs for XML using WSDP
Developing Web services with Java APIs for XML using WSDP
Author 
Foster, Jay A., 1965- Wear, Natalie. Porter, Mick. Hablutzel, Bob. Dreamtech Software India.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781928994855
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number 
QA76.9 .A25 I54165 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Krause, Micki.
Preferred Shelf Number 
QA76.9 .A25 I54165 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Security, Privacy and Data Analytics Select Proceedings of the 2nd International Conference, ISPDA 2022
Security, Privacy and Data Analytics Select Proceedings of the 2nd International Conference, ISPDA 2022
Author 
Rao, Udai Pratap. editor. Alazab, Mamoun. editor. Gohil, Bhavesh N. editor. Chelliah, Pethuru Raj. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3569-7
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Engineering Haptic Devices
Engineering Haptic Devices
Author 
Kern, Thorsten A. editor. Hatzfeld, Christian. editor. Abbasimoshaei, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04536-3
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Emerging Trends in Cybersecurity Applications
Emerging Trends in Cybersecurity Applications
Author 
Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-09640-2
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Author 
Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Security and Privacy in New Computing Environments 5th EAI International Conference, SPNCE 2022, Xi'an, China, December 30-31, 2022, Proceedings
Security and Privacy in New Computing Environments 5th EAI International Conference, SPNCE 2022, Xi'an, China, December 30-31, 2022, Proceedings
Author 
Jiang, Qi. editor. Li, Xinghua. editor. Wang, Ding. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
Author 
Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Ethical and Secure Computing A Concise Module
Ethical and Secure Computing A Concise Module
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Author 
Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Digital Forensics and Cyber Crime 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings
Digital Forensics and Cyber Crime 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings
Author 
Goel, Sanjay. editor. Gladyshev, Pavel. editor. Nikolay, Akatyev. editor. Markowsky, George. editor. Johnson, Daryl. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36574-4
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Author 
You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
Author 
Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
Author 
Block, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-67782-7
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Author 
Zhang, Yuchao. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44836-2
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Database and Expert Systems Applications 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I
Database and Expert Systems Applications 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I
Author 
Strauss, Christine. editor. Amagasa, Toshiyuki. editor. Kotsis, Gabriele. editor. Tjoa, A Min. editor. Khalil, Ismail. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39847-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Schieber, Baruch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44274-2
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Author 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Author 
Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42505-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Author 
Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings
Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings
Author 
Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Sustainable Smart Healthcare Lessons Learned from the COVID-19 Pandemic
Sustainable Smart Healthcare Lessons Learned from the COVID-19 Pandemic
Author 
Chen, Tin-Chih Toly. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37146-2
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Teaching Biostatistics in Medicine and Allied Health Sciences
Teaching Biostatistics in Medicine and Allied Health Sciences
Author 
Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Global Surgery How to Work and Teach in Low- and Middle-Income Countries
Global Surgery How to Work and Teach in Low- and Middle-Income Countries
Author 
Hardy, Mark A. editor. Hochman, Beth R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28127-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Digital Health Entrepreneurship
Digital Health Entrepreneurship
Author 
Meyers, Arlen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33902-8
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Information Technology for Education, Science, and Technics Proceedings of ITEST 2022
Information Technology for Education, Science, and Technics Proceedings of ITEST 2022
Author 
Faure, Emil. editor. Danchenko, Olena. editor. Bondarenko, Maksym. editor. Tryus, Yurii. editor. Bazilo, Constantine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Computer Assisted Music and Dramatics Possibilities and Challenges
Computer Assisted Music and Dramatics Possibilities and Challenges
Author 
Salgaonkar, Ambuja. editor. Velankar, Makarand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Medical Devices and In Vitro Diagnostics Requirements in Europe
Medical Devices and In Vitro Diagnostics Requirements in Europe
Author 
Baumgartner, Christian. editor. Harer, Johann. editor. Schröttner, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Design and Implementation of Sensory Solutions for Industrial Environment Utilizing 1-wire® Technology in Industrial Solutions
Design and Implementation of Sensory Solutions for Industrial Environment Utilizing 1-wire® Technology in Industrial Solutions
Author 
Ďuďák, Juraj. author. Gašpar, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30152-0
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Autonomous driving algorithms and Its IC Design
Autonomous driving algorithms and Its IC Design
Author 
Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Intelligent Human Centered Computing Proceedings of HUMAN 2023
Intelligent Human Centered Computing Proceedings of HUMAN 2023
Author 
Bhattacharyya, Siddhartha. editor. Banerjee, Jyoti Sekhar. editor. De, Debashis. editor. Mahmud, Mufti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Intelligent Sustainable Systems Proceedings of ICISS 2023
Intelligent Sustainable Systems Proceedings of ICISS 2023
Author 
Raj, Jennifer S. editor. Perikos, Isidoros. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1726-6
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3
Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35314-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Information Technology and Systems ICITS 2023, Volume 1
Information Technology and Systems ICITS 2023, Volume 1
Author 
Rocha, Álvaro. editor. Ferrás, Carlos. editor. Ibarra, Waldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33258-6
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Information Technology and Systems ICITS 2023, Volume 2
Information Technology and Systems ICITS 2023, Volume 2
Author 
Rocha, Álvaro. editor. Ferrás, Carlos. editor. Ibarra, Waldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action