Search Results for Operating systems (Computers). - Narrowed by: English - Online Library - 2013
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-22T11:28:57Z
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
ent://SD_ILS/0/SD_ILS:335216
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy and Security for Cloud Computing
ent://SD_ILS/0/SD_ILS:330926
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330926.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4189-1">http://dx.doi.org/10.1007/978-1-4471-4189-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fault-Tolerant Design
ent://SD_ILS/0/SD_ILS:331297
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Dubrova, Elena. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331297.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-2113-9">http://dx.doi.org/10.1007/978-1-4614-2113-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Optimization Systems - Applications - Processes
ent://SD_ILS/0/SD_ILS:333281
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Osterhage, Wolfgang W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333281.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29971-1">http://dx.doi.org/10.1007/978-3-642-29971-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
ent://SD_ILS/0/SD_ILS:334156
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334223
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334223.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36516-4">http://dx.doi.org/10.1007/978-3-642-36516-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334469
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
ent://SD_ILS/0/SD_ILS:334327
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334517
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.<br/>Preferred Shelf Number ONLINE(334517.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38027-3">http://dx.doi.org/10.1007/978-3-642-38027-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334518
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Cuellar, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334518.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38030-3">http://dx.doi.org/10.1007/978-3-642-38030-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334662
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334662.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy-Efficient High Performance Computing Measurement and Tuning
ent://SD_ILS/0/SD_ILS:330991
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.<br/>Preferred Shelf Number ONLINE(330991.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4492-2">http://dx.doi.org/10.1007/978-1-4471-4492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334049
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334049.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35795-4">http://dx.doi.org/10.1007/978-3-642-35795-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334353
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Dynpro ABAP for Practitioners
ent://SD_ILS/0/SD_ILS:334566
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334566.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334594
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334594.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38401-1">http://dx.doi.org/10.1007/978-3-642-38401-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334610
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334871
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334882
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334882.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335131
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.<br/>Preferred Shelf Number ONLINE(335131.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Absolute OpenBSD UNIX for the practical paranoid
ent://SD_ILS/0/SD_ILS:281175
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Lucas, Michael, 1967-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578488">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578488</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android security attacks and defenses
ent://SD_ILS/0/SD_ILS:287193
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Misra, Anmol.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439896471">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows 8 kickstart
ent://SD_ILS/0/SD_ILS:293408
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Russell, James Howard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/windows-8-kickstart">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332976
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332976.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03491-1">http://dx.doi.org/10.1007/978-3-319-03491-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334071
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334077
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334080
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.<br/>Preferred Shelf Number ONLINE(334080.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334122
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Dawson, Ed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334122.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36095-4">http://dx.doi.org/10.1007/978-3-642-36095-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334200
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334200.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2012
ent://SD_ILS/0/SD_ILS:334411
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.<br/>Preferred Shelf Number ONLINE(334411.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37349-7">http://dx.doi.org/10.1007/978-3-642-37349-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334939
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.<br/>Preferred Shelf Number ONLINE(334939.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40395-8">http://dx.doi.org/10.1007/978-3-642-40395-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334960
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334960.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40517-4">http://dx.doi.org/10.1007/978-3-642-40517-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335206
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335013
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335013.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40820-5">http://dx.doi.org/10.1007/978-3-642-40820-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335024
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
ent://SD_ILS/0/SD_ILS:335577
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Cotroneo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows networking tools the complete guide to management, troubleshooting, and security
ent://SD_ILS/0/SD_ILS:291657
2024-08-22T11:28:57Z
2024-08-22T11:28:57Z
Author Held, Gilbert, 1943-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466511071">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>