Limit Search Results
Author
SpringerLink (Online service)
(6552)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4584)
Software engineering.
(3752)
Computer software.
(2167)
Artificial intelligence.
(1954)
Computer Communication Networks.
(1697)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
7321 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1201. 
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:
1202. 
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.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1203. 
Cover image for Instrument engineers' handbook. Process software and digital networks
Instrument engineers' handbook. Process software and digital networks
Author 
Liptk̀, Bľa G. Liptk̀, Bľa G. Instrument engineers' handbook. Process measurement and analysis. Liptk̀, Bľa G. Instrument engineers' handbook. Process control.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1204. 
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:
1205. 
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-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1206. 
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:
1207. 
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:
1208. 
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:
1209. 
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:
1210. 
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- Misra, Ashok.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1211. 
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 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1212. 
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:
1213. 
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:
1214. 
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:
1215. 
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:
1216. 
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:
1217. 
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:
1218. 
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:
1219. 
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:
1220. 
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:
1221. 
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:
1222. 
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:
1223. 
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:
1224. 
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:
1225. 
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:
1226. 
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:
1227. 
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:
1228. 
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:
1229. 
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:
1230. 
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:
1231. 
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:
1232. 
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:
1233. 
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:
1234. 
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:
1235. 
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:
1236. 
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:
1237. 
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:
1238. 
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:
1239. 
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:
1240. 
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:
1241. 
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:
1242. 
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:
1243. 
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:
1244. 
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:
1245. 
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:
1246. 
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:
1247. 
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:
1248. 
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:
1249. 
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:
1250. 
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:
1251. 
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:
1252. 
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:
1253. 
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:
1254. 
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:
1255. 
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:
1256. 
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:
1257. 
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:
1258. 
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:
1259. 
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:
1260. 
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:
1261. 
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:
1262. 
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:
1263. 
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:
1264. 
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:
1265. 
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:
1266. 
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:
1267. 
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:
1268. 
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:
1269. 
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:
1270. 
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:
1271. 
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:
1272. 
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:
1273. 
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:
1274. 
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:
1275. 
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:
1276. 
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:
1277. 
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:
1278. 
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:
1279. 
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:
1280. 
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:
1281. 
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:
1282. 
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:
1283. 
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:
1284. 
Cover image for The ScrumMaster study guide
The ScrumMaster study guide
Author 
Schiel, James.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1285. 
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:
1286. 
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:
1287. 
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:
1288. 
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:
1289. 
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:
1290. 
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:
1291. 
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:
1292. 
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:
1293. 
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:
1294. 
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:
1295. 
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:
1296. 
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:
1297. 
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:
1298. 
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:
1299. 
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:
1300. 
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:
1301. 
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:
1302. 
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:
1303. 
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:
1304. 
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:
1305. 
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:
1306. 
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:
1307. 
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:
1308. 
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:
1309. 
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:
1310. 
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:
1311. 
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:
1312. 
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:
1313. 
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:
1314. 
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:
1315. 
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:
1316. 
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:
1317. 
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:
1318. 
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:
1319. 
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:
1320. 
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:
1321. 
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:
1322. 
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:
1323. 
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:
1324. 
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 
XX(519196.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23219-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1325. 
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 
XX(519200.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1326. 
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 
XX(519274.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1327. 
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 
XX(519348.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22885-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1328. 
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 
XX(518838.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26172-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1329. 
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 
XX(518803.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26416-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1330. 
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 
XX(518805.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1331. 
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 
XX(518922.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19686-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1332. 
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 
XX(518926.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1333. 
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 
XX(519128.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1334. 
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 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1335. 
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 
XX(519147.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1336. 
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 
XX(519153.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1337. 
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 
XX(519154.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1338. 
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 
XX(519158.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1339. 
Cover image for End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Author 
Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number 
XX(519177.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1340. 
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 
XX(519207.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15350-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1341. 
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 
XX(518776.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1342. 
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 
XX(518850.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24953-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1343. 
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 
XX(518823.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1344. 
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 
XX(518892.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26428-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1345. 
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 
XX(518946.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21542-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1346. 
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 
XX(518953.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20860-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1347. 
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 
XX(518977.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1348. 
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 
XX(518980.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1349. 
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 
XX(519006.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1350. 
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 
XX(519026.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24255-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1351. 
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 
XX(519064.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1352. 
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 
XX(519074.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1353. 
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 
XX(519091.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1354. 
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 
XX(519092.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1355. 
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 
XX(519101.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1356. 
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 
XX(519104.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1357. 
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 
XX(519120.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24012-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1358. 
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:
1359. 
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:
1360. 
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:
1361. 
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:
1362. 
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:
1363. 
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:
1364. 
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:
1365. 
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:
1366. 
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:
1367. 
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:
1368. 
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:
1369. 
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:
1370. 
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:
1371. 
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:
1372. 
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:
1373. 
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:
1374. 
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:
1375. 
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:
1376. 
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:
1377. 
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:
1378. 
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:
1379. 
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:
1380. 
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:
1381. 
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:
1382. 
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:
1383. 
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:
1384. 
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:
1385. 
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:
1386. 
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:
1387. 
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:
1388. 
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:
1389. 
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:
1390. 
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:
1391. 
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:
1392. 
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:
1393. 
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:
1394. 
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:
1395. 
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:
1396. 
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:
1397. 
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:
1398. 
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:
1399. 
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:
1400. 
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:
1401. 
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.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
1402. 
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:
1403. 
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:
1404. 
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:
1405. 
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:
1406. 
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:
1407. 
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:
1408. 
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:
1409. 
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:
1410. 
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:
1411. 
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:
1412. 
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:
1413. 
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:
1414. 
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:
1415. 
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:
1416. 
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:
1417. 
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:
1418. 
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:
1419. 
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:
1420. 
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:
1421. 
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:
1422. 
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:
1423. 
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:
1424. 
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:
1425. 
Cover image for Mass Spectrometry for Lipidomics : Methods and Applications
Mass Spectrometry for Lipidomics : Methods and Applications
Author 
Holčapek, Michal, 1971- editor. Ekroos, Kim, editor.
Preferred Shelf Number 
XX(516183.1)
Electronic Access 
EBSCOhost https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=3570262
Format: 
Availability 
Online Library~1
Available:
Copies:
1426. 
Cover image for Springer Handbook of Augmented Reality
Springer Handbook of Augmented Reality
Author 
Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520176.1)
Electronic Access 
https://doi.org/10.1007/978-3-030-67822-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1427. 
Cover image for Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Author 
Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520189.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1428. 
Cover image for Cloud Transformation The Public Cloud Is Changing Businesses
Cloud Transformation The Public Cloud Is Changing Businesses
Author 
Frank, Roland. author. Schumacher, Gregor. author. Tamm, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520192.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-38823-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1429. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520194.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1430. 
Cover image for Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers
Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers
Author 
Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520195.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25648-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1431. 
Cover image for Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Author 
de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.
Preferred Shelf Number 
XX(520203.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25477-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1432. 
Cover image for Augmented Reality Where We Will All Live
Augmented Reality Where We Will All Live
Author 
Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520335.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32581-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1433. 
Cover image for Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings
Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings
Author 
Wang, Wei. editor. Wu, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520337.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40467-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1434. 
Cover image for New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
Author 
Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Preferred Shelf Number 
XX(520343.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1435. 
Cover image for Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
Author 
Santos, Rodrigo Pereira dos. editor. Hounsell, Marcelo da Silva. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520353.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27639-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1436. 
Cover image for Reference Architectures for Critical Domains Industrial Uses and Impacts
Reference Architectures for Critical Domains Industrial Uses and Impacts
Author 
Nakagawa, Elisa Yumi. editor. Oliveira Antonino, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520357.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-16957-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1437. 
Cover image for Computer Aided Engineering of Batteries
Computer Aided Engineering of Batteries
Author 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520358.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1438. 
Cover image for Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World
Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World
Author 
Visvizi, Anna. editor. Troisi, Orlando. editor. Grimaldi, Mara. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520359.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19560-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1439. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520370.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1440. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520371.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1441. 
Cover image for Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings
Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings
Author 
Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520440.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40213-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1442. 
Cover image for Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings
Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings
Author 
Gao, Feifei. editor. Wu, Jun. editor. Li, Yun. editor. Gao, Honghao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520456.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34790-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1443. 
Cover image for Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Author 
Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520458.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34586-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1444. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520459.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1445. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
Author 
Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520477.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1446. 
Cover image for Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers
Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers
Author 
Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.
Preferred Shelf Number 
XX(520656.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25380-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1447. 
Cover image for Security and Privacy in Communication Networks 18th EAI International Conference, SecureComm 2022, Virtual Event, October 2022, Proceedings
Security and Privacy in Communication Networks 18th EAI International Conference, SecureComm 2022, Virtual Event, October 2022, Proceedings
Author 
Li, Fengjun. editor. Liang, Kaitai. editor. Lin, Zhiqiang. editor. Katsikas, Sokratis K. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520658.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25538-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1448. 
Cover image for Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Author 
Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number 
XX(520663.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26886-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1449. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520612.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43670-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1450. 
Cover image for Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings
Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings
Author 
Dorronsoro, Bernabé. editor. (orcid) Chicano, Francisco. editor. Danoy, Gregoire. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520678.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34020-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1451. 
Cover image for Electronic Governance with Emerging Technologies Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers
Electronic Governance with Emerging Technologies Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers
Author 
Ortiz-Rodríguez, Fernando. editor. Tiwari, Sanju. editor. Usoro Usip, Patience. editor. Palma, Raul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520622.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43940-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1452. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520625.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1453. 
Cover image for Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520836.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29956-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1454. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520846.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1455. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520851.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30442-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1456. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520857.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1457. 
Cover image for Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
Author 
Gainaru, Ana. editor. Zhang, Ce. editor. Luo, Chunjie. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520861.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1458. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1459. 
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 
XX(520535.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-67782-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1460. 
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 
XX(520537.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3569-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1461. 
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 
XX(520551.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-04536-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1462. 
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 
XX(520552.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-09640-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1463. 
Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
Author 
Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520558.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25182-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1464. 
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 
XX(520570.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1465. 
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 
XX(520572.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1466. 
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 
XX(520580.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1467. 
Cover image for Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Author 
Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520676.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1468. 
Cover image for Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings
Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings
Author 
Afonso, João L. editor. Monteiro, Vitor. editor. Pinto, José Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520680.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33979-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1469. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
XX(520682.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1470. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
XX(520688.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1471. 
Cover image for Human Aspects of IT for the Aged Population 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Human Aspects of IT for the Aged Population 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Gao, Qin. editor. Zhou, Jia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521031.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34917-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1472. 
Cover image for New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings
New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings
Author 
Al-Bakry, Abbas M. editor. (orcid) Al-Mamory, Safaa O. editor. Sahib, Mouayad A. editor. (orcid) George, Loay E. editor. Aldhaibani, Jaafar A. editor. (orcid)
Preferred Shelf Number 
XX(520772.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35442-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1473. 
Cover image for Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521034.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35132-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1474. 
Cover image for Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers
Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers
Author 
Sleptchenko, Andrei. editor. Sifaleras, Angelo. editor. Hansen, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520951.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34500-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1475. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1476. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
Author 
Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520965.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1477. 
Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Author 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520822.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1478. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521140.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1479. 
Cover image for Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Author 
Stajano, Frank. editor. Matyáš, Vashek. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521253.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43033-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1480. 
Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Author 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521340.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1481. 
Cover image for Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Author 
Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521346.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1482. 
Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Author 
Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521351.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8085-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1483. 
Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II
Author 
Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521352.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8088-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1484. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1485. 
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 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1486. 
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 
XX(521302.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1487. 
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 
XX(521747.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1488. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
XX(520876.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1489. 
Cover image for Code-Based Cryptography 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers
Code-Based Cryptography 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers
Author 
Deneuville, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520916.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29689-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1490. 
Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
Author 
Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number 
XX(520919.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1491. 
Cover image for Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
Author 
Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.
Preferred Shelf Number 
XX(520922.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1492. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520405.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1648-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1493. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1494. 
Cover image for 6G Enabled Fog Computing in IoT Applications and Opportunities
6G Enabled Fog Computing in IoT Applications and Opportunities
Author 
Kumar, Mohit. editor. Gill, Sukhpal Singh. editor. Samriya, Jitendra Kumar. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520648.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30101-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1495. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Author 
Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
XX(520654.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24985-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1496. 
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 
XX(520510.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36574-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1497. 
Cover image for Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Author 
Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.
Preferred Shelf Number 
XX(520770.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1498. 
Cover image for Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521033.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1499. 
Cover image for Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings
Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. (orcid) Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
XX(520782.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42430-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1500. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
XX(520973.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action