Search Results for Operating systems (Computers). - Narrowed by: SpringerLink (Online service) - Online Library - 2006 - Logic design. - Software engineering.
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$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-23T11:11:53Z
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183805
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184764
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184972
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184185
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184208
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184309
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:184426
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
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/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184890
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185155
2024-08-23T11:11:53Z
2024-08-23T11:11:53Z
Author Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>