Search Results for Operating systems (Computers). - Narrowed by: SpringerLink (Online service) - Online Library - 2005 - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-25T05:36:18Z
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182668
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182735
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182754
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182784
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182887
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182888
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
ent://SD_ILS/0/SD_ILS:183009
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:183012
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183013
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183234
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183268
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182931
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Roy, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182366
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183143
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556930">http://dx.doi.org/10.1007/11556930</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183147
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183155
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183170
2024-08-25T05:36:18Z
2024-08-25T05:36:18Z
Author Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572961">http://dx.doi.org/10.1007/11572961</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>