Limit Search Results
Author
SpringerLink (Online service)
(659)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Operating systems (Computers).
(614)
Computer science.
(545)
Software engineering.
(329)
Computer Communication Networks.
(304)
Operating systems (Computers)
(159)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
894 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
13. 
Cover image for Operating systems :
Operating systems :
Author 
Deitel, Harvey M. Deitel, Paul J., ort. yaz. Choffnes, David R., ort. yaz.
Preferred Shelf Number 
QA 76.76.O63 D46 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Operating systems
Operating systems
Author 
Madnick, Stuart E. Donovan, J. J., ort. yaz.
Preferred Shelf Number 
QA 76.6 M33 1978
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S. Bos, Herbert.
Preferred Shelf Number 
QA76.76.O63 T359 2015
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
16. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S.
Preferred Shelf Number 
QA76.76.O63 T359 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S.
Preferred Shelf Number 
QA 76.76.O63 T359 2001
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
18. 
Cover image for Operating systems theory
Operating systems theory
Author 
Coffman, Edward Grady. Denning, Peter J., ort. yaz.
Preferred Shelf Number 
QA 76.6 C62 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Operating systems survey
Operating systems survey
Author 
Comtre, Corporation. Sayers, Anthony P., ed.
Preferred Shelf Number 
QA 76.6 C64 1971
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
20. 
Cover image for Operating systems demystified
Operating systems demystified
Author 
McHoes, Ann McIver, 1950- Ballew, Joli.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Principles of operating systems
Principles of operating systems
Author 
Chauhan, Naresh.
Preferred Shelf Number 
QA76.77 C43 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Survey of operating systems
Survey of operating systems
Author 
Holcombe, Jane. Holcombe, Charles.
Preferred Shelf Number 
QA76.76.O63 H64 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Auerbach guide to operating systems.
Auerbach guide to operating systems.
Author 
Auerbach Publishers.
Preferred Shelf Number 
QA 76.5 A33 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Embedded and Real-Time Operating Systems
Embedded and Real-Time Operating Systems
Author 
Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520615.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28701-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Interrupt Handling Schemes in Operating Systems
Interrupt Handling Schemes in Operating Systems
Author 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72977-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Operating systems : internals and design principles
Operating systems : internals and design principles
Author 
Stallings, William.
Preferred Shelf Number 
QA76.76.O63 S733 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
28. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6603-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Principles of modern operating systems
Principles of modern operating systems
Author 
Garrido, José M.
Preferred Shelf Number 
QA76.76.O63 G384 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
30. 
Cover image for Operating systems : internals and design principles
Operating systems : internals and design principles
Author 
Stallings, William.
Preferred Shelf Number 
QA76.76.O63 S733 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
31. 
Cover image for Operating systems : a concept-based approach
Operating systems : a concept-based approach
Author 
Dhamdhere, D. M.
Preferred Shelf Number 
QA76.76.O63 D484 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for Schaum's outline of operating systems
Schaum's outline of operating systems
Author 
Harris, J. Archer, 1951-
Preferred Shelf Number 
QA76.76 H34 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Distributed operating systems concepts and design
Distributed operating systems concepts and design
Author 
Sinha, Pradeep K. (Pradeep Kumar)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5487818
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Design of distributed operating systems
Design of distributed operating systems
Author 
Fortier, Paul J.
Preferred Shelf Number 
QA 76.76.O63 F67 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for The logical design of operating systems
The logical design of operating systems
Author 
Shaw, Alan.
Preferred Shelf Number 
QA 76.6 S52 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
36. 
Cover image for Executive programs and operating systems
Executive programs and operating systems
Author 
Cuttle, G., ed. Robinson, P. B., ed.
Preferred Shelf Number 
QA 76.5 E97 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
37. 
Cover image for Advanced programming : programming and operating systems
Advanced programming : programming and operating systems
Author 
Katzan, Harry.
Preferred Shelf Number 
QA 76.5 K37 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
38. 
Cover image for Operating systems and middleware : supporting controlled interaction
Operating systems and middleware : supporting controlled interaction
Author 
Hailperin, Max.
Preferred Shelf Number 
QA76.76.M54 H35 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
39. 
Cover image for Regenerative inventory systems : operating charecteristics and optimization
Regenerative inventory systems : operating charecteristics and optimization
Author 
Şahin, İzzet.
Preferred Shelf Number 
TS 160 S24 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
40. 
Cover image for Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Author 
Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520676.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Operating Systems for Supercomputers and High Performance Computing
Operating Systems for Supercomputers and High Performance Computing
Author 
Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6624-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers
Author 
Borcea, Cristian. editor. Bellavista, Paolo. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. Schreiner, Florian. editor.
Preferred Shelf Number 
ONLINE(334259.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36660-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Environmental Systems Studies A Macroscope for Understanding and Operating Spaceship Earth
Environmental Systems Studies A Macroscope for Understanding and Operating Spaceship Earth
Author 
Imura, Hidefumi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335387.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54126-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Data hiding exposing concealed data in multimedia, operating systems, mobile devices and network protocols
Data hiding exposing concealed data in multimedia, operating systems, mobile devices and network protocols
Author 
Raggo, Michael T. Hosmer, Chet.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597497435
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Author 
Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30607-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Real-time embedded systems open-source operating systems perspective
Real-time embedded systems open-source operating systems perspective
Author 
Bertolotti, Ivan Cibrario. Manduchi, Gabriele.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for An introduction to operating systems : concepts and practice
An introduction to operating systems : concepts and practice
Author 
Bhatt, Pramod Chandra P.
Preferred Shelf Number 
Q76.76.O63 B43 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
Author 
Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17758-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
Author 
Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Author 
Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03569-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Chaos-based digital communication systems : operating principles, analysis methods, and performance evaluation
Chaos-based digital communication systems : operating principles, analysis methods, and performance evaluation
Author 
Lau, Francis C. M. Tse, Chi Kong, ort. yaz.
Preferred Shelf Number 
TK 5103.7 L39 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
52. 
Cover image for Design and operating guide for aquaculture seawater systems
Design and operating guide for aquaculture seawater systems
Author 
Huguenin, John E. Colt, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505774
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Interpreting machines : architecture and programming of the B1700/B1800 series
Interpreting machines : architecture and programming of the B1700/B1800 series
Author 
Organick, Elliott Irving. Hinds, James A.
Preferred Shelf Number 
QA76.8.B85 O73 1978
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
54. 
Cover image for The thoth system : Multi-Process structuring and portability
The thoth system : Multi-Process structuring and portability
Author 
Cheriton, David R.
Preferred Shelf Number 
QA 76.6 C443 1982
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
55. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for IoT Edge Solutions for Cognitive Buildings
IoT Edge Solutions for Cognitive Buildings
Author 
Cicirelli, Franco. editor. Guerrieri, Antonio. editor. Vinci, Andrea. editor. Spezzano, Giandomenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520175.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15160-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part II
E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part II
Author 
Tu, Yiliu. editor. (orcid) Chi, Maomao. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520575.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32302-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Author 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520865.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings
Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings
Author 
Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
XX(520879.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42785-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Author 
Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521144.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Imaging and Technology in Urology
Imaging and Technology in Urology
Author 
Tolofari, Sotonye. editor. Moon, Dora. editor. Starmer, Benjamin. editor. Payne, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521791.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26058-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for The High-risk Surgical Patient
The High-risk Surgical Patient
Author 
Aseni, Paolo. editor. Grande, Antonino Massimiliano. editor. Leppäniemi, Ari. editor. Chiara, Osvaldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521568.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-17273-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Emerging Trends in Cybersecurity Applications
Emerging Trends in Cybersecurity Applications
Author 
Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520552.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-09640-2
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers
Author 
Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Preferred Shelf Number 
XX(520563.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Cognitive Security A System-Scientific Approach
Cognitive Security A System-Scientific Approach
Author 
Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520429.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
Author 
Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520703.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual
Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual
Author 
Lomanto, Davide. editor. Chen, William Tzu-Liang. editor. Fuentes, Marilou B. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521422.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-3755-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for The New Science of Medicine & Management A Comprehensive, Case-Based Guide for Clinical Leaders
The New Science of Medicine & Management A Comprehensive, Case-Based Guide for Clinical Leaders
Author 
Chilingerian, Jon A. editor. Shobeiri, S. Abbas. editor. Talamini, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521855.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26510-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Surgical Treatment of Chronic Constrictive Pericarditis
Surgical Treatment of Chronic Constrictive Pericarditis
Author 
Chowdhury, Ujjwal K. author. Sankhyan, Lakshmi Kumari. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(522143.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5808-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Windows Server 2022 : kurulum, yönetim ve onarım işlemleri
Windows Server 2022 : kurulum, yönetim ve onarım işlemleri
Author 
Arıcı, Haydar Yener.
Preferred Shelf Number 
QA76.774.M55 A75 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
73. 
Cover image for Windows Server
Windows Server
Author 
Yıldırımoğlu, Murat.
Preferred Shelf Number 
QA76.774.M55 Y53 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
74. 
Cover image for Sistem ve network mühendisliği
Sistem ve network mühendisliği
Author 
Kırbaş, Kayhan.
Preferred Shelf Number 
QA76.76.O63 K463 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
75. 
Cover image for Sistem ve network mühendisliği
Sistem ve network mühendisliği
Author 
Kırbaş, Kayhan. Soylu, İrem.
Preferred Shelf Number 
QA76.76.O63 K463 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
76. 
Cover image for İşletim sistemleri : bilgisayar mühendisliği
İşletim sistemleri : bilgisayar mühendisliği
Author 
Çoşkun, Vedat.
Preferred Shelf Number 
QA76.76 I764 2020
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
77. 
Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Author 
Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10549-5
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Distributed Computing by Mobile Entities Current Research in Moving and Computing
Distributed Computing by Mobile Entities Current Research in Moving and Computing
Author 
Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11072-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Author 
Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24741-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Author 
Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Author 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Author 
Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16350-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Searchable Storage in Cloud Computing
Searchable Storage in Cloud Computing
Author 
Hua, Yu. author. Liu, Xue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2721-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings
Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings
Author 
Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36027-6
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Author 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Author 
Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Author 
Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Author 
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16272-6
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
Author 
Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for GNU LINUX
GNU LINUX
Author 
Ertuğrul, İlker .
Preferred Shelf Number 
QA76.76.O63 E78 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
94. 
Cover image for Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
Author 
Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30709-7
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Author 
Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-38043-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Author 
Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Author 
Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Author 
Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04918-8
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Author 
Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24922-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Author 
MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19909-8
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Author 
Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
Author 
Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23425-6
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Author 
Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15651-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for İşletim sistemleri ve sistem programlama
İşletim sistemleri ve sistem programlama
Author 
Avcı, Mutlu. Özyıldırım, Buse Melis. Ülgen, Onur.
Preferred Shelf Number 
QA76.76.O63 A94 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
105. 
Cover image for Advanced Maintenance Policies for Shock and Damage Models
Advanced Maintenance Policies for Shock and Damage Models
Author 
Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70456-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Author 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58415-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings
Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings
Author 
Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Systems Programming in Unix/Linux
Systems Programming in Unix/Linux
Author 
Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92429-8
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Author 
Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings
Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings
Author 
Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00470-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Author 
Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Author 
Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Author 
Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Author 
Popescu, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Author 
Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Author 
Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03232-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Performance gaps of machines A process oriented approach
Performance gaps of machines A process oriented approach
Author 
Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Author 
Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for The Hardware Trojan War Attacks, Myths, and Defenses
The Hardware Trojan War Attacks, Myths, and Defenses
Author 
Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68511-3
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses
System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses
Author 
Kochs, Hans-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64991-7
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Author 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Author 
Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93411-2
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Author 
Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94472-2
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Author 
Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for System and Architecture Proceedings of CSI 2015
System and Architecture Proceedings of CSI 2015
Author 
Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8533-8
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Author 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Author 
Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Author 
Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03596-9
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Data and Energy Integrated Communication Networks A Brief Introduction
Data and Energy Integrated Communication Networks A Brief Introduction
Author 
Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Transactions on Computational Collective Intelligence XXVIII
Transactions on Computational Collective Intelligence XXVIII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78301-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Author 
Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
Author 
ASC Community. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3731-3
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Safety-Critical Electrical Drives Topologies, Reliability, Performance
Safety-Critical Electrical Drives Topologies, Reliability, Performance
Author 
Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89969-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Author 
Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92408-3
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93767-0
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for 5G Wireless Systems Simulation and Evaluation Techniques
5G Wireless Systems Simulation and Evaluation Techniques
Author 
Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61869-2
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
Author 
Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1073-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Author 
Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93000-8
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Closing the Gap Between Practice and Research in Industrial Engineering
Closing the Gap Between Practice and Research in Industrial Engineering
Author 
Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58409-6
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72971-8
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
Author 
Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1026-3
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Author 
Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Yeni başlayanlar için Windows Server 2012 R2
Yeni başlayanlar için Windows Server 2012 R2
Author 
Aladağ, Mesut, 1977- author
Preferred Shelf Number 
QA76.774.M55 A43 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
163. 
Cover image for Windows Server sistem yönetimi
Windows Server sistem yönetimi
Author 
Aladağ, Mesut.
Preferred Shelf Number 
QA76.774.M55 A43 2017 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
164. 
Cover image for Linux komut satırı
Linux komut satırı
Author 
Demirez, Kemal
Preferred Shelf Number 
QA76.76.O63 D46 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
165. 
Cover image for Windows registry forensics : advanced digital forensic analysis of the Windows registry
Windows registry forensics : advanced digital forensic analysis of the Windows registry
Author 
Carvey, Harlan A., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128032916
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Android malware and analysis
Android malware and analysis
Author 
Dunham, Ken, author. Hartman, Shane, author. Morales, Jose Andre, author. Quintans, Manu, author. Strazzere, Tim, author.
Preferred Shelf Number 
ONLINE(356400.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Thor's OS Xodus securely migrating from Microsoft Windows to Mac OSX
Thor's OS Xodus securely migrating from Microsoft Windows to Mac OSX
Author 
Mullen, Timothy M., author.
Preferred Shelf Number 
ONLINE(364055.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124104631
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Linux essentials
Linux essentials
Author 
Bresnahan, Christine, author. Blum, Richard, 1962- author.
Preferred Shelf Number 
QA76.76.O63 B74 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
169. 
Cover image for Handbook on Data Centers
Handbook on Data Centers
Author 
Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518461.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-2092-1
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Encyclopedia of Biometrics
Encyclopedia of Biometrics
Author 
Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518417.1)
Electronic Access 
https://doi.org/10.1007/978-1-4899-7488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Industrial Engineering, Management Science and Applications 2015
Industrial Engineering, Management Science and Applications 2015
Author 
Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518706.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety
Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety
Author 
Barach, Paul R. editor. Jacobs, Jeffery P. editor. Lipshultz, Steven E. editor. Laussen, Peter C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519396.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6566-8
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for CentOS sistem ve sunucu yönetimi
CentOS sistem ve sunucu yönetimi
Author 
Parlak, Deniz. Çiftçi, Yunus.
Preferred Shelf Number 
QA76.774.L46 P37 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
175. 
Cover image for Design and Implementation of the MTX Operating System
Design and Implementation of the MTX Operating System
Author 
Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518558.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17575-1
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
Author 
Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518563.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21548-8
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Atlas of Knee Arthroscopy
Atlas of Knee Arthroscopy
Author 
Prejbeanu, Radu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519621.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6593-4
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers
Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers
Author 
Yueming, Lu. editor. Xu, Wu. editor. Xi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518531.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47401-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Grid integration of wind energy : onshore and offshore conversion systems
Grid integration of wind energy : onshore and offshore conversion systems
Author 
Heier, Siegfried, author.
Preferred Shelf Number 
ONLINE(341684.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
CLICK HERE for online access
John Wiley http://dx.doi.org/10.1002/9781118703274
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for The art of Linux kernel design : illustrating the operating system design principle and implementation
The art of Linux kernel design : illustrating the operating system design principle and implementation
Author 
Yang, Lixiang, author. Wenfeng, Liang, author. Dazhao, Chen, author. Liu, Tianhou, 1941- author. Ruobing, Wu, author.
Preferred Shelf Number 
ONLINE(356414.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Author 
Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13174-0
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Author 
Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39323-5
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Author 
Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44917-2
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for The art of Linux kernel design : illustrating the operating system design principle and implementation
The art of Linux kernel design : illustrating the operating system design principle and implementation
Author 
Yang, Lixiang, author.
Preferred Shelf Number 
QA76.76.O63 Y36 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
187. 
Cover image for Driving sustainability to business success : the DS factor-management system integration and automation
Driving sustainability to business success : the DS factor-management system integration and automation
Author 
Pilot, Jayne.
Preferred Shelf Number 
ONLINE(342062.1)
Electronic Access 
Ebook Library Click here to view book
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118356937.jpg
John Wiley http://dx.doi.org/10.1002/9781118936733
Image http://images.contentreserve.com/ImageType-100/0128-1/{97DD79E9-A497-4924-970A-A4EBEA6F6FBE}Img100.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Author 
Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10329-7
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Operating system concepts
Operating system concepts
Author 
Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Preferred Shelf Number 
QA76.76.O63 S5583 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
193. 
Cover image for Red Hat Enterprise Linux 6 administration real world skills for Red Hat administrators
Red Hat Enterprise Linux 6 administration real world skills for Red Hat administrators
Author 
Vugt, Sander van.
Preferred Shelf Number 
QA76.774.L46 V84 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
194. 
Cover image for Android security attacks and defenses
Android security attacks and defenses
Author 
Misra, Anmol.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Windows networking tools the complete guide to management, troubleshooting, and security
Windows networking tools the complete guide to management, troubleshooting, and security
Author 
Held, Gilbert, 1943-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Windows 8 : temel başvuru kılavuzu
Windows 8 : temel başvuru kılavuzu
Author 
Demirel, Ortaç, 1978-
Preferred Shelf Number 
QA76 774 M434 D46 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
197. 
Cover image for Java ile nesne programlama
Java ile nesne programlama
Author 
Karaçay, Timur
Preferred Shelf Number 
QA76 .73 K37 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
198. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
Author 
Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number 
ONLINE(330991.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for An Introduction to Network Programming with Java Java 7 Compatible
An Introduction to Network Programming with Java Java 7 Compatible
Author 
Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Information Systems Development Reflections, Challenges and New Directions
Information Systems Development Reflections, Challenges and New Directions
Author 
Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number 
ONLINE(331631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Finding Source Code on the Web for Remix and Reuse
Finding Source Code on the Web for Remix and Reuse
Author 
Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Sustainable Web Ecosystem Design
Sustainable Web Ecosystem Design
Author 
O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Computer Performance Optimization Systems - Applications - Processes
Computer Performance Optimization Systems - Applications - Processes
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29971-1
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren
Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren
Author 
Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Android programlama
Android programlama
Author 
Taç, Muharrem.
Preferred Shelf Number 
QA76.76.O63 T33 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
208. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Introduction to Cryptography with Maple
Introduction to Cryptography with Maple
Author 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Author 
Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32244-0
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
Author 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Author 
Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334049.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Author 
Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334200.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36424-2
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Author 
Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Author 
Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334344.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37021-2
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Author 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Author 
Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40820-5
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Author 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number 
ONLINE(335131.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Ada 2012 Rationale The Language, The Standard Libraries
Ada 2012 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Author 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Author 
Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32079-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Scala Design Patterns Patterns for Practical Reuse and Design
Scala Design Patterns Patterns for Practical Reuse and Design
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332904.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02192-8
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for The Software Industry Economic Principles, Strategies, Perspectives
The Software Industry Economic Principles, Strategies, Perspectives
Author 
Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for The Android developer's cookbook : building applications with the Android SDK
The Android developer's cookbook : building applications with the Android SDK
Author 
Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-
Preferred Shelf Number 
QA76.76.A65 S743 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
239. 
Cover image for Transformer engineering design, technology, and diagnostics
Transformer engineering design, technology, and diagnostics
Author 
Kulkarni, S. V. (Satish V.) Khaparde, S. A., 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Ubuntu unleashed
Ubuntu unleashed
Author 
Helmke, Matthew. Hudson, Andrew, 1978- Hudson, Paul, 1979-
Preferred Shelf Number 
QA76.774.U28 H453 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
241. 
Cover image for Natural ventilation in high-rise office buildings an output of the CTBUH sustainability working group
Natural ventilation in high-rise office buildings an output of the CTBUH sustainability working group
Author 
Wood, Antony, 1970- Salib, Ruba.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Management of hazardous energy deactivation, de-energization, isolation, and lockout
Management of hazardous energy deactivation, de-energization, isolation, and lockout
Author 
McManus, Thomas Neil.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Electrochemical supercapacitors for energy storage and delivery fundamentals and applications
Electrochemical supercapacitors for energy storage and delivery fundamentals and applications
Author 
Yu, Aiping.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Windows 8 kickstart
Windows 8 kickstart
Author 
Russell, James Howard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Microsoft server 2012
Microsoft server 2012
Author 
Yıldırımoğlu, Murat
Preferred Shelf Number 
QA76.76.O63 Y55 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
246. 
Cover image for iOS 6 programming : pushing the limits : advanced application development for Apple IPhone, IPad, and IPod Touch
iOS 6 programming : pushing the limits : advanced application development for Apple IPhone, IPad, and IPod Touch
Author 
Napier, Robert. Kumar, Mugunth.
Preferred Shelf Number 
QA76.774 .I67 N37 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
247. 
Cover image for Absolute OpenBSD UNIX for the practical paranoid
Absolute OpenBSD UNIX for the practical paranoid
Author 
Lucas, Michael, 1967-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578488
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Robust Data Mining
Robust Data Mining
Author 
Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Privacy and Security for Cloud Computing
Privacy and Security for Cloud Computing
Author 
Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Fault-Tolerant Design
Fault-Tolerant Design
Author 
Dubrova, Elena. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331297.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2113-9
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Handbook of Neuroevolution Through Erlang
Handbook of Neuroevolution Through Erlang
Author 
Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Author 
Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332976.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03491-1
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number 
ONLINE(334080.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35898-2
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Author 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334223.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Author 
Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number 
ONLINE(334517.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334518.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Web Dynpro ABAP for Practitioners
Web Dynpro ABAP for Practitioners
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334566.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Author 
Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38401-1
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Author 
Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334662.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Author 
Mandl, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338350.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Mac, OS X Mountain Lion
Mac, OS X Mountain Lion
Author 
Spivey, Dwight.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Windows 7 SP1
Windows 7 SP1
Author 
Matthews, Martin S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Windows 7 for seniors
Windows 7 for seniors
Author 
Matthews, Martin S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for MacBook Air
MacBook Air
Author 
Rich, Jason.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for The new ecology of leadership : business mastery in a chaotic world
The new ecology of leadership : business mastery in a chaotic world
Author 
Hurst, David K.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7312/hurs15970
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse
Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17190-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Industrial control systems mathematical and statistical models and techniques
Industrial control systems mathematical and statistical models and techniques
Author 
Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Unit operations of particulate solids theory and practice
Unit operations of particulate solids theory and practice
Author 
Ortega-Rivas, Enrique.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Coordinate measuring machines and systems
Coordinate measuring machines and systems
Author 
Hocken, Robert J. Pereira, Paulo H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Ubuntu 12.10 server : administration and reference
Ubuntu 12.10 server : administration and reference
Author 
Petersen, Richard.
Preferred Shelf Number 
QA76.774.U28 P473 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
287. 
Cover image for Corruption and law in Indonesia
Corruption and law in Indonesia
Author 
Butt, Simon.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Author 
Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30633-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Author 
Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31202-1
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Author 
Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33119-0
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for PEM fuel cell diagnostic tools
PEM fuel cell diagnostic tools
Author 
Wang, Haijiang Henry. Yuan, Xiao-Zi. Li, Hui, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Windows 7
Windows 7
Author 
Matthews, Martin S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for MacBook
MacBook
Author 
Noelle, Robin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Mac
Mac
Author 
Spivey, Dwight.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Mac, OS X Lion edition
Mac, OS X Lion edition
Author 
Spivey, Dwight.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Informatics in medical imaging
Informatics in medical imaging
Author 
Kagadis, George C. Langer, Steve G.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Plasma processing of nanomaterials
Plasma processing of nanomaterials
Author 
Sankaran, Mohan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
301. 
Cover image for Oracle database 11g & MySQL 5.6 developer handbook
Oracle database 11g & MySQL 5.6 developer handbook
Author 
McLaughlin, Michael, D.CS.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
Author 
Czernohous, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68426-8
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Author 
Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
Author 
Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33272-2
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for The hacker's guide to OS X exploiting OS X from the root up
The hacker's guide to OS X exploiting OS X from the root up
Author 
Bathurst, Robert. Rogers, Russ. Ghassemlouei, Alijohn.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597499507
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Author 
Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Test and Diagnosis for Small-Delay Defects
Test and Diagnosis for Small-Delay Defects
Author 
Tehranipoor, Mohammad. author. Peng, Ke. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8297-1
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Author 
Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets