Search Results for COMPUTERS -- Logic Design. - Narrowed by: SpringerLink (Online service) - Online Library - 2006 - Computer Communication Networks. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCOMPUTERS$002b--$002bLogic$002bDesign.$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$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T17:12:36Z 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-09-10T17:12:36Z 2024-09-10T17:12:36Z Author&#160;Gorrieri, Roberto. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-10T17:12:36Z 2024-09-10T17:12:36Z Author&#160;Eliassen, Frank. editor.&#160;Montresor, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-10T17:12:36Z 2024-09-10T17:12:36Z Author&#160;Najm, Elie. editor.&#160;Pradat-Peyre, Jean-Fran&ccedil;ois. editor.&#160;Donzeau-Gouge, V&eacute;ronique Vigui&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-10T17:12:36Z 2024-09-10T17:12:36Z Author&#160;Reussner, Ralf H. editor.&#160;Stafford, Judith A. editor.&#160;Szyperski, Clemens A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>