Limit Search Results
Author
SpringerLink (Online service)
(1267)
Wiley InterScience (Online service)
(19)
Apduhan, Bernady O. editor.
(17)
Stephanidis, Constantine. editor.
(13)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(12)
Language
English
(1632)
Publication Date
-
Subject
Computer communication systems.
(469)
User interfaces (Computer systems).
(347)
Artificial intelligence.
(337)
Application software.
(317)
Software engineering.
(146)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
1642 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Dependable Computer Systems
Dependable Computer Systems
Author 
Zamojski, Wojciech. editor. Kacprzyk, Janusz. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21393-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Recognition Systems 4
Computer Recognition Systems 4
Author 
Burduk, Robert. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. Żołnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20320-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Recognition Systems 3
Computer Recognition Systems 3
Author 
Kurzynski, Marek. editor. Wozniak, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93905-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Recognition Systems 2
Computer Recognition Systems 2
Author 
Kurzynski, Marek. editor. Puchala, Edward. editor. Wozniak, Michal. editor. Zolnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75175-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Embedded systems and computer architecture
Embedded systems and computer architecture
Author 
Wilson, G. R. (Graham R.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750650649
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Dependability benchmarking for computer systems
Dependability benchmarking for computer systems
Author 
Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer systems and water resources
Computer systems and water resources
Author 
Bugliarello, George. Gunther, Fred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444412591
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Performance Optimization Systems - Applications - Processes
Computer Performance Optimization Systems - Applications - Processes
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29971-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Dependability of Networked Computer-based Systems
Dependability of Networked Computer-based Systems
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer relaying for power systems
Computer relaying for power systems
Author 
Phadke, Arun G. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=454369
John Wiley http://dx.doi.org/10.1002/9780470749722
Books24x7 http://www.books24x7.com/marc.asp?bookid=36482
http://site.ebrary.com/lib/alltitles/Doc?id=10319010
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer-aided modeling of reactive systems
Computer-aided modeling of reactive systems
Author 
Stewart, Warren E., 1924- Caracotsios, Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470282038
MyiLibrary, Table of contents http://www.myilibrary.com?id=137401&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007044566-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer-aided Systems in Public Transport
Computer-aided Systems in Public Transport
Author 
Hickman, Mark. editor. Mirchandani, Pitu. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73312-6
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Arithmetic and logic in computer systems
Arithmetic and logic in computer systems
Author 
Lu, Mi.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computer systems performance evaluation and prediction
Computer systems performance evaluation and prediction
Author 
Fortier, Paul J. Michel, Howard Edgar.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582609
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer solution of large linear systems
Computer solution of large linear systems
Author 
Meurant, Gérard A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501691
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Cases on modern computer systems in aviation
Cases on modern computer systems in aviation
Author 
Shmelova, Tetiana, 1961- editor. Sikirda, Yuliya, 1978- editor. Rizun, Nina, 1968- editor. Kucherov, Dmytro, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7588-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Ambient Communications and Computer Systems RACCCS-2018
Ambient Communications and Computer Systems RACCCS-2018
Author 
Hu, Yu-Chen. editor. Tiwari, Shailesh. editor. Mishra, Krishn K. editor. Trivedi, Munesh C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5934-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Ambient Communications and Computer Systems RACCCS 2017
Ambient Communications and Computer Systems RACCCS 2017
Author 
Perez, Gregorio Martinez. editor. Tiwari, Shailesh. editor. Trivedi, Munesh C. editor. Mishra, Krishn K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7386-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Modelling Computing Systems Mathematics for Computer Science
Modelling Computing Systems Mathematics for Computer Science
Author 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332574.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer-aided drug design and delivery systems
Computer-aided drug design and delivery systems
Author 
Nag, Ahindra. Dey, Baishakhi.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Principles of Computer Systems and Network Management
Principles of Computer Systems and Network Management
Author 
Verma, Dinesh Chandra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89009-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Human-Computer Systems Interaction Backgrounds and Applications
Human-Computer Systems Interaction Backgrounds and Applications
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Trends in Intelligent Systems and Computer Engineering
Trends in Intelligent Systems and Computer Engineering
Author 
Castillo, Oscar. editor. Xu, Li. editor. Ao, Sio-Iong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74935-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Security of e-Systems and Computer Networks
Security of e-Systems and Computer Networks
Author 
Obaidat, Mohammad. Boudriga, Noureddine.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Managing power electronics VLSI and DSP-driven computer systems
Managing power electronics VLSI and DSP-driven computer systems
Author 
Rossetti, Nazzareno, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5236490
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems
Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems
Author 
Pukite, Jan, 1928- Pukite, Paul.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fifth generation computer systems proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981
Fifth generation computer systems proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981
Author 
International Conference on Fifth Generation Computer Systems (1981 : Tokyo, Japan) Motooka, Tōru, 1929- Nihon Jōhō Shori Kaihatsu Kyōkai.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864406
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021
Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021
Author 
Gokhale, Anu. editor. Grant, Emanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7904-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers
Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers
Author 
Mercier-Laurent, Eunika. editor. Fernando, Xavier. editor. Chandrabose, Aravindan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39811-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Intelligent and Safe Computer Systems in Control and Diagnostics
Intelligent and Safe Computer Systems in Control and Diagnostics
Author 
Kowalczuk, Zdzislaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-16159-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Current Problems in Applied Mathematics and Computer Science and Systems
Current Problems in Applied Mathematics and Computer Science and Systems
Author 
Alikhanov, Anatoly. editor. Lyakhov, Pavel. editor. Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34127-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3
Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35314-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Dependable Computer Systems and Networks Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3-7, 2023, Brunów, Poland
Dependable Computer Systems and Networks Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3-7, 2023, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37720-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for IoT Enabled Computer-Aided Systems for Smart Buildings
IoT Enabled Computer-Aided Systems for Smart Buildings
Author 
Marques, Gonçalo. editor. Saini, Jagriti. editor. Dutta, Maitreyee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26685-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Research Techniques for Computer Science, Information Systems and Cybersecurity
Research Techniques for Computer Science, Information Systems and Cybersecurity
Author 
Mbanaso, Uche M. author. Abrahams, Lucienne. author. Okafor, Kennedy Chinedu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30031-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2
Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35317-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Intelligent Systems, Computer Science and Digital Economics IV
Advances in Intelligent Systems, Computer Science and Digital Economics IV
Author 
Hu, Zhengbing. editor. Wang, Yong. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24475-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Proceedings of Third International Conference on Advances in Computer Engineering and Communication Systems ICACECS 2022
Proceedings of Third International Conference on Advances in Computer Engineering and Communication Systems ICACECS 2022
Author 
Reddy, A. Brahmananda. editor. Nagini, S. editor. Balas, Valentina E. editor. Raju, K. Srujan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9228-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computer Vision Systems 14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings
Computer Vision Systems 14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings
Author 
Christensen, Henrik I. editor. Corke, Peter. editor. Detry, Renaud. editor. Weibel, Jean-Baptiste. editor. Vincze, Markus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44137-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings
Author 
Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computer Vision Systems 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings
Computer Vision Systems 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings
Author 
Tzovaras, Dimitrios. editor. Giakoumis, Dimitrios. editor. Vincze, Markus. editor. Argyros, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34995-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings
Author 
Pnevmatikatos, Dionisios N. editor. Pelcat, Maxime. editor. Jung, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27562-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
Author 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28957-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Research and Practical Issues of Enterprise Information Systems 12th IFIP WG 8.9 Working Conference, CONFENIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–19, 2018, Proceedings
Research and Practical Issues of Enterprise Information Systems 12th IFIP WG 8.9 Working Conference, CONFENIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–19, 2018, Proceedings
Author 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Raffai, Maria. editor. (orcid)0000-0001-6934-6366 Doucek, Petr. editor. (orcid)0000-0002-5647-661X Novak, Niina Maarit. editor. (orcid)0000-0003-4352-7534 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99040-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Analysis and Simulation of Electrical and Computer Systems
Analysis and Simulation of Electrical and Computer Systems
Author 
Mazur, Damian. editor. Gołębiowski, Marek. editor. Korkosz, Mariusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Author 
Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66775-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
Author 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99954-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Author 
Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computer Vision in Control Systems-3 Aerial and Satellite Image Processing
Computer Vision in Control Systems-3 Aerial and Satellite Image Processing
Author 
Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67516-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine
Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine
Author 
Shakhovska, Natalia. editor. Stepashko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70581-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74718-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Introduction to Distributed Computer Systems Principles and Features
Introduction to Distributed Computer Systems Principles and Features
Author 
Czaja, Ludwik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72023-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017
Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017
Author 
Kurzynski, Marek. editor. Wozniak, Michal. editor. Burduk, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59162-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Author 
Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99828-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computer Vision in Control Systems-4 Real Life Applications
Computer Vision in Control Systems-4 Real Life Applications
Author 
Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Human-Computer Systems Interaction Backgrounds and Applications 4
Human-Computer Systems Interaction Backgrounds and Applications 4
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62120-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Computer vision and imaging in intelligent transportation systems
Computer vision and imaging in intelligent transportation systems
Author 
Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Systems Analysis and Synthesis : Bridging Computer Science and Information Technology
Systems Analysis and Synthesis : Bridging Computer Science and Information Technology
Author 
Dwyer, Barry, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128053041
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Analysis and Simulation of Electrical and Computer Systems
Analysis and Simulation of Electrical and Computer Systems
Author 
Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11248-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Fusion of Smart, Multimedia and Computer Gaming Technologies Research, Systems and Perspectives
Fusion of Smart, Multimedia and Computer Gaming Technologies Research, Systems and Perspectives
Author 
Sharma, Dharmendra. editor. Favorskaya, Margarita. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14645-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory
Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18503-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18473-9
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms
Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms
Author 
Mery, Domingo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20747-6
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Computer Vision in Control Systems-1 Mathematical Theory
Computer Vision in Control Systems-1 Mathematical Theory
Author 
Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Computer Vision in Control Systems-2 Innovations in Practice
Computer Vision in Control Systems-2 Innovations in Practice
Author 
Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Author 
Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20904-3
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27340-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Computer Information Systems and Industrial Management 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings
Computer Information Systems and Industrial Management 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings
Author 
Saeed, Khalid. editor. Homenda, Wladyslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24369-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Author 
Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08434-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Information Sciences and Systems 2014 Proceedings of the 29th International Symposium on Computer and Information Sciences
Information Sciences and Systems 2014 Proceedings of the 29th International Symposium on Computer and Information Sciences
Author 
Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09465-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers
Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers
Author 
Jahangir, Amir Hossein. editor. Movaghar, Ali. editor. Asadi, Hossein. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10903-9
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Human-Computer Systems Interaction: Backgrounds and Applications 3
Human-Computer Systems Interaction: Backgrounds and Applications 3
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. Wtorek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08491-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Recent Trends in Computer Networks and Distributed Systems Security Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014. Proceedings
Recent Trends in Computer Networks and Distributed Systems Security Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014. Proceedings
Author 
Martinez Perez, Gregorio. editor. Thampi, Sabu M. editor. Ko, Ryan. editor. Shu, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54525-2
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings
Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings
Author 
Saeed, Khalid. editor. Snášel, Václav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE(332820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00945-2
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013
Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013
Author 
Burduk, Robert. editor. Jackowski, Konrad. editor. Kurzynski, Marek. editor. Wozniak, Michał. editor. Zolnierek, Andrzej. editor.
Preferred Shelf Number 
ONLINE(332823.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00969-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Advances in Intelligent Control Systems and Computer Science
Advances in Intelligent Control Systems and Computer Science
Author 
Dumitrache, Loan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333593.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Advances in Intelligent Systems and Applications - Volume 1 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
Advances in Intelligent Systems and Applications - Volume 1 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
Author 
Chang, Ruay-Shiung. editor. Jain, Lakhmi C. editor. Peng, Sheng-Lung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35452-6
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
Author 
Pan, Jeng-Shyang. editor. Yang, Ching-Nung. editor. Lin, Chia-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333990.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Author 
Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334795.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39402-7
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Performance modeling and design of computer systems : queueing theory in action
Performance modeling and design of computer systems : queueing theory in action
Author 
Harchol-Balter, Mor, 1966- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508924
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Innovations and Advances in Computer, Information, Systems Sciences, and Engineering
Innovations and Advances in Computer, Information, Systems Sciences, and Engineering
Author 
Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331351.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3535-8
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332878.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01604-7
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Author 
Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335029.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40925-7
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Author 
Bauer, Eric. Adams, Randee. Eustace, Dan.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047598
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2
Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23172-8
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1
Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23187-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Author 
Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Author 
Bauer, Eric. Adams, Randee. Eustace, Dan. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Advances in Future Computer and Control Systems Volume 1
Advances in Future Computer and Control Systems Volume 1
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Advances in Future Computer and Control Systems Volume 2
Advances in Future Computer and Control Systems Volume 2
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29390-0
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers
Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers
Author 
Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33760-4
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
Author 
Thampi, Sabu M. editor. Zomaya, Albert Y. editor. Strufe, Thorsten. editor. Alcaraz Calero, Jose M. editor. Thomas, Tony , 1927-1977 editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34135-9
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19–20, 2011, Melbourne, Australia Volume 2: Information Systems and Computer Engineering
Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19–20, 2011, Melbourne, Australia Volume 2: Information Systems and Computer Engineering
Author 
Jiang, Liangzhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25188-7
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.
Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.
Author 
Altheide, Cory. Carvey, Harlan A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597495868
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for The Seductive Computer Why IT Systems Always Fail
The Seductive Computer Why IT Systems Always Fail
Author 
Partridge, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-498-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Author 
Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19754-3
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Author 
Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21292-5
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Author 
Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22170-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22191-0
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Author 
Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers
Author 
Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25575-5
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Author 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22203-0
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings
Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings
Author 
Crowley, James L. editor. Draper, Bruce A. editor. Thonnat, Monique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23968-7
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes
Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes
Author 
Colombo, Luciano. editor. Fasolino, Annalisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9718-8
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Design for reliability information and computer-based systems
Design for reliability information and computer-based systems
Author 
Bauer, Eric.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Fundamentals of performance evaluation of computer and telecommunications systems
Fundamentals of performance evaluation of computer and telecommunications systems
Author 
Obaidat, Mohammad S. (Mohammad Salameh), 1952- Boudriga, Noureddine. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=484833
John Wiley http://dx.doi.org/10.1002/9780470567203
MyiLibrary, Table of contents http://www.myilibrary.com?id=249138&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10361221
http://swb.eblib.com/patron/FullRecord.aspx?p=484833
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision
Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision
Author 
Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14010-5
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Author 
Fritz, Mario. editor. Schiele, Bernt. editor. Piater, Justus H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04667-4
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Author 
Courtois, Pierre-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-372-9
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Author 
Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Thesis Projects A Guide for Students in Computer Science and Information Systems
Thesis Projects A Guide for Students in Computer Science and Information Systems
Author 
Berndtsson, Mikael. author. Hansson, Jörgen. author. Olsson, Björn. author. Lundell, Björn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-009-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Author 
Gasteratos, Antonios. editor. Vincze, Markus. editor. Tsotsos, John K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79547-6
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
Author 
Lytras, Miltiadis D. editor. Carroll, John M. editor. Damiani, Ernesto. editor. Tennyson, Robert D. editor. Avison, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87783-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Author 
Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Secure computer and network systems modeling, analysis and design
Secure computer and network systems modeling, analysis and design
Author 
Ye, Nong. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html
John Wiley http://dx.doi.org/10.1002/9780470023273
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Just-In-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems
Just-In-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems
Author 
Józefowska, Joanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Author 
Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Author 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Knowledge structures for communications in human-computer systems general automata-based
Knowledge structures for communications in human-computer systems general automata-based
Author 
Koenig, Eldo C. (Eldo Clyde), 1919- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988895
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
Author 
European Symposium on Computer Aided Process Engineering (16th : 2006 : Garmisch-Partenkirchen, Germany) Marquardt, W. Pantelides, C. International Symposium on Process Systems Engineering (9th : 2006 : Garmisch-Partenkirchen, Germany)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444529695
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Multivariable Computer-controlled Systems A Transfer Function Approach
Multivariable Computer-controlled Systems A Transfer Function Approach
Author 
Rosenwasser, Efim N. author. Lampe, Bernhard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-432-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Author 
Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138838
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Author 
Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786849
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile
The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile
Author 
Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34732-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Biometrics, Computer Security Systems and Artificial Intelligence Applications
Biometrics, Computer Security Systems and Artificial Intelligence Applications
Author 
Saeed, Khalid. editor. Pejaś, Jerzy. editor. Mosdorf, Romuald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36503-9
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005
Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005
Author 
Elleithy, Khaled. editor. Sobh, Tarek. editor. Mahmood, Ausif. editor. Iskander, Magued. editor. Karim, Mohammad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5261-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Author 
Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11859802
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
Author 
Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753810
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35273-2
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
Author 
Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101135
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104225
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computer Recognition Systems Proceedings of the 4th International Conference on Computer Recognition Systems CORES ’05
Computer Recognition Systems Proceedings of the 4th International Conference on Computer Recognition Systems CORES ’05
Author 
Kurzyński, Marek. editor. Puchała, Edward. editor. Woźniak, Michał. editor. żołnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32390-2
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104218
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574859
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Author 
Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138322
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Author 
Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136790
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556985
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Author 
Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572961
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for The elements of computing systems building a modern computer from first principles
The elements of computing systems building a modern computer from first principles
Author 
Nisan, Noam. Schocken, Shimon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276865
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Computer-aided design of analog integrated circuits and systems
Computer-aided design of analog integrated circuits and systems
Author 
Rutenbar, Rob A., 1957- Gielen, Georges. Antao, Brian.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265766
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Computer-managed maintenance systems a step-by-step guide to effective management of maintenance, labor, and inventory
Computer-managed maintenance systems a step-by-step guide to effective management of maintenance, labor, and inventory
Author 
Cato, William W. Mobley, R. Keith, 1943-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750674737
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems
Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems
Author 
Garrett, Patrick H.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0471221554
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001046730.html
ebrary http://site.ebrary.com/id/10299172
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/47971537.html
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Reliability of computer systems and networks fault tolerance, analysis and design
Reliability of computer systems and networks fault tolerance, analysis and design
Author 
Shooman, Martin L. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/047122460X
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2002265406.html
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Automotive computer controlled systems diagnostic tools and techniques
Automotive computer controlled systems diagnostic tools and techniques
Author 
Bonnick, Allan W. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750650892
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Validating Corporate Computer Systems Good IT Practice for Pharmaceutical Manufacturers
Validating Corporate Computer Systems Good IT Practice for Pharmaceutical Manufacturers
Author 
Wingate, Guy .
Preferred Shelf Number 
RS192 .V34 2000 EB
Electronic Access 
http://www.crcnetbase.com/doi/book/10.1201/b14417
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Performance of computer communication systems a model-based approach
Performance of computer communication systems a model-based approach
Author 
Haverkort, Boudewijn R.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470841923
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/39235782.html
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for The design of computer supported cooperative work and groupware systems
The design of computer supported cooperative work and groupware systems
Author 
Shapiro, Dan S. Tauber, Michael J. Traunmüller, R. (Roland)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444819987
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Author 
Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Systems that learn an introduction to learning theory for cognitive and computer scientists
Systems that learn an introduction to learning theory for cognitive and computer scientists
Author 
Osherson, Daniel N. Stob, Michael. Weinstein, Scott.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267314
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Computer methods in the analysis of large-scale social systems; proceedings of a conference held at the Joint Center for Urban Studies of the Massachusetts Institute of Technology and Harvard University in Cambridge, Massachusetts on October 19-21, 1964.
Computer methods in the analysis of large-scale social systems; proceedings of a conference held at the Joint Center for Urban Studies of the Massachusetts Institute of Technology and Harvard University in Cambridge, Massachusetts on October 19-21, 1964.
Author 
Beshers, James M., ed. Joint Center for Urban Studies.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267219
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Network simulation experiments manual
Network simulation experiments manual
Author 
Aboelela, Emad. Peterson, Larry L. Computer networks : a systems approach. Davie, Bruce S. Computer networks : a systems approach.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120421718
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL
Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL
Author 
Tripathi, Saurabh Mani. editor. Gonzalez-Longatt, Francisco M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0224-8
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Drone Data Analytics in Aerial Computing
Drone Data Analytics in Aerial Computing
Author 
Karthikeyan, P. editor. Kumar, Sathish. editor. Anbarasu, V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5056-0
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Paradigms of Smart and Intelligent Communication, 5G and Beyond
Paradigms of Smart and Intelligent Communication, 5G and Beyond
Author 
Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0109-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Python Programming Recipes for IoT Applications
Python Programming Recipes for IoT Applications
Author 
Parab, Jivan S. author. Lanjewar, Madhusudan Ganuji. author. Sequeira, Marlon Darius. author. Naik, Gourish. author. Shaikh, Arman Yusuf. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9466-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Logic testing and design for testability
Logic testing and design for testability
Author 
Fujiwara, Hideo.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Performance and evaluation of Lisp systems
Performance and evaluation of Lisp systems
Author 
Gabriel, Richard P.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267265
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Metamodeling a study of approximations in queueing models
Metamodeling a study of approximations in queueing models
Author 
Agrawal, Subhash Chandra.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267206
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Using advanced MPI : modern features of the Message-Passing-Interface
Using advanced MPI : modern features of the Message-Passing-Interface
Author 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number 
ONLINE(364986.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for The LOCUS distributed system architecture
The LOCUS distributed system architecture
Author 
Popek, Gerald. Walker, Bruce James, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267466
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Embedded systems for biomedical applications
Embedded systems for biomedical applications
Author 
Malviya, Rishabha, editor. Karakuş, Selcan, editor. Roy, Mukesh, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003508199
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2443-1
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Computer Aided Engineering of Batteries
Computer Aided Engineering of Batteries
Author 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Author 
Longfei, Shangguan. editor. Bodhi, Priyantha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Gamification Design for Educational Contexts Theoretical and Practical Contributions
Gamification Design for Educational Contexts Theoretical and Practical Contributions
Author 
Toda, Armando. editor. Cristea, Alexandra I. editor. Isotani, Seiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31949-5
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Stepping into Virtual Reality
Stepping into Virtual Reality
Author 
Gutiérrez A., Mario A. author. Vexo, Frédéric. author. Thalmann, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35442-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Science, Engineering Management and Information Technology First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I
Science, Engineering Management and Information Technology First International Conference, SEMIT 2022, Ankara, Turkey, February 2-3, 2022, Revised Selected Papers, Part I
Author 
Mirzazadeh, Abolfazl. editor. Erdebilli, Babek. editor. Babaee Tirkolaee, Erfan. editor. Weber, Gerhard-Wilhelm. editor. Kar, Arpan Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV
Author 
Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37745-7
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I
Author 
Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37660-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42286-7
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings
Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings
Author 
Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42785-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Author 
Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27066-6
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for RoboCup 2022: Robot World Cup XXV
RoboCup 2022: Robot World Cup XXV
Author 
Eguchi, Amy. editor. Lau, Nuno. editor. Paetzel-Prüsmann, Maike. editor. Wanichanon, Thanapat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28469-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers
Author 
Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27199-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4742-3
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4749-2
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4755-3
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4752-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V
Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V
Author 
Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part II
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part II
Author 
Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37742-6
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
Author 
Calvaresi, Davide. editor. (orcid) Najjar, Amro. editor. Omicini, Andrea. editor. Aydogan, Reyhan. editor. (orcid) Carli, Rachele. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40878-6
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35132-7
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
Author 
Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36616-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Author 
Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Implants and Oral Rehabilitation of the Atrophic Maxilla Advanced Techniques and Technologies
Implants and Oral Rehabilitation of the Atrophic Maxilla Advanced Techniques and Technologies
Author 
Rinaldi, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-12755-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
Author 
González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Intelligent Cyber Physical Systems and Internet of Things ICoICI 2022
Intelligent Cyber Physical Systems and Internet of Things ICoICI 2022
Author 
Hemanth, Jude. editor. Pelusi, Danilo. editor. Chen, Joy Iong-Zong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-18497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Digital Technologies and Applications Proceedings of ICDTA'23, Fez, Morocco, Volume 2
Digital Technologies and Applications Proceedings of ICDTA'23, Fez, Morocco, Volume 2
Author 
Motahhir, Saad. editor. (orcid)0000-0002-6846-8908 Bossoufi, Badre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29860-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Computer Vision and Robotics Proceedings of CVR 2022
Computer Vision and Robotics Proceedings of CVR 2022
Author 
Shukla, Praveen Kumar. editor. Singh, Krishna Pratap. editor. Tripathi, Ashish Kumar. editor. Engelbrecht, Andries. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
Author 
Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31775-0
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 1
Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 1
Author 
Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31860-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Internet of Things Enabled Antennas for Biomedical Devices and Systems Impact, Challenges and Applications
Internet of Things Enabled Antennas for Biomedical Devices and Systems Impact, Challenges and Applications
Author 
Malik, Praveen K. editor. Shastry, Prasad N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0212-5
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for The Architectural and Technological Revolution of 5G
The Architectural and Technological Revolution of 5G
Author 
Frauendorf, José Luiz. author. Almeida de Souza, Érika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-10650-7
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for IOT with Smart Systems Proceedings of ICTIS 2022, Volume 2
IOT with Smart Systems Proceedings of ICTIS 2022, Volume 2
Author 
Choudrie, Jyoti. editor. Mahalle, Parikshit. editor. Perumal, Thinagaran. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3575-6
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for World Internet Development Report 2021 Blue Book for World Internet Conference.
World Internet Development Report 2021 Blue Book for World Internet Conference.
Author 
Publishing House of Electronics Industry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9323-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for ITNG 2023 20th International Conference on Information Technology-New Generations
ITNG 2023 20th International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Real-time and Autonomous Systems 2022 Automation in Everyday Life
Real-time and Autonomous Systems 2022 Automation in Everyday Life
Author 
Unger, Herwig. editor. Schaible, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32700-1
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Advances on P2P, Parallel, Grid, Cloud and Internet Computing Proceedings of the 17th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2022)
Advances on P2P, Parallel, Grid, Cloud and Internet Computing Proceedings of the 17th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2022)
Author 
Barolli, Leonard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19945-5
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Author 
Kryzhanovsky, Boris. editor. (orcid)0000-0002-0901-6370 Dunin-Barkowski, Witali. editor. (orcid)0000-0003-2716-7786 Redko, Vladimir. editor. (orcid)0000-0002-3748-2379 Tiumentsev, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Advances in Design and Digital Communication III Proceedings of the 6th International Conference on Design and Digital Communication, Digicom 2022, November 3-5, 2022, Barcelos, Portugal
Advances in Design and Digital Communication III Proceedings of the 6th International Conference on Design and Digital Communication, Digicom 2022, November 3-5, 2022, Barcelos, Portugal
Author 
Martins, Nuno. editor. Brandão, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20364-0
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for The Future of Smart Production for SMEs A Methodological and Practical Approach Towards Digitalization in SMEs
The Future of Smart Production for SMEs A Methodological and Practical Approach Towards Digitalization in SMEs
Author 
Madsen, Ole. editor. Berger, Ulrich. editor. Møller, Charles. editor. Heidemann Lassen, Astrid. editor. Vejrum Waehrens, Brian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15428-7
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Automated and Electric Vehicle: Design, Informatics and Sustainability
Automated and Electric Vehicle: Design, Informatics and Sustainability
Author 
Cao, Yue. editor. Zhang, Yuanjian. editor. Gu, Chenghong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5751-2
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for ICT Systems and Sustainability Proceedings of ICT4SD 2022
ICT Systems and Sustainability Proceedings of ICT4SD 2022
Author 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5221-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Intelligent Transportation Systems: Theory and Practice
Intelligent Transportation Systems: Theory and Practice
Author 
Tyagi, Amit Kumar. author. Sreenath, Niladhuri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Graphs in VLSI
Graphs in VLSI
Author 
Bairamkulov, Rassul. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-11047-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Lifetime Reliability-aware Design of Integrated Circuits
Lifetime Reliability-aware Design of Integrated Circuits
Author 
Raji, Mohsen. author. Ghavami, Behnam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15345-7
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Logic Locking A Practical Approach to Secure Hardware
Logic Locking A Practical Approach to Secure Hardware
Author 
Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19123-7
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges
Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges
Author 
Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936 Aydoğan, Reyhan. editor. Ito, Takayuki. editor. (orcid)0000-0001-5093-3886 Arisaka, Ryuta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0561-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Fundamental and Applied Scientific Research in the Development of Agriculture in the Far East (AFE-2022) Agricultural Cyber-Physical Systems, Volume 2
Fundamental and Applied Scientific Research in the Development of Agriculture in the Far East (AFE-2022) Agricultural Cyber-Physical Systems, Volume 2
Author 
Zokirjon ugli, Khasanov Sayidjakhon. editor. Muratov, Aleksei. editor. Ignateva, Svetlana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36960-5
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Sustainable Smart Cities Enabling Technologies, Energy Trends and Potential Applications
Sustainable Smart Cities Enabling Technologies, Energy Trends and Potential Applications
Author 
Mishra, Priyanka. author. Singh, Ghanshyam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33354-5
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Switched Inductor Power IC Design
Switched Inductor Power IC Design
Author 
Rincón-Mora, Gabriel Alfonso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-95899-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Handbook of Neuroengineering
Handbook of Neuroengineering
Author 
Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-5540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA, Volume 2
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA, Volume 2
Author 
Kim, Kyoung-Yun. editor. Monplaisir, Leslie. editor. Rickli, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17629-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Springer Handbook of Automation
Springer Handbook of Automation
Author 
Nof, Shimon Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-96729-1
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for IOT with Smart Systems ICTIS 2023, Volume 2
IOT with Smart Systems ICTIS 2023, Volume 2
Author 
Choudrie, Jyoti. editor. Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3761-5
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Mixed Reality for Education
Mixed Reality for Education
Author 
Cai, Yiyu. editor. Mangina, Eleni. editor. Goei, Sui Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
Author 
Kukkala, Vipin Kumar. editor. Pasricha, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Distributed Fault-Tolerant Consensus Control of Leader-Following Systems Based on Adaptive Control Approach
Distributed Fault-Tolerant Consensus Control of Leader-Following Systems Based on Adaptive Control Approach
Author 
Shen, Qikun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7426-9
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022
Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022
Author 
Virvou, Maria. editor. Saruwatari, Takuya. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17583-1
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Security, Trust and Privacy Models, and Architectures in IoT Environments
Security, Trust and Privacy Models, and Architectures in IoT Environments
Author 
Fotia, Lidia. editor. Messina, Fabrizio. editor. Rosaci, Domenico. editor. Sarné, Giuseppe M.L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21940-5
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for 9th International Conference on Mobility, IoT and Smart Cities EAI Mobility IoT 2022
9th International Conference on Mobility, IoT and Smart Cities EAI Mobility IoT 2022
Author 
Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 Zohrehvandi, Shakib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Pervasive Computing and Social Networking Proceedings of ICPCSN 2022
Pervasive Computing and Social Networking Proceedings of ICPCSN 2022
Author 
Ranganathan, G. editor. Bestak, Robert. editor. Fernando, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Production Planning and Control in Semiconductor Manufacturing Big Data Analytics and Industry 4.0 Applications
Production Planning and Control in Semiconductor Manufacturing Big Data Analytics and Industry 4.0 Applications
Author 
Chen, Tin-Chih Toly. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-14065-5
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Nature-Inspired Intelligent Computing Techniques in Bioinformatics
Nature-Inspired Intelligent Computing Techniques in Bioinformatics
Author 
Raza, Khalid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6379-7
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for ICT Analysis and Applications Proceedings of ICT4SD 2022
ICT Analysis and Applications Proceedings of ICT4SD 2022
Author 
Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5224-1
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Sensor networks in theory and practice Successfully realize embedded systems projects
Sensor networks in theory and practice Successfully realize embedded systems projects
Author 
Meroth, Ansgar. author. Sora, Petre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-39576-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Advances in Technical Diagnostics II Proceedings of the 7th International Congress on Technical Diagnostics, ICTD 2022, 14-16 September 2022, Radom, Poland
Advances in Technical Diagnostics II Proceedings of the 7th International Congress on Technical Diagnostics, ICTD 2022, 14-16 September 2022, Radom, Poland
Author 
Puchalski, Andrzej. editor. Łazarz, Bogusław Edward. editor. Chaari, Fakher. editor. Komorska, Iwona. editor. Zimroz, Radoslaw. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31719-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for The Fifth International Conference on Safety and Security with IoT SaSeIoT 2021
The Fifth International Conference on Safety and Security with IoT SaSeIoT 2021
Author 
Nayyar, Anand. editor. (orcid)0000-0002-9821-6146 Paul, Anand. editor. Tanwar, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-94285-4
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Developments in Design Research and Practice II Best Papers from the 11th Senses and Sensibility 2021: Designing Next Genera(c)tions
Developments in Design Research and Practice II Best Papers from the 11th Senses and Sensibility 2021: Designing Next Genera(c)tions
Author 
Duarte, Emilia. editor. (orcid)0000-0002-1932-9098 Di Roma, Annalisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32280-8
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Author 
Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21294-9
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for On-Chip Training NPU - Algorithm, Architecture and SoC Design
On-Chip Training NPU - Algorithm, Architecture and SoC Design
Author 
Han, Donghyeon. author. Yoo, Hoi-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34237-0
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for European Workshop on Structural Health Monitoring EWSHM 2022 - Volume 2
European Workshop on Structural Health Monitoring EWSHM 2022 - Volume 2
Author 
Rizzo, Piervincenzo. editor. Milazzo, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-07258-1
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for European Workshop on Structural Health Monitoring EWSHM 2022 - Volume 1
European Workshop on Structural Health Monitoring EWSHM 2022 - Volume 1
Author 
Rizzo, Piervincenzo. editor. Milazzo, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-07254-3
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings
Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings
Author 
Babichev, Sergii. editor. Lytvynenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-16203-9
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Practical Internet of Things Networking Understanding IoT Layered Architecture
Practical Internet of Things Networking Understanding IoT Layered Architecture
Author 
Herrero, Rolando. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Machine Intelligence Techniques for Data Analysis and Signal Processing Proceedings of the 4th International Conference MISP 2022, Volume 1
Machine Intelligence Techniques for Data Analysis and Signal Processing Proceedings of the 4th International Conference MISP 2022, Volume 1
Author 
Sisodia, Dilip Singh. editor. Garg, Lalit. editor. Pachori, Ram Bilas. editor. Tanveer, M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0085-5
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for A Guide to Applied Machine Learning for Biologists
A Guide to Applied Machine Learning for Biologists
Author 
Badar, Mohammad "Sufian". editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Computer Assisted Music and Dramatics Possibilities and Challenges
Computer Assisted Music and Dramatics Possibilities and Challenges
Author 
Salgaonkar, Ambuja. editor. Velankar, Makarand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Soft Computing and Signal Processing Proceedings of 5th ICSCSP 2022
Soft Computing and Signal Processing Proceedings of 5th ICSCSP 2022
Author 
Reddy, V. Sivakumar. editor. Prasad, V. Kamakshi. editor. Wang, Jiacun. editor. Reddy, K. T. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8669-7
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Control and Optimization Methods for Complex System Resilience
Control and Optimization Methods for Complex System Resilience
Author 
Zhai, Chao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for System on Chip (SOC) Architecture A Practical Approach
System on Chip (SOC) Architecture A Practical Approach
Author 
Chakravarthi, Veena S. author. Koteshwar, Shivananda R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36242-2
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Deep Reinforcement Learning Processor Design for Mobile Applications
Deep Reinforcement Learning Processor Design for Mobile Applications
Author 
Lee, Juhyoung. author. Yoo, Hoi-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36793-9
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Artificial Intelligence for Cyber-Physical Systems Hardening
Artificial Intelligence for Cyber-Physical Systems Hardening
Author 
Traore, Issa. editor. Woungang, Isaac. editor. Saad, Sherif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-16237-4
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Machine Learning for Indoor Localization and Navigation
Machine Learning for Indoor Localization and Navigation
Author 
Tiku, Saideep. editor. Pasricha, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26712-3
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Hardware Security Training, Hands-on!
Hardware Security Training, Hands-on!
Author 
Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Simulating Conversations for the Prediction of Speech Quality
Simulating Conversations for the Prediction of Speech Quality
Author 
Michael, Thilo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for 5G NR, Wi-Fi 6, and Bluetooth LE 5 A Primer on Smartphone Wireless Technologies
5G NR, Wi-Fi 6, and Bluetooth LE 5 A Primer on Smartphone Wireless Technologies
Author 
Morais, Douglas H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33812-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Information Technology and Systems ICITS 2023, Volume 1
Information Technology and Systems ICITS 2023, Volume 1
Author 
Rocha, Álvaro. editor. Ferrás, Carlos. editor. Ibarra, Waldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33258-6
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Proceeding of 2022 International Conference on Wireless Communications, Networking and Applications (WCNA 2022)
Proceeding of 2022 International Conference on Wireless Communications, Networking and Applications (WCNA 2022)
Author 
Qian, Zhihong. editor. Jabbar, M.A. editor. Cheung, Simon K. S. editor. Li, Xiaolong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3951-0
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Advances in Computer Science for Engineering and Education VI
Advances in Computer Science for Engineering and Education VI
Author 
Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Information Technology and Systems ICITS 2023, Volume 2
Information Technology and Systems ICITS 2023, Volume 2
Author 
Rocha, Álvaro. editor. Ferrás, Carlos. editor. Ibarra, Waldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for ICT for Intelligent Systems Proceedings of ICTIS 2023
ICT for Intelligent Systems Proceedings of ICTIS 2023
Author 
Choudrie, Jyoti. editor. Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3982-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Assessing the Quality of Experience of Cloud Gaming Services
Assessing the Quality of Experience of Cloud Gaming Services
Author 
Schmidt, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-06011-3
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Artificial Intelligence and Industrial Applications Algorithms, Techniques, and Engineering Applications
Artificial Intelligence and Industrial Applications Algorithms, Techniques, and Engineering Applications
Author 
Masrour, Tawfik. editor. Ramchoun, Hassan. editor. Hajji, Tarik. editor. Hosni, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43520-1
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Artificial Intelligence and Industrial Applications Smart Operation Management
Artificial Intelligence and Industrial Applications Smart Operation Management
Author 
Masrour, Tawfik. editor. El Hassani, Ibtissam. editor. Barka, Noureddine. editor. (orcid)0000-0003-2330-8326 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Emerging IT/ICT and AI Technologies Affecting Society
Emerging IT/ICT and AI Technologies Affecting Society
Author 
Chaurasia, Mousmi Ajay. editor. Juang, Chia-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2940-3
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Enhanced Virtual Prototyping for Heterogeneous Systems
Enhanced Virtual Prototyping for Heterogeneous Systems
Author 
Hassan, Muhammad. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05574-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action