Search Results for Computer systems.

1.

Cover image for 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.

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.

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.

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.

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.

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.

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.

Aircraft digital electronic and computer systems

Author

Tooley, Michael H., author.

Preferred Shelf Number

TL693

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003215516
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

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:

11.

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:

12.

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.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

Pharmaceutical computer systems validation : quality assurance, risk management and regulatory compliance

Author

Wingate, Guy.

Preferred Shelf Number

HD9665.5 .C664 2010

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

20.

INTELLIGENT SYSTEMS AND APPLICATIONS IN COMPUTER VISION

Author

Mittal, Nitin. Kant Pandit, Amit. Abouhawwash, Mohamed. Mahajan, Shubham.

Preferred Shelf Number

TA1634

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003453406
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

Testing computer systems for FDA/MHRA compliance

Author

Stokes, David., author.

Preferred Shelf Number

RS418 .S76 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

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:

33.

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:

34.

Computer aided design, engineering, and manufacturing : systems techniques and applications

Author

Leondes, Cornelius T.

Preferred Shelf Number

TS155.6 .C6455 2001

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780367802370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Computer science engineering : proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024. Volume 1

Computer science engineering : proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024. Volume 1

Author

International Conference on Computing and Intelligent Information Systems (1st : 2024 Bangalore, India) Gururaj, H. L., 1988- editor.

Preferred Shelf Number

QA76.76 .E95 I58 2024 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032711157
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

36.

MATLAB for brain-computer interface systems : computation and data processing

Author

Shariaty, Faridoddin, author. Roy, Sanjiban Sekhar, author.

Preferred Shelf Number

QA76.9 .U83

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003587545
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

37.

Computer science engineering : proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024. Volume 2

Author

International Conference on Computing and Intelligent Information Systems (1st : 2024 Bangalore, India) Gururaj, H. L., 1988- editor.

Preferred Shelf Number

QA76.76 .E95 I58 2024 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003565024
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

Buying Complex IT Systems Computer System Procurement for Non-Technical Managers.

Author

Reynolds, Matthew.

Preferred Shelf Number

T58.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003427766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

52.

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:

53.

Computer vision and recognition systems : research innovations and trends

Author

Chowdhary, Chiranji Lal, 1975- editor. Reddy, G. Thippa, editor. Parameshachari, B.D., 1981- editor.

Preferred Shelf Number

TA1634

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003180593
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Recent advances in computer based systems, processes and applications : proceedings of National Conference on Recent Advances in Computer Based Systems, Processes and Applications (RACSPA-2019), Vellore Institute of Technology, Amaravati, India, 22-23 October, 2019

Recent advances in computer based systems, processes and applications : proceedings of National Conference on Recent Advances in Computer Based Systems, Processes and Applications (RACSPA-2019), Vellore Institute of Technology, Amaravati, India, 22-23 October, 2019

Author

Namburu, Anupama. Barpanda, Soubhagya Sankar.

Preferred Shelf Number

QA75.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003043980
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

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 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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems

Author

Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.

Preferred Shelf Number

TA166 .B436 2018

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355
Taylor & Francis https://www.taylorfrancis.com/books/9780429188145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

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:

84.

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:

85.

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:

86.

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:

87.

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:

88.

Applying systemic-structural activity theory to design of human-computer interaction systems

Author

Bedny, Gregory Z., author. Karwowski, Waldemar, 1953- author. Bedny, Inna, author.

Preferred Shelf Number

QA76.9 .H85 B434 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

Computer systems experiences of users with and without disabilities : an evaluation guide for professionals

Author

Borsci, Simone, author. Kurosu, Masaaki, author. Federici, Stefano, author. Mele, Maria Laura, author.

Preferred Shelf Number

QA76.9 .U83 B67 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

97.

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:

98.

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:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

Computer-aided control systems design : practical applications using MATLAB and Simulink

Author

Chin, Cheng Siong., author.

Preferred Shelf Number

TJ217 .C478 2013

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach

Author

Balasa, Florin. Pradhan, Dhiraj K.

Preferred Shelf Number

TK7895 .E42 E69 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

Validating pharmaceutical systems : good computer practice in life science manufacturing

Author

Andrews, John.

Preferred Shelf Number

RS122.2 .V35 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

188.

Developing performance support for computer systems : a strategy for maximizing usability and learnability

Author

Williams, James R. (James Richard), 1932-

Preferred Shelf Number

QA76 .W5185 2004

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781136864964
Taylor & Francis https://www.taylorfrancis.com/books/9780203228531
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Computer systems validation : quality assurance, risk management, and regulatory compliance for pharmaceutical and healthcare companies

Computer systems validation : quality assurance, risk management, and regulatory compliance for pharmaceutical and healthcare companies

Author

Wingate, Guy.

Preferred Shelf Number

HD9665.5 .C664 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

190.

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:

191.

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:

192.

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:

193.

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:

194.

Time-domain computer analysis of nonlinear hybrid systems

Author

Sui, Wenquan, author.

Preferred Shelf Number

TK7867 .S95 2002

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

195.

Biomechanical systems : techniques and applications. Volume 1, Computer techniques and computational methods in biomechanics

Author

Leondes, Cornelius T.

Preferred Shelf Number

QH513

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780367802264
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

196.

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:

197.

Computer aided design, engineering, and manufacturing : systems techniques and applications

Author

Leondes, Cornelius T.

Preferred Shelf Number

TS155.6 .C6455 2001

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

198.

Validating corporate computer systems : good IT practice for pharmaceutical manufacturers

Author

Wingate, Guy, editor.

Preferred Shelf Number

RS192 .V35 2000

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

199.

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:

200.

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:

201.

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:

202.

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:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

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:

209.

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:

210.

Optimization with LINGO-18 : problems and applications

Author

Gupta, Neha, 1986- author. Ali, Irfan, author.

Preferred Shelf Number

QA402.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003048893
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

211.

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:

212.

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:

213.

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:

214.

Systems techniques and computational methods

Author

Leondes, Cornelius T.

Preferred Shelf Number

TS155.6 .C6455 2001

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420049893
Taylor & Francis https://www.taylorfrancis.com/books/e/9781420049893
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

215.

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:

216.

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:

217.

Artificial intelligence & blockchain in cyber physical systems : technologies & applications

Author

Arif, Muhammad (Computer scientist), editor. Balas, Valentina Emilia, editor. Nafis, Md Tabrez, editor. Qureshi, Nawab Muhammad Faseeh, editor. Wazir, Samar, editor.

Preferred Shelf Number

TJ213

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003190301
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

218.

Data-rate-constrained state estimation and control of complex networked systems

Author

Wang, Licheng (Electronics and computer engineer), author. Wang, Zidong, 1966- author. Wei, Guoliang, author.

Preferred Shelf Number

TK5105

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003534853
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

219.

Intelligent internet of things for smart healthcare systems

Author

Srivastava, Durgesh (Computer scientist), editor. Sharma, Neha (Computer scientist), editor. Sinwar, Deepak, editor. Yousif, Jabar H., editor. Gupta, Hari Prabhat, editor.

Preferred Shelf Number

R859

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003326182
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

220.

Machine learning-based fault diagnosis for industrial engineering systems

Author

Yang, Rui (Professor of computer engineering), author. Zhong, Maiying, author.

Preferred Shelf Number

TA169.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003240754
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

221.

Intelligent adaptive systems : an interaction-centered design perspective

Author

Hou, Ming (Computer scientist), author. Banbury, Simon, author. Burns, Catherine M., 1968- author.

Preferred Shelf Number

QA76.9 .A3 H68 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

222.

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

Author

Hobbs, Chris (Christopher W.)

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003598145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

223.

Intelligent networks and systems : advanced technologies and applications

Author

Siddique, N. H., editor. Arefin, Mohammad Shamsul, editor. Noori, Sheak Rashed Haider, editor. Kaiser, M. Shamim, editor.

Preferred Shelf Number

QA76.76 .E95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032659770
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

224.

SMART CYBER-PHYSICAL SYSTEMS innovations and real world implications.

Preferred Shelf Number

TK7895 .E42

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003542513
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

225.

Industry 4.0 and intelligent manufacturing technologies

Author

Mrugalska, Beata, editor. Karwowski, Waldemar, 1953- editor. Ahram, Tareq Z., editor.

Preferred Shelf Number

T59.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003625360
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cyber-physical systems : applications, challenges, and research directions

Author

Aluvalu, Rajanikanth, editor. Borah, Samarjeet, editor Garg, Lalit, 1977- editor

Preferred Shelf Number

TK7895 .E42

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781779643421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

227.

ENGINEERING SWARMS OF CYBER-PHYSICAL SYSTEMS

Author

Schranz, Melanie. Elmenreich, Wilfried. Arvin, Farshad.

Preferred Shelf Number

TJ213

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003194460
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

228.

Advances in Computational Intelligence for Health Informatics and Computer-Aided Diagnosis : Methods, Applications, and Tools

Author

Malini, A., editor Bhatia, Surbhi, 1988- editor. Kayalvizhi, S., editor Saraee, Mohamad, editor.

Preferred Shelf Number

R858

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003484233
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cyber-physical system for rural development : technological innovations for sustainable futures

Author

Zahoor, Saniya, editor. Sofi, Shabir Ahmad, 1968- editor. Verma, Prabal, editor. Sheng, Victor, editor.

Preferred Shelf Number

HN49 .C6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003537632
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

230.

Game design deep dive : real-time strategy

Author

Bycer, Joshua, author.

Preferred Shelf Number

GV1469.34 .R44

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003476764
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for The Meyers neuropsychological battery : a comprehensive systems approach to analysing and interpreting tests for practicing clinicians

The Meyers neuropsychological battery : a comprehensive systems approach to analysing and interpreting tests for practicing clinicians

Author

Meyers, John (John E.), author.

Preferred Shelf Number

RC386.6 .N48

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003498339
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Integrating AI techniques into the design and development of smart cyber-physical systems : defense, biomedical, infrastructure, and transportation

Integrating AI techniques into the design and development of smart cyber-physical systems : defense, biomedical, infrastructure, and transportation

Author

Mala, D. Jeya, 1974- author. Dhanapal, Anto Cordelia Tanislaus Antony author Sthapit, Saurav author Khadka, Anita, 1988- author.

Preferred Shelf Number

TA347 .A78

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003489986
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

233.

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:

234.

Cyber physical system 2.0 : communication and computational technologies

Author

Jha, Amitkumar Vidyakant, editor. Appasani, Bhargav, editor.

Preferred Shelf Number

TJ213

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003559993
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

235.

Embedded systems for biomedical applications

Author

Malviya, Rishabha, editor. Karakuş, Selcan, editor. Roy, Mukesh, editor.

Preferred Shelf Number

R856

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:

236.

User Experience Methods and Tools in Human-Computer Interaction

Author

Stephanidis, Constantine, editor. Salvendy, Gavriel, 1938- editor.

Preferred Shelf Number

QA76.9 .U83

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003495161
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

237.

Security and privacy of cyber-physical systems : emerging trends, technologies, and applications

Author

Imoize, Agbotiname Lucky, editor. Montlouis, Webert, editor. Popoola, Segun I., editor. Hammoudeh, Mohammad, editor.

Preferred Shelf Number

QA76.9 .A25 S43 2025 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9788743801306
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

238.

Expressive iteration : designing for meaningful routines

Author

Chow, Kenny K. N., 1971- author.

Preferred Shelf Number

QA76.9 .H85

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003391449
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

239.

Smarter cyber physical systems : enabling methodologies and applications

Author

Wan, Yan, editor. Vamvoudakis, Kyriakos G., editor. Chen, YangQuan, 1966- editor. Lewis, Frank L., editor.

Preferred Shelf Number

TK7895 .E42 S579 2025 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003243731
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

240.

ENTERPRISE FORTRESS the ultimate handbook for enterprise security architecture.

Author

Stevens, Alex.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003585923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

241.

Secure and smart cyber-physical systems

Author

Ghosh, Uttam, editor.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003376712
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

242.

ADVANCED COMPUTING TECHNIQUES FOR OPTIMIZATION IN CLOUD

Author

S., Madhusudhan H., editor. Gupta, Punit, editor. Rawat, Pradeep Singh, editor.

Preferred Shelf Number

QA76.585

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003457152
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

243.

RESEARCH ADVANCES IN INTELLIGENT COMPUTING

Author

Verma, Anshul. Verma, Pradeepika.

Preferred Shelf Number

QA76.76 .E95

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003433941
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

244.

Smart embedded systems : advances and applications

Author

Sinha, Arun Kumar, editor. Sharma, Abhishek (Robotics engineer), editor. Melek, Luiz Alberto Pasini, editor. Caviglia, Daniele D., editor.

Preferred Shelf Number

TK7895 .E42

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032628059
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

245.

Intelligent techniques for cyber-physical systems

Author

Sajid, Mohammad, editor.

Preferred Shelf Number

TK5105.67 .I58 2024 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003438588
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

246.

Psybersecurity : human factors of cyber defence

Author

Guidetti, Oliver, author, editor. Āhameda, Mahiuddina, author, editor. Speelman, Craig P., editor.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032664859
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

247.

Embedded software system testing : automatic testing solution based on formal method

Author

Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.

Preferred Shelf Number

TK7895 .E42

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

248.

Designing for Usability, Inclusion and Sustainability in Human-Computer Interaction

Author

Stephanidis, Constantine, editor. Salvendy, Gavriel, 1938- editor.

Preferred Shelf Number

QA76.9 .U83

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003495147
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

249.

Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches

Author

Raol, J. R. (Jitendra R.), 1947- author.

Preferred Shelf Number

TL711 .B6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003370413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

250.

Emerging Trends for Securing Cyber Physical Systems and the Internet of Things

Author

Bhushan, Bharat, editor. Sharma, Sudhir Kumar, editor. Astya, Parma Nand, editor. Shankar, Achyut, editor. Obaid, Ahmed J., editor.

Preferred Shelf Number

TJ213

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003474111
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

251.

Cover image for AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.

AI Management System Certification According to the ISO/IEC 42001 Standard : How to Audit, Certify, and Build Responsible AI Systems.

Author

Benraouane, Sid Ahmed, author.

Preferred Shelf Number

Q335

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003463979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

252.

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:

253.

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:

254.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-47634-1

Format:

Availability

Online Library~1

Available:
Copies:

255.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-47637-2

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7584-6

Format:

Availability

Online Library~1

Available:
Copies:

257.

Coma and Disorders of Consciousness

Author

Schnakers, Caroline. editor. Laureys, Steven. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50563-8

Format:

Availability

Online Library~1

Available:
Copies:

258.

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:

259.

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:

260.

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:

261.

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:

262.

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:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

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:

269.

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:

270.

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:

271.

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:

272.

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:

273.

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:

274.

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:

275.

Data Intelligence and Cognitive Informatics Proceedings of ICDICI 2022

Author

Jacob, I. Jeena. editor. Kolandapalayam Shanmugam, Selvanayaki. editor. Izonin, Ivan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6004-8

Format:

Availability

Online Library~1

Available:
Copies:

276.

Embedded Systems Design using the MSP430FR2355 LaunchPad™

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-20888-1

Format:

Availability

Online Library~1

Available:
Copies:

277.

Cover image for Multi-Gigahertz Nyquist Analog-to-Digital Converters Architecture and Circuit Innovations in Deep-Scaled CMOS and FinFET Technologies

Multi-Gigahertz Nyquist Analog-to-Digital Converters Architecture and Circuit Innovations in Deep-Scaled CMOS and FinFET Technologies

Author

Ramkaj, Athanasios T. author. Pelgrom, Marcel J.M. author. Steyaert, Michiel S. J. author. Tavernier, Filip. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22709-7

Format:

Availability

Online Library~1

Available:
Copies:

278.

Towards User-Centric Transport in Europe 3 Making Digital Mobility Inclusive and Accessible

Author

Keseru, Imre. editor. Randhahn, Annette. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26155-8

Format:

Availability

Online Library~1

Available:
Copies:

279.

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:

280.

Embracing Machines and Humanity Through Cognitive Computing and IoT

Author

Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4522-9

Format:

Availability

Online Library~1

Available:
Copies:

281.

Handbook of Model-Based Systems Engineering

Author

Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-93582-5

Format:

Availability

Online Library~1

Available:
Copies:

282.

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:

283.

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:

284.

Recent Advances in Computer Vision Applications Using Parallel Processing

Author

Hosny, Khalid M. editor. Salah, Ahmad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-18735-3

Format:

Availability

Online Library~1

Available:
Copies:

285.

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:

286.

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:

287.

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:

288.

Digital Phenotyping and Mobile Sensing New Developments in Psychoinformatics

Author

Montag, Christian. editor. (orcid)0000-0001-8112-0837 Baumeister, Harald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-98546-2

Format:

Availability

Online Library~1

Available:
Copies:

289.

Effects of Data Overload on User Quality of Experience

Author

Antoniou, Josephina. author. Tringides, Orestis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-06870-6

Format:

Availability

Online Library~1

Available:
Copies:

290.

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:

291.

China Internet Development Report 2020 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-16-9901-6

Format:

Availability

Online Library~1

Available:
Copies:

292.

Image Based Computing for Food and Health Analytics: Requirements, Challenges, Solutions and Practices IBCFHA

Author

Tiwari, Rajeev. editor. Koundal, Deepika. editor. Upadhyay, Shuchi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22959-6

Format:

Availability

Online Library~1

Available:
Copies:

293.

Applications of Artificial Intelligence and Neural Systems to Data Science

Author

Esposito, Anna. editor. (orcid)0000-0002-7268-1795 Faundez-Zanuy, Marcos. editor. (orcid)0000-0003-0605-1282 Morabito, Francesco Carlo. editor. (orcid)0000-0003-0734-9136 Pasero, Eros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-3592-5

Format:

Availability

Online Library~1

Available:
Copies:

294.

From Algorithms to Hardware Architectures Using Digital Radios as a Design Example

Author

Abbas, Karim. author. SpringerLink (Online service)