Search Results for Computer systems.

Computer systems

2024-11-28T18:11:27Z

Author Warford, J. Stanley, 1944-
Preferred Shelf Number QA76 W237 2010
Format: Books
Availability Beytepe Library~1

Dependable Computer Systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer communication systems

2024-11-28T18:11:27Z

Author Nussbaumer, Henri J.
Preferred Shelf Number TK 5105.5 N8713 1990
Format: Books
Availability Beytepe Library~1

Computer systems measurement.

2024-11-28T18:11:27Z

Preferred Shelf Number QA 76.5 C61 1974 V.18
Format: Books
Availability Beytepe Library~1

Computer systems reliability.

2024-11-28T18:11:27Z

Preferred Shelf Number TK 7885 C65 1974 V.20
Format: Books
Availability Beytepe Library~1

Computer Recognition Systems 4

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Recognition Systems 3

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Recognition Systems 2

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer-output-microfilm systems

2024-11-28T18:11:27Z

Author Gildenberg, Robert F.
Preferred Shelf Number TK 7887.8.C6 G54 1974
Format: Books
Availability Beytepe Library~1

Time-sharing computer systems

2024-11-28T18:11:27Z

Author Wilkes, Maurice Vincent.
Preferred Shelf Number QA 76.5 W523 1968
Format: Books
Availability Beytepe Library~1

Computer-Oriented business systems

2024-11-28T18:11:27Z

Author Boutell, Wayne S.
Preferred Shelf Number HF 5548.2 B668 1968
Format: Books
Availability Beytepe Library~1

Computer control systems technology

2024-11-28T18:11:27Z

Author Leondes, Cornelius T., ed. Boelter, Llewellyn M. K., ed.
Preferred Shelf Number TJ 213 L37 1961
Format: Books
Availability Beytepe Library~1

Embedded systems and computer architecture

2024-11-28T18:11:27Z

Author Wilson, G. R. (Graham R.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750650649
Format: Electronic Resources
Availability Online Library~1

Dependability benchmarking for computer systems

2024-11-28T18:11:27Z

Author Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: Electronic Resources
Availability Online Library~1

Business computer systems : an introduction

2024-11-28T18:11:27Z

Author Kroenke, David. Dolan, Kathleen A., 1950- ort. yaz.
Preferred Shelf Number HF 5548.2 K7 1989
Format: Books
Availability Beytepe Library~1

Computer control of manufacturing systems

2024-11-28T18:11:27Z

Author Koren, Yoram.
Preferred Shelf Number TS 176 K651 1983
Format: Books
Availability Beytepe Library~1

Computer systems and water resources

2024-11-28T18:11:27Z

Author Bugliarello, George. Gunther, Fred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444412591
Format: Electronic Resources
Availability Online Library~1

Computer systems and water resources

2024-11-28T18:11:27Z

Author Bugliarello, George. Gunter, F., ort. yaz.
Preferred Shelf Number TC 409 B84 1974
Format: Books
Availability Beytepe Library~1

Computer programming and formal systems

2024-11-28T18:11:27Z

Author Braffort, P. Hirschberg, D., ed.
Preferred Shelf Number QA 76 B7 1967
Format: Books
Availability Beytepe Library~1

Computer programming and computer systems

2024-11-28T18:11:27Z

Author Hassitt, Anthony.
Preferred Shelf Number QA 76.5 H4 1967
Format: Books
Availability Beytepe Library~1

Computer systems : a programmer's perspective

2024-11-28T18:11:27Z

Author Bryant, Randal. O'Hallaron, David.
Preferred Shelf Number QA76.5 B79 2014
Format: Books
Availability Beytepe Library~1

Computer Performance Optimization Systems - Applications - Processes

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer networks : a systems approach

2024-11-28T18:11:27Z

Author Peterson, Larry L. Davie, Bruce S.
Preferred Shelf Number TK5105.5 P479 2012
Format: Books
Availability Beytepe Library~1

Computer networks : a systems approach

2024-11-28T18:11:27Z

Author Peterson, Larry L. Davie, Bruce S.
Preferred Shelf Number TK5105.5 P47 2007
Format: Books
Availability Beytepe Library~1

Dependability of Networked Computer-based Systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer relaying for power systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer-aided modeling of reactive systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer-aided Systems in Public Transport

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Deadlock resolution in computer-intergrated systems

2024-11-28T18:11:27Z

Author Zhou, MengChu. Fanti, Maria Pia.
Preferred Shelf Number TS176 .D39 2005
Format: Books
Availability Beytepe Library~1

Arithmetic and logic in computer systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer systems performance evaluation and prediction

2024-11-28T18:11:27Z

Author Fortier, Paul J. Michel, Howard Edgar.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582609
Format: Electronic Resources
Availability Online Library~1

Computer solution of large linear systems

2024-11-28T18:11:27Z

Author Meurant, Gérard A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444501691
Format: Electronic Resources
Availability Online Library~1

Computer-controlled systems : theory and design

2024-11-28T18:11:27Z

Author Aström, Karl Johan, 1934- Wittenmark, Björn.
Preferred Shelf Number TJ 213 A78 1997
Format: Books
Availability Beytepe Library~1

Geographical information systems and computer cartography

2024-11-28T18:11:27Z

Author Jones, Christopher B.
Preferred Shelf Number GA 102.4.E4 J65 1997
Format: Books
Availability Beytepe Library~1

Systems modeling and computer simulation

2024-11-28T18:11:27Z

Author Kheir, Naim A., 1933- ed.
Preferred Shelf Number QA 76.9.C65 S975 1996
Format: Books
Availability Beytepe Library~1

Computer-aided electromyography and expert systems

2024-11-28T18:11:27Z

Author Desmedt, J. E., ed.
Preferred Shelf Number WE 550 C736 1989 1.K
Format: Books
Availability Health Sciences Library~1

Electrical systems for computer installations

2024-11-28T18:11:27Z

Author Lawrie, R. J., ed.
Preferred Shelf Number TK 7895.P68 E25 1988
Format: Books
Availability Beytepe Library~1

Computer relaying for power systems

2024-11-28T18:11:27Z

Author Phadke, Arun G., 1938- Thorp, J. S., ort. yaz.
Preferred Shelf Number TK 2861 P48 1988
Format: Books
Availability Beytepe Library~1

Computer number systems and arithmetic

2024-11-28T18:11:27Z

Author Scott, Norman Ross.
Preferred Shelf Number QA 76.9.C62 S38 1984
Format: Books
Availability Beytepe Library~1

Business computer systems and applications

2024-11-28T18:11:27Z

Author Eliason, Alan L. Kitts, K. D., ort. yaz.
Preferred Shelf Number HF 5548.2 E424 1979
Format: Books
Availability Beytepe Library~1

Architecture of small computer systems

2024-11-28T18:11:27Z

Author Lippiatt, Arthur, 1936-
Preferred Shelf Number QA 76.9.A73 L56 1978
Format: Books
Availability Beytepe Library~1

Computer-aided design of digital systems

2024-11-28T18:11:27Z

Author Lewin, Douglas.
Preferred Shelf Number TK 7888.3 L37 1977
Format: Books
Availability Beytepe Library~1

Business computer systems and applications

2024-11-28T18:11:27Z

Author Eliason, Alan L. Kitts, Kent D., ort. yaz.
Preferred Shelf Number HF 5548.2 E424 1974
Format: Books
Availability Beytepe Library~1

Case studies in library computer systems

2024-11-28T18:11:27Z

Author Palmer, Richard P.
Preferred Shelf Number Z 678.9 P34 1973
Format: Books
Availability Beytepe Library~1

Design of on-line computer systems

2024-11-28T18:11:27Z

Author Yourdan, Edward.
Preferred Shelf Number QA 76.5 Y64 1972
Format: Books
Availability Beytepe Library~1

Computer simulation of dynamic systems

2024-11-28T18:11:27Z

Author Kochenburger, Ralph J.
Preferred Shelf Number T 57.62 K56 1972
Format: Books
Availability Beytepe Library~1

Computer courses : systems analysis and programming.

2024-11-28T18:11:27Z

Author National Computing Centre Limited.
Preferred Shelf Number QA 76 N312 1971
Format: Books
Availability Beytepe Library~1

Analog computer simulation of engineering systems

2024-11-28T18:11:27Z

Author James, Merlin L. Smith, G. M. , ort. yaz. Wolford, J. C. , ort. yaz.
Preferred Shelf Number TA 345 J32 1971
Format: Books
Availability Beytepe Library~1

Computer-*based management information systems

2024-11-28T18:11:27Z

Author Krauss, Leonard I.
Preferred Shelf Number T 58.6 K7 1970
Format: Books
Availability Beytepe Library~1

Managing the introduction of computer systems

2024-11-28T18:11:27Z

Author Tomlin, Roger.
Preferred Shelf Number HF 5548.2 T626 1970
Format: Books
Availability Beytepe Library~1

Developing computer-based employee information systems

2024-11-28T18:11:27Z

Author Morrison, Edward J.,
Preferred Shelf Number HD 21 M831 1969
Format: Books
Availability Beytepe Library~1

Developing computer-based information systems

2024-11-28T18:11:27Z

Author Rosove, Perry E.
Preferred Shelf Number Z 699 R6 1967
Format: Books
Availability Beytepe Library~1

Computer solution of linear algebraic systems

2024-11-28T18:11:27Z

Author Forsythe, George Elmer , 1917- Moler, Cleve B., ort. yaz.
Preferred Shelf Number QA 297 F57 1967
Format: Books
Availability Beytepe Library~1

Programming real-time computer systems

2024-11-28T18:11:27Z

Author Martin, James Thomas.
Preferred Shelf Number HF 5548.3 M3 1965
Format: Books
Availability Beytepe Library~1

Computer programming and formal systems

2024-11-28T18:11:27Z

Author Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: Electronic Resources
Availability Online Library~1

Computer programming and formal systems

2024-11-28T18:11:27Z

Author Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: Electronic Resources
Availability Online Library~1

Economic evaluation of computer based systems.

2024-11-28T18:11:27Z

Preferred Shelf Number HF 5548 E25 1971 V.1
Format: Books
Availability Beytepe Library~3

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

2024-11-28T18:11:27Z

Author Wingate, Guy.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Cases on modern computer systems in aviation

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Ambient Communications and Computer Systems RACCCS-2018

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Ambient Communications and Computer Systems RACCCS 2017

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer-aided drug design and delivery systems

2024-11-28T18:11:27Z

Author Nag, Ahindra. Dey, Baishakhi.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Principles of Computer Systems and Network Management

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Trends in Intelligent Systems and Computer Engineering

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Security of e-Systems and Computer Networks

2024-11-28T18:11:27Z

Author Obaidat, Mohammad. Boudriga, Noureddine.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Testing computer systems for FDA/MHRA compliance

2024-11-28T18:11:27Z

Author Stokes, David.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Data communications, computer networks and open systems

2024-11-28T18:11:27Z

Author Halsall, Fred.
Preferred Shelf Number TK 5105 H35 1992
Format: Books
Availability Beytepe Library~1

Mathematical and computer modeling of physiological systems

2024-11-28T18:11:27Z

Author Rideout, Vincent C.
Preferred Shelf Number QP 33.6.D38 R53 1991
Format: Books
Availability Beytepe Library~1

Managing power electronics VLSI and DSP-driven computer systems

2024-11-28T18:11:27Z

Author Rossetti, Nazzareno, 1951-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5236490
Format: Electronic Resources
Availability Online Library~1

Creating the future : 5th international symposiun on elektrical and computer systems 27-28 November 2008

2024-11-28T18:11:27Z

Author International Architecture and Engineering Symposiums (5. : 2008) Balasubramanian, K.
Preferred Shelf Number NA1428.6 .I58 2008
Format: Books
Availability Beytepe Library~1

Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems

2024-11-28T18:11:27Z

Author Pukite, Jan, 1928- Pukite, Paul.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: Electronic Resources
Availability Online Library~1

IEEE Transactions on computer aided design of integrated circuits and systems.

2024-11-28T18:11:27Z

Preferred Shelf Number ALFABETİK V.1 1982
Format: Continuing Resources Other
Availability Beytepe Library~5 ~0

Computer networks and i s d n systems.

2024-11-28T18:11:27Z

Preferred Shelf Number ALFABETİK V.19 1990
Format: Continuing Resources Other
Availability Beytepe Library~13 ~0

Fifth generation computer systems proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Leondes, Cornelius T.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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

2024-11-28T18:11:27Z

Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021

2024-11-28T18:11:27Z

Author Gokhale, Anu. editor. Grant, Emanuel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520660.1)
Electronic Access https://doi.org/10.1007/978-981-19-7904-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Mercier-Laurent, Eunika. editor. Fernando, Xavier. editor. Chandrabose, Aravindan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520779.1)
Electronic Access https://doi.org/10.1007/978-3-031-39811-7
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2024-11-28T18:11:27Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521140.1)
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings

2024-11-28T18:11:27Z

Author Christensen, Henrik I. editor. Corke, Peter. editor. Detry, Renaud. editor. Weibel, Jean-Baptiste. editor. Vincze, Markus. editor.
Preferred Shelf Number XX(521161.1)
Electronic Access https://doi.org/10.1007/978-3-031-44137-0
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings

2024-11-28T18:11:27Z

Author Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521320.1)
Electronic Access https://doi.org/10.1007/978-3-031-46077-7
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-3 Aerial and Satellite Image Processing

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2024-11-28T18:11:27Z

Author Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66775-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-4 Real Life Applications

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications 4

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Introduction to Distributed Computer Systems Principles and Features

2024-11-28T18:11:27Z

Author Czaja, Ludwik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72023-4
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2024-11-28T18:11:27Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Systems Analysis and Synthesis : Bridging Computer Science and Information Technology

2024-11-28T18:11:27Z

Author Dwyer, Barry, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128053041
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Bedny, Gregory Z., author. Karwowski, Waldemar, 1953- author. Bedny, Inna, author.
Preferred Shelf Number ONLINE(357148.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms

2024-11-28T18:11:27Z

Author Mery, Domingo. author. SpringerLink (Online service)
Preferred Shelf Number XX(518524.1)
Electronic Access https://doi.org/10.1007/978-3-319-20747-6
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation of computer networks and systems : methodologies and applications

2024-11-28T18:11:27Z

Author Obaidat, Mohammad S. (Mohammad Salameh), 1952- Nicopolitidis, P. Zarai, Faouzi.
Preferred Shelf Number TK5105.5 M63 2015
Format: Books
Availability Beytepe Library~1

Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

2024-11-28T18:11:27Z

Author Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518920.1)
Electronic Access https://doi.org/10.1007/978-3-319-20904-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

2024-11-28T18:11:27Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518923.1)
Electronic Access https://doi.org/10.1007/978-3-319-27340-2
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings

2024-11-28T18:11:27Z

Author Saeed, Khalid. editor. Homenda, Wladyslaw. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518928.1)
Electronic Access https://doi.org/10.1007/978-3-319-24369-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519008.1)
Electronic Access https://doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Borsci, Simone, author. Kurosu, Masaaki, author. Federici, Stefano, author. Mele, Maria Laura, author.
Preferred Shelf Number ONLINE(342594.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2014 Proceedings of the 29th International Symposium on Computer and Information Sciences

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction: Backgrounds and Applications 3

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Computer Networks and Distributed Systems Security Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Performance modeling and design of computer systems : queueing theory in action

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Intelligent Control Systems and Computer Science

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Chin, Cheng Siong.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 1 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 2

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 1

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer architecture and security : fundamentals of designing secure computer systems

2024-11-28T18:11:27Z

Author Wang, Shuangbao Paul. Ledley, Robert Steven.
Preferred Shelf Number QA76.9.A73 W36 2012
Format: Books
Availability Beytepe Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2024-11-28T18:11:27Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047598
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Balasa, Florin. Pradhan, Dhiraj K.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

The Seductive Computer Why IT Systems Always Fail

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.

2024-11-28T18:11:27Z

Author Altheide, Cory. Carvey, Harlan A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597495868
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Design for reliability information and computer-based systems

2024-11-28T18:11:27Z

Author Bauer, Eric.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779
Format: Electronic Resources
Availability Online Library~1

The architecture of computer hardware, systems software, and networking : an information technology approach

2024-11-28T18:11:27Z

Author Englander, Irv.
Preferred Shelf Number QA76.5 E54 2010
Format: Books
Availability Beytepe Library~1

Fundamentals of performance evaluation of computer and telecommunications systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advanced technologies in rehabilitation : empowering cognitive, physical, social and communicative skills through virtual reality, robots, wearable systems and brain-computer interfaces

2024-11-28T18:11:27Z

Author Gaggioli, Andrea.
Preferred Shelf Number WB 320 A244 2009
Format: Books
Availability Health Sciences Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Secure computer and network systems modeling, analysis and design

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Artificial crime analysis systems : using computer simulations and geographic information systems

2024-11-28T18:11:27Z

Author Liu, Lin. Eck, John.
Preferred Shelf Number HV7936.C88 A78 2008
Format: Books
Availability Beytepe Library~1

Thesis Projects A Guide for Students in Computer Science and Information Systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Knowledge structures for communications in human-computer systems general automata-based

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Just-In-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Human computer interaction : developing effective organizational information systems

2024-11-28T18:11:27Z

Author Te'eni, Dov. Carey, Jane M., ort. yaz. Zhang, Ping., ort. yaz.
Preferred Shelf Number QA76.9.H85 T44 2007
Format: Books
Availability Beytepe Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-11-28T18:11:27Z

Author Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11859802
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Biometrics, Computer Security Systems and Artificial Intelligence Applications

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Multivariable Computer-controlled Systems A Transfer Function Approach

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

An introduction to computer simulation methods : applications to physical systems

2024-11-28T18:11:27Z

Author Gould, Harvey. Tobochnik, Jan., ort. yaz. Christian, Wolfgang, ort.yaz.
Preferred Shelf Number QC52 .G685 2006
Format: Books
Availability Beytepe Library~1

Validating pharmaceutical systems : good computer practice in life science manufacturing

2024-11-28T18:11:27Z

Author Andrews, John.
Preferred Shelf Number QV 778 V1717 2006
Format: Books
Availability Health Sciences Library~1

Diagnosis and troubleshooting of automotive electrical, electronic, and computer systems

2024-11-28T18:11:27Z

Author Halderman, James D., 1943-
Preferred Shelf Number TL272 .H223 2006
Format: Books
Availability Beytepe Library~2

The elements of computing systems building a modern computer from first principles

2024-11-28T18:11:27Z

Author Nisan, Noam. Schocken, Shimon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276865
Format: Electronic Resources
Availability Online Library~1

Validating pharmaceutical systems good computer practice in life science manufacturing

2024-11-28T18:11:27Z

Author Andrews, John.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135888
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Computer Recognition Systems Proceedings of the 4th International Conference on Computer Recognition Systems CORES ’05

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

2024-11-28T18:11:27Z

Author Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101135
Format: Electronic Resources
Availability Online Library~1

Enhanced methods in computer security, biometric and artificial intelligence systems

2024-11-28T18:11:27Z

Author Pejas, Jerzy, 1954-, ed. Piegat, Andrzej, 1947-, ed.
Preferred Shelf Number QA76.9.A25 E545 2005
Format: Books
Availability Beytepe Library~1

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

2024-11-28T18:11:27Z

Author Williams, James R. (James Richard), 1932-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

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

2024-11-28T18:11:27Z

Computer algebra systems in secondary school mathematics education

2024-11-28T18:11:27Z

Author Fey, James Taylor, ed.
Preferred Shelf Number QA 159 C65 2003
Format: Books
Availability Beytepe Library~1

Computer-managed maintenance systems a step-by-step guide to effective management of maintenance, labor, and inventory

2024-11-28T18:11:27Z

Author Cato, William W. Mobley, R. Keith, 1943-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750674737
Format: Electronic Resources
Availability Online Library~1

Computer-aided design of analog integrated circuits and systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Time-domain computer analysis of nonlinear hybrid systems

2024-11-28T18:11:27Z

Author Sui, Wenquan.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Reliability of computer systems and networks fault tolerance, analysis and design

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Automotive computer controlled systems diagnostic tools and techniques

2024-11-28T18:11:27Z

Author Bonnick, Allan W. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750650892
Format: Electronic Resources
Availability Online Library~1

Validating Corporate Computer Systems Good IT Practice for Pharmaceutical Manufacturers

2024-11-28T18:11:27Z

Author Wingate, Guy .
Preferred Shelf Number RS192 .V34 2000 EB
Electronic Access http://www.crcnetbase.com/doi/book/10.1201/b14417
Format: Electronic Resources
Availability Online Library~1

Performance of computer communication systems a model-based approach

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

The design of computer supported cooperative work and groupware systems

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Expert systems and computer simulation in energy engineering : selected papers from the second international forum, Erlangen, Germany, 17-20 March, 1992

2024-11-28T18:11:27Z

Author Kim, J. H.
Preferred Shelf Number TJ 163.7 E97 1995
Format: Books
Availability Beytepe Library~1

Computer-aided analysis and desing of linear control systems

2024-11-28T18:11:27Z

Author Jamshidi, Mohammad. Tarokh, Mahmoud, ort. yaz. Shafai, Bahram, ort. yaz.
Preferred Shelf Number TJ 216 J36 1992
Format: Books
Availability Beytepe Library~1

Applications of supercomputers in engineering Algorithms computer systems and user experience : proceedings of the first international conference, Southampton, UK, September 1989

2024-11-28T18:11:27Z

Author Brebbia, C. A. , ed. Peters, A. , ed.
Preferred Shelf Number TA 345 A66 1989 V.1
Format: Books
Availability Beytepe Library~1

Systems that learn an introduction to learning theory for cognitive and computer scientists

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Software psychology : human factors in computer and information systems

2024-11-28T18:11:27Z

Author Shneiderman, Ben.
Preferred Shelf Number QA 76.6 S543 1980
Format: Books
Availability Beytepe Library~1

Computer engineering : a dec view hardware systems design

2024-11-28T18:11:27Z

Author Bell, C. G., ed. Mudge, J. C., ed. McNamara, J. E., ed.
Preferred Shelf Number TK 7885 C64 1978
Format: Books
Availability Beytepe Library~1

People-oriented computer systems : the computer in crisis

2024-11-28T18:11:27Z

Author Tomeski, Edward Alexander. Lazarus, Harold, ed. by
Preferred Shelf Number QA 76 T58 1975
Format: Books
Availability Beytepe Library~1

Computer systems in the library : a handbook for managers and designers

2024-11-28T18:11:27Z

Author Swihart, Stanley J. Hefley, Beryl F., ort. yaz.
Preferred Shelf Number Z 678.9 S86 1973
Format: Books
Availability Beytepe Library~1

Systems analysis, a computer appoarch to decision models

2024-11-28T18:11:27Z

Author McMillan, Claude. Gonzalez, Richard F., ort. yaz.
Preferred Shelf Number HD 38 M315 1973
Format: Books
Availability Beytepe Library~1

Analysis of linear networks and systems : a matrix-orientrd approach with computer applications

2024-11-28T18:11:27Z

Author Chan, Shu-Park, 1929- Chan, Shu-Yun, ort. yaz. Chan, Shu-Gae, ort. yaz.
Preferred Shelf Number TK 454.2 C4 1972
Format: Books
Availability Beytepe Library~1

Designing computer and digital systems : using pdp 16 register transfer modules

2024-11-28T18:11:27Z

Author Bell, C. Gordon. Grason, J., ort. yaz. Newell, A., ort. yaz.
Preferred Shelf Number QA 76.5 B413 1972
Format: Books
Availability Beytepe Library~1

Computer simulation experiments with models of economic systems

2024-11-28T18:11:27Z

Author Naylor, Thomas H.
Preferred Shelf Number HB 74.M3 N32 1971
Format: Books
Availability Beytepe Library~1

Computer simulation applications : discrete-event simulation for synthesis and analysis of complex systems

2024-11-28T18:11:27Z

Author Reitman, Julian.
Preferred Shelf Number T 57.62 R45 1971
Format: Books
Availability Beytepe Library~1

SCEPTRE : a computer program for circuit and systems analysis

2024-11-28T18:11:27Z

Author Bowers, James C. Sedore, Stephen R., ort. yaz.
Preferred Shelf Number TK 454.2 B68 1971
Format: Books
Availability Beytepe Library~1

Computer-based information systems for management : a survey

2024-11-28T18:11:27Z

Author Churchill, Neil C. Kempster, John H., ort. yaz. Uretsky, Myron, ort. yaz.
Preferred Shelf Number HF 5548.2 C5 1969
Format: Books
Availability Beytepe Library~1

Computer methods in the analysis of large-scale social systems

2024-11-28T18:11:27Z

Author Beshers, James M. ed.
Preferred Shelf Number H 62 B46 1968
Format: Books
Availability Beytepe Library~1

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.

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Network simulation experiments manual

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Paradigms of Smart and Intelligent Communication, 5G and Beyond

2024-11-28T18:11:27Z

Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520326.1)
Electronic Access https://doi.org/10.1007/978-981-99-0109-8
Format: Electronic Resources
Availability Online Library~1

Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL

2024-11-28T18:11:27Z

Author Tripathi, Saurabh Mani. editor. Gonzalez-Longatt, Francisco M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520769.1)
Electronic Access https://doi.org/10.1007/978-981-99-0224-8
Format: Electronic Resources
Availability Online Library~1

Python Programming Recipes for IoT Applications

2024-11-28T18:11:27Z

Author Parab, Jivan S. author. Lanjewar, Madhusudan Ganuji. author. Sequeira, Marlon Darius. author. Naik, Gourish. author. Shaikh, Arman Yusuf. author.
Preferred Shelf Number XX(520681.1)
Electronic Access https://doi.org/10.1007/978-981-19-9466-1
Format: Electronic Resources
Availability Online Library~1

Logic testing and design for testability

2024-11-28T18:11:27Z

Author Fujiwara, Hideo.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Electronic Resources
Availability Online Library~1

Performance and evaluation of Lisp systems

2024-11-28T18:11:27Z

Author Gabriel, Richard P.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267265
Format: Electronic Resources
Availability Online Library~1

Metamodeling a study of approximations in queueing models

2024-11-28T18:11:27Z

Author Agrawal, Subhash Chandra.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267206
Format: Electronic Resources
Availability Online Library~1

A computel-constable course

2024-11-28T18:11:27Z

Author Rothery, Brian, ed.
Preferred Shelf Number QA 76 R6 1971 V.1
Format: Books
Availability Beytepe Library~3

Computer-integrated manufacturing

2024-11-28T18:11:27Z

Computer networks the international journal of computer and telecommunications networking.

2024-11-28T18:11:27Z

Author Elsevier
Preferred Shelf Number ALFABETİK V.31 PART.1 1999
Electronic Access Elektronik eri?im
Format: Continuing Resources Other
Availability Beytepe Library~23 ~0

Using advanced MPI : modern features of the Message-Passing-Interface

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

Digital libraries for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011.

2024-11-28T18:11:27Z

Author International Conference on Asia-Pacific Digital Libraries (13th : 2011 : Beijing, China) Xing, Chunxiao. Crestani, Fabio. Rauber, Andreas.
Preferred Shelf Number ZA4080 I58 2011
Format: Books
Availability Beytepe Library~1

Malware : fighting malicious code

2024-11-28T18:11:27Z

Author Skoudis, Ed. Zeltser, Lenny.
Preferred Shelf Number QA76.9.A25 S58 2004
Format: Books
Availability Beytepe Library~1

The design of manufacturing systems

2024-11-28T18:11:27Z

Manufacturing systems processes

2024-11-28T18:11:27Z

Optimization methods for manufacturing

2024-11-28T18:11:27Z

Neurocomputing : algorithms, architectures and applications

2024-11-28T18:11:27Z

Author Soulie, Fogelma F., ed. Herault, J., ed.
Preferred Shelf Number QA 76 N477 1990 1.K
Format: Books
Availability Health Sciences Library~1

Superconducting electronics : Proceedings of the Nato... held in Il Ciocco,Italy, June 26 - July 8, 1988

2024-11-28T18:11:27Z

Author NATO Advenced Study Institute on Sperconducting Electronics (1988 : Il Ciocco, Italy) Weinstock, H., ed. Nisenoff, M., ed.
Preferred Shelf Number TK 7872.S8 N23 1988
Format: Books
Availability Beytepe Library~1

The LOCUS distributed system architecture

2024-11-28T18:11:27Z

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: Electronic Resources
Availability Online Library~1

The thoth system : Multi-Process structuring and portability

2024-11-28T18:11:27Z

Author Cheriton, David R.
Preferred Shelf Number QA 76.6 C443 1982
Format: Books
Availability Beytepe Library~1

Research and development in expert systems VI: proceedings of Expert Systems 89, the 9th annual Technical Conference.. 20-22 Sept. 1989

2024-11-28T18:11:27Z

Author British Computer Society. Specialist Group on Expert Systems. Technical Conference (7th :1987 : London). Shadbolt, N., ort. yaz.
Preferred Shelf Number QA 76.6.E95 B76 1987
Format: Books
Availability Beytepe Library~1

Libraries and information technology : a national system challenge ; a report to the Council on Library Resources.

2024-11-28T18:11:27Z

Author Washington, D.C. National Academy of Sciences. Computer Science and Engineering Board. Information Systems Panel.
Preferred Shelf Number Z 699 N27 1972
Format: Books
Availability Beytepe Library~1

Intelligent adaptive systems : an interaction-centered design perspective

2024-11-28T18:11:27Z

Author Hou, Ming (Computer scientist), author. Banbury, Simon, author. Burns, Catherine M., 1968- author.
Preferred Shelf Number ONLINE(356588.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

HIMSS compendium series computer-based patient records : selected articles from the proceedings of the 2000 and 2001 annual HIMSS conferences

2024-11-28T18:11:27Z

Author HIMSS (Healthcare Information and Management Systems Society).
Preferred Shelf Number WX 173 H658 2001
Format: Books
Availability Health Sciences Library~1

The computer in the public service : an annotated bibliography 1966-1969.

2024-11-28T18:11:27Z

Author Public Administration Service. Public Automated Systems Service.
Preferred Shelf Number Z 7164.A2 P82 1970
Format: Books
Availability Beytepe Library~1

Contemporary ergonomics and human factors

2024-11-28T18:11:27Z

Author Institute of Ergonomics & Human Factors. Conference.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2024-11-28T18:11:27Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520232.1)
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Bioinformatics An Introductory Textbook

2024-11-28T18:11:27Z

Author Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)
Preferred Shelf Number XX(520293.1)
Electronic Access https://doi.org/10.1007/978-3-662-65036-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Engineering of Batteries

2024-11-28T18:11:27Z

Author Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520358.1)
Electronic Access https://doi.org/10.1007/978-3-031-17607-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China

2024-11-28T18:11:27Z

Author Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.
Preferred Shelf Number XX(520310.1)
Electronic Access https://doi.org/10.1007/978-981-99-1256-8
Format: Electronic Resources
Availability Online Library~1

Low Power Architectures for IoT Applications

2024-11-28T18:11:27Z

Author Sharma, Devendra Kumar. editor. Sharma, Rohit. editor. Jeon, Gwanggil. editor. Polkowski, Zdzislaw. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520314.1)
Electronic Access https://doi.org/10.1007/978-981-99-0639-0
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

2024-11-28T18:11:27Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520318.1)
Electronic Access https://doi.org/10.1007/978-981-99-2443-1
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2024-11-28T18:11:27Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520411.1)
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2024-11-28T18:11:27Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520416.1)
Electronic Access https://doi.org/10.1007/978-3-031-29386-3
Format: Electronic Resources
Availability Online Library~1

Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

2024-11-28T18:11:27Z

Author Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520417.1)
Electronic Access https://doi.org/10.1007/978-3-031-34045-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

2024-11-28T18:11:27Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520498.1)
Electronic Access https://doi.org/10.1007/978-3-031-35078-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

2024-11-28T18:11:27Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520499.1)
Electronic Access https://doi.org/10.1007/978-3-031-35081-8
Format: Electronic Resources
Availability Online Library~1

Data Protection in a Post-Pandemic Society Laws, Regulations, Best Practices and Recent Solutions

2024-11-28T18:11:27Z

Author Hewage, Chaminda. editor. Rahulamathavan, Yogachandran. editor. Ratnayake, Deepthi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520503.1)
Electronic Access https://doi.org/10.1007/978-3-031-34006-2
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

2024-11-28T18:11:27Z

Author Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520526.1)
Electronic Access https://doi.org/10.1007/978-3-031-38864-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

2024-11-28T18:11:27Z

Author Nguyen, Ngoc Thanh. editor. (orcid) Botzheim, János. editor. Gulyás, László. editor. Nunez, Manuel. editor. Treur, Jan. editor.
Preferred Shelf Number XX(520633.1)
Electronic Access https://doi.org/10.1007/978-3-031-41774-0
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

2024-11-28T18:11:27Z

Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520839.1)
Electronic Access https://doi.org/10.1007/978-3-031-30258-9
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2024-11-28T18:11:27Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520846.1)
Electronic Access https://doi.org/10.1007/978-3-031-30445-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

2024-11-28T18:11:27Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520599.1)
Electronic Access https://doi.org/10.1007/978-3-031-39386-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV

2024-11-28T18:11:27Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520874.1)
Electronic Access https://doi.org/10.1007/978-3-031-37745-7
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I

2024-11-28T18:11:27Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520875.1)
Electronic Access https://doi.org/10.1007/978-3-031-37660-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III

2024-11-28T18:11:27Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number XX(520877.1)
Electronic Access https://doi.org/10.1007/978-3-031-42286-7
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings

2024-11-28T18:11:27Z

Author Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Preferred Shelf Number XX(520716.1)
Electronic Access https://doi.org/10.1007/978-3-031-45682-4
Format: Electronic Resources
Availability Online Library~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-11-28T18:11:27Z

Author Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520200.1)
Electronic Access https://doi.org/10.1007/978-981-19-9697-9
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

2024-11-28T18:11:27Z

Author Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520219.1)
Electronic Access https://doi.org/10.1007/978-3-031-31353-0
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-11-28T18:11:27Z

Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520756.1)
Electronic Access https://doi.org/10.1007/978-3-031-25088-0
Format: Electronic Resources
Availability Online Library~1