Search Results for - Narrowed by: E-Book - Electronic Library - 2012 - Operating systems (Computers).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2024-08-29T00:59:23Z
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195898
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196407
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197398
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197425
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33704-8">http://dx.doi.org/10.1007/978-3-642-33704-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197346
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33272-2">http://dx.doi.org/10.1007/978-3-642-33272-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197623
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35606-3">http://dx.doi.org/10.1007/978-3-642-35606-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test and Diagnosis for Small-Delay Defects
ent://SD_ILS/0/SD_ILS:173108
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Tehranipoor, Mohammad. author. Peng, Ke. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8297-1">http://dx.doi.org/10.1007/978-1-4419-8297-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
ent://SD_ILS/0/SD_ILS:173442
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Birman, Kenneth P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2416-0">http://dx.doi.org/10.1007/978-1-4471-2416-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
ent://SD_ILS/0/SD_ILS:185477
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Czernohous, Christoph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68426-8">http://dx.doi.org/10.1007/978-3-540-68426-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197272
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197282
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197152
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Rajarajan, Muttukrishnan. editor. Piper, Fred. editor. Wang, Haining. editor. Kesidis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31909-9">http://dx.doi.org/10.1007/978-3-642-31909-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197330
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Avgeriou, Paris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197617
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35576-9">http://dx.doi.org/10.1007/978-3-642-35576-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197321
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse
ent://SD_ILS/0/SD_ILS:193521
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Osterhage, Wolfgang W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17190-1">http://dx.doi.org/10.1007/978-3-642-17190-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:196555
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28879-1">http://dx.doi.org/10.1007/978-3-642-28879-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196559
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196710
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:196932
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196955
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30767-6">http://dx.doi.org/10.1007/978-3-642-30767-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196969
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197039
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
ent://SD_ILS/0/SD_ILS:197084
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31476-6">http://dx.doi.org/10.1007/978-3-642-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197358
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33338-5">http://dx.doi.org/10.1007/978-3-642-33338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:197459
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:197460
2024-08-29T00:59:23Z
2024-08-29T00:59:23Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>