Arama Sonu&ccedil;lar&#305; COMPUTERS -- Logic Design. - Daralt&#305;lm&#305;&#351;: Elektronik K&uuml;t&uuml;phane SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCOMPUTERS$002b--$002bLogic$002bDesign.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Elektronik$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ps$003d300? 2024-12-12T04:18:53Z Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482657 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Mencagli, Gabriele. editor.&#160;B. Heras, Dora. editor.&#160;Cardellini, Valeria. editor.&#160;Casalicchio, Emiliano. editor.&#160;Jeannot, Emmanuel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-10549-5">https://doi.org/10.1007/978-3-030-10549-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485164 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482895 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Duarte-Gonz&aacute;lez, Mario. editor.&#160;Jaramillo-Isaza, Sebasti&aacute;n. editor. (orcid)0000-0002-2134-772X&#160;Orjuela-Ca&ntilde;on, Alvaro David. editor. (orcid)0000-0002-2057-7603&#160;D&iacute;az-Gutierrez, Yesid. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483433 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912&#160;Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026&#160;Mura, Anna. editor.&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874&#160;Asada, Minoru. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483484 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Wienke, Sandra. editor. (orcid)0000-0002-5794-3662&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Architecture of Computing Systems &ndash; ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486313 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Schoeberl, Martin. editor.&#160;Hochberger, Christian. editor.&#160;Uhrig, Sascha. editor.&#160;Brehm, J&uuml;rgen. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-18656-2">https://doi.org/10.1007/978-3-030-18656-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Rauchwerger, Lawrence. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8&ndash;10, 2018, Revised and Extended Selected Papers ent://SD_ILS/0/SD_ILS:486756 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Bombieri, Nicola. editor.&#160;Pravadelli, Graziano. editor.&#160;Fujita, Masahiro. editor.&#160;Austin, Todd. editor.&#160;Reis, Ricardo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23425-6">https://doi.org/10.1007/978-3-030-23425-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:399577 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Grosky, William I. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401639 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Wu, Weigang. editor. (orcid)0000-0002-4714-7021&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:399733 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402686 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Bi, Yuanguo. editor.&#160;Chen, Gang. editor.&#160;Deng, Qingxu. editor.&#160;Wang, Yi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334077.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335024.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334156.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334533.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334610.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Goodloe, Alwyn E. editor.&#160;Person, Suzette. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Aichernig, Bernhard K. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194357 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Bobaru, Mihaela. editor.&#160;Havelund, Klaus. editor.&#160;Holzmann, Gerard J. editor.&#160;Joshi, Rajeev. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193496 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Hallerstede, Stefan. editor.&#160;Leuschel, Michael. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Understanding Concurrent Systems ent://SD_ILS/0/SD_ILS:175934 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Roscoe, A.W. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-258-0">http://dx.doi.org/10.1007/978-1-84882-258-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:190858 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04167-9">http://dx.doi.org/10.1007/978-3-642-04167-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transient-induced latchup in CMOS integrated circuits ent://SD_ILS/0/SD_ILS:249785 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Ker, Ming-Dou.&#160;Hsu, Sheng-Fu.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5453758">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5453758</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FPGAs ent://SD_ILS/0/SD_ILS:144408 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Maxfield, Clive, 1957-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189248 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Ramalingam, G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:185723 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:189398 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185539 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Meier, Ren&eacute;. editor.&#160;Terzis, Sotirios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Networked and Distributed Systems &ndash; FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185615 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Suzuki, Kenji. editor.&#160;Higashino, Teruo. editor.&#160;Yasumoto, Keiichi. editor.&#160;El-Fakih, Khaled. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185620 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Barthe, Gilles. editor.&#160;Boer, Frank S. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-speed VLSI interconnections ent://SD_ILS/0/SD_ILS:249510 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Goel, Ashok K., 1953-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201516">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201516</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Grid Computing Experiment Management, Tool Integration, and Scientific Workflows ent://SD_ILS/0/SD_ILS:185754 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Prodan, Radu. author.&#160;Fahringer, Thomas. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186676 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Indulska, Jadwiga. editor.&#160;Raymond, Kerry. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186699 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Bonsangue, Marcello M. editor.&#160;Johnsen, Einar Broch. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Networked and Distributed Systems &ndash; FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186772 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Derrick, John. editor.&#160;Vain, J&uuml;ri. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73196-2">http://dx.doi.org/10.1007/978-3-540-73196-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures ent://SD_ILS/0/SD_ILS:187265 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187640 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Gorrieri, Roberto. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Eliassen, Frank. editor.&#160;Montresor, Alberto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Reussner, Ralf H. editor.&#160;Stafford, Judith A. editor.&#160;Szyperski, Clemens A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Barthe, Gilles. editor.&#160;Gr&eacute;goire, Benjamin. editor.&#160;Huisman, Marieke. editor.&#160;Lanet, Jean-Louis. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Lightfoot, David E. editor.&#160;Szyperski, Clemens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Kobayashi, Naoki. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182668 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Nicola, Rocco. editor.&#160;Sangiorgi, Davide. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Priami, Corrado. editor.&#160;Quaglia, Paola. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Kutvonen, Lea. editor.&#160;Alonistioti, Nancy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 &ndash; 5, 2004, Revised Lectures ent://SD_ILS/0/SD_ILS:183012 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Dearle, Alan. editor.&#160;Eisenbach, Susan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Roy, Peter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Wang, Farn. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Barthe, Gilles. editor.&#160;Burdy, Lilian. editor.&#160;Huisman, Marieke. editor.&#160;Lanet, Jean-Louis. editor.&#160;Muntean, Traian. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Steffen, Martin. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The mechatronics handbook ent://SD_ILS/0/SD_ILS:284949 2024-12-12T04:18:53Z 2024-12-12T04:18:53Z Yazar&#160;Bishop, Robert H., 1957-&#160;ISA--The Instrumentation, Systems, and Automation Society.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781420042450">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>