Arama Sonu&ccedil;lar&#305; Logic design. - Daralt&#305;lm&#305;&#351;: 2008 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bdesign.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092008$0025092008$0026te$003dILS$0026ps$003d300?dt=list 2024-12-27T20:41:25Z Logic and computer design fundamentals ent://SD_ILS/0/SD_ILS:109876 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Mano, M. Morris&#160;Kime, Charles R., ort. yaz.<br/>Yer Numaras&#305;&#160;TK7888.4 M36 2008<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~3<br/> Digital electronics and logic design ent://SD_ILS/0/SD_ILS:385968 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Nair, B. Somanathan.<br/>Yer Numaras&#305;&#160;TK7868.D5 N35 2008<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Spectral logic and its applications for design of digital devices ent://SD_ILS/0/SD_ILS:297626 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Karpovsky, Mark G.&#160;Stankovi&#263;, Radomir S.&#160;Astola, Jaakko.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://proquest.safaribooksonline.com/?fpi=9780471731887">Available by subscription from Safari Books Online</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470289228">http://dx.doi.org/10.1002/9780470289228</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=236540&ref=toc">http://www.myilibrary.com?id=236540&ref=toc</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html">http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow ent://SD_ILS/0/SD_ILS:238736 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hossain, Razak.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511541162">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188677 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Breugel, Franck. editor.&#160;Chechik, Marsha. 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-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:188682 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Chitil, Olaf. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. 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-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188548 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Meseguer, Jos&eacute;. editor.&#160;Ro&#351;u, Grigore. 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-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189178 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Sch&uuml;rr, Andy. editor.&#160;Nagl, Manfred. editor.&#160;Z&uuml;ndorf, Albert. 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-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:185352 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Miculan, Marino. editor.&#160;Scagnetto, Ivan. editor.&#160;Honsell, Furio. 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-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185500 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Suzuki, Kenji. editor.&#160;Higashino, Teruo. editor.&#160;Ulrich, Andreas. editor.&#160;Hasegawa, Toru. 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-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Temporal Logic and State Systems ent://SD_ILS/0/SD_ILS:185537 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Kr&ouml;ger, Fred. author.&#160;Merz, Stephan. 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-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Decision Procedures An Algorithmic Point of View ent://SD_ILS/0/SD_ILS:187055 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Kroening, Daniel. author.&#160;Strichman, Ofer. 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-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logics of Specification Languages ent://SD_ILS/0/SD_ILS:187056 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Bj&oslash;rner, Dines. editor.&#160;Henson, Martin C. 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-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188496 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Leue, Stefan. editor.&#160;Merino, Pedro. 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-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188772 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Cassez, Franck. editor.&#160;Jard, Claude. 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-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188818 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Stuckey, Peter J. 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-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188842 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Ehrig, Hartmut. editor.&#160;Heckel, Reiko. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. 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-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures ent://SD_ILS/0/SD_ILS:188747 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Baroglio, Cristina. editor.&#160;Bonatti, Piero A. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;Marchiori, Massimo. editor.&#160;Polleres, Axel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188863 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Kaminski, Michael. editor.&#160;Martini, Simone. 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-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189077 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Sheth, Amit. editor.&#160;Staab, Steffen. editor.&#160;Dean, Mike. editor.&#160;Paolucci, Massimo. editor.&#160;Maynard, Diana. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88564-1">http://dx.doi.org/10.1007/978-3-540-88564-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189133 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Bassiliades, Nick. editor.&#160;Governatori, Guido. editor.&#160;Paschke, Adrian. 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-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers ent://SD_ILS/0/SD_ILS:189230 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Leucker, Martin. 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-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</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-27T20:41:25Z 2024-12-27T20:41:25Z 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/> Software-Intensive Systems and New Computing Paradigms Challenges and Visions ent://SD_ILS/0/SD_ILS:189267 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Wirsing, Martin. editor.&#160;Ban&acirc;tre, Jean-Pierre. editor.&#160;H&ouml;lzl, Matthias. editor.&#160;Rauschmayer, Axel. 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-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189268 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Cervesato, Iliano. editor.&#160;Veith, Helmut. editor.&#160;Voronkov, Andrei. 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-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189310 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Bui, The Duy. editor.&#160;Ho, Tuong Vinh. editor.&#160;Ha, Quang Thuy. 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-89674-6">http://dx.doi.org/10.1007/978-3-540-89674-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings. ent://SD_ILS/0/SD_ILS:189319 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Domingue, John. editor.&#160;Anutariya, Chutiporn. 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-89704-0">http://dx.doi.org/10.1007/978-3-540-89704-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189340 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;Soliman, Sylvain. 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-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings ent://SD_ILS/0/SD_ILS:189377 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Garcia de la Banda, Maria. editor.&#160;Pontelli, Enrico. 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-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-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 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:189398 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z 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/> Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:189438 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Gulliksen, Jan. editor.&#160;Harning, Morton Borup. editor.&#160;Palanque, Philippe. editor.&#160;Veer, Gerrit C. editor.&#160;Wesson, Janet. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92698-6">http://dx.doi.org/10.1007/978-3-540-92698-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages An Active Learning Approach ent://SD_ILS/0/SD_ILS:167677 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Lee, Kent. 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-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of the Spin Model Checker ent://SD_ILS/0/SD_ILS:175556 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Ben-Ari, Mordechai. 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-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185416 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Cuellar, Jorge. editor.&#160;Maibaum, Tom. editor.&#160;Sere, Kaisa. 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-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers ent://SD_ILS/0/SD_ILS:185992 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Graham, T. C. Nicholas. editor.&#160;Palanque, Philippe. 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-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186001 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Voronkov, Andrei. 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-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECOOP 2008 &ndash; Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186002 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Vitek, Jan. 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-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:186003 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Audebaud, Philippe. editor.&#160;Paulin-Mohring, Christine. 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-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings ent://SD_ILS/0/SD_ILS:186166 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Mohamed, Otmane Ait. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Tahar, Sofi&egrave;ne. 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-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186168 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Armando, Alessandro. editor.&#160;Baumgartner, Peter. editor.&#160;Dowek, Gilles. 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-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188048 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Logozzo, Francesco. editor.&#160;Peled, Doron A. editor.&#160;Zuck, Lenore D. 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-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports ent://SD_ILS/0/SD_ILS:188052 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Cebulla, 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-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188204 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Barthe, Gilles. editor.&#160;Fournet, C&eacute;dric. 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-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188235 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;King, Andy. 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-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> LATIN 2008: Theoretical Informatics 8th Latin American Symposium, B&uacute;zios, Brazil, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188237 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Laber, Eduardo Sany. editor.&#160;Bornstein, Claudson. editor.&#160;Nogueira, Loana Tito. editor.&#160;Faria, Luerbio. 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-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188242 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Pautasso, Cesare. editor.&#160;Tanter, &Eacute;ric. 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-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188243 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hendren, Laurie. 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-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188246 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Ramakrishnan, C. R. editor.&#160;Rehof, Jakob. 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-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188592 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Horimoto, Katsuhisa. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;Yoshida, Hiroshi. 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-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188598 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Havelund, Klaus. editor.&#160;Majumdar, Rupak. editor.&#160;Palsberg, Jens. 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-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru&acute;n, Poland, August 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188648 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Ochma&#324;ski, Edward. editor.&#160;Tyszkiewicz, Jerzy. 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-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:167050 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Schellekens, Michel. 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-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</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-27T20:41:25Z 2024-12-27T20:41:25Z 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/> Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:185554 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Degano, Pierpaolo. editor.&#160;Nicola, Rocco. editor.&#160;Meseguer, Jos&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/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</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-27T20:41:25Z 2024-12-27T20:41:25Z 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-27T20:41:25Z 2024-12-27T20:41:25Z 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/> Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures ent://SD_ILS/0/SD_ILS:185637 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Bernardo, Marco. editor.&#160;Degano, Pierpaolo. 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/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185675 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Al-Begain, Khalid. editor.&#160;Heindl, Armin. editor.&#160;Telek, Mikl&oacute;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-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185700 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Paech, Barbara. editor.&#160;Rolland, Colette. 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-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Driven Architecture &ndash; Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185714 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Schieferdecker, Ina. editor.&#160;Hartman, Alan. 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-69100-6">http://dx.doi.org/10.1007/978-3-540-69100-6</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-27T20:41:25Z 2024-12-27T20:41:25Z 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/> Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185729 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Alpuente, Mar&iacute;a. editor.&#160;Vidal, Germ&aacute;n. 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-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Synthesis for Compositional Microprogram Control Units ent://SD_ILS/0/SD_ILS:185766 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Barkalov, Alexander. editor.&#160;Titarenko, Larysa. 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-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185893 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Kounev, Samuel. editor.&#160;Gorton, Ian. editor.&#160;Sachs, Kai. 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-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185982 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Gupta, Aarti. editor.&#160;Malik, Sharad. 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-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> 25 Years of Model Checking History, Achievements, Perspectives ent://SD_ILS/0/SD_ILS:185909 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Grumberg, Orna. editor.&#160;Veith, Helmut. 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-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186104 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, 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-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:186068 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Ibarra, Oscar H. editor.&#160;Ravikumar, Bala. 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-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187946 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hartmann, Sven. editor.&#160;Kern-Isberner, Gabriele. 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-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings ent://SD_ILS/0/SD_ILS:188031 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Yorav, Karen. 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-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188213 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. 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-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188226 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Drossopoulou, Sophia. 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-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188227 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Inverardi, 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/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188152 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Amadio, Roberto. 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-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188277 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hierons, Robert M. editor.&#160;Bowen, Jonathan P. editor.&#160;Harman, Mark. 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-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188280 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Egerstedt, Magnus. editor.&#160;Mishra, Bud. 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-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188293 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Garrigue, Jacques. editor.&#160;Hermenegildo, Manuel V. 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-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:188305 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;Padget, Julian. editor.&#160;Ossowski, Sascha. editor.&#160;Noriega, Pablo. 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-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188320 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Dastani, Mehdi. editor.&#160;El Fallah Seghrouchni, Amal. editor.&#160;Ricci, Alessandro. editor.&#160;Winikoff, 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-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188342 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Beckert, Bernhard. editor.&#160;H&auml;hnle, Reiner. 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-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:188368 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Dumas, Marlon. editor.&#160;Heckel, Reiko. 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-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188453 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Luck, Michael. editor.&#160;Padgham, Lin. 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-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188793 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hornby, Gregory S. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Haddow, Pauline C. 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-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188827 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Forbrig, Peter. editor.&#160;Patern&ograve;, Fabio. 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-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188879 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;B&ouml;rger, Egon. editor.&#160;Butler, Michael. editor.&#160;Bowen, Jonathan P. editor.&#160;Boca, 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-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188894 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Harrison, Michael D. editor.&#160;Sujan, Mark-Alexander. 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-87698-4">http://dx.doi.org/10.1007/978-3-540-87698-4</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 Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188928 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Shankar, Natarajan. 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-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188931 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Becker, Steffen. editor.&#160;Plasil, Frantisek. editor.&#160;Reussner, Ralf. 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-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188966 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Clark, Alexander. editor.&#160;Coste, Fran&ccedil;ois. editor.&#160;Miclet, Laurent. 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-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:189027 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Otto, Friedrich. editor.&#160;Fernau, Henning. 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-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189042 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Cha, Sungdeok (Steve). editor.&#160;Choi, Jin-Young. editor.&#160;Kim, Moonzoo. editor.&#160;Lee, Insup. editor.&#160;Viswanathan, Mahesh. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities ent://SD_ILS/0/SD_ILS:175672 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Simon, Axel. 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-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Elementary Logic For Software Development ent://SD_ILS/0/SD_ILS:175702 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Lover, Robert. 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-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187873 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Hudak, Paul. editor.&#160;Warren, David 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-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, G&ouml;teborg, Sweden, January 27-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187913 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Stenstr&ouml;m, Per. editor.&#160;Dubois, Michel. editor.&#160;Katevenis, Manolis. editor.&#160;Gupta, Rajiv. editor.&#160;Ungerer, Theo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77560-7">http://dx.doi.org/10.1007/978-3-540-77560-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:187915 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Baldoni, Matteo. editor.&#160;Son, Tran Cao. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Winikoff, 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-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unfoldings A Partial-Order Approach to Model Checking ent://SD_ILS/0/SD_ILS:187868 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Esparza, Javier. author.&#160;Heljanko, Keijo. 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-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188025 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Tuyls, Karl. editor.&#160;Nowe, Ann. editor.&#160;Guessoum, Zahia. editor.&#160;Kudenko, Daniel. 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-77949-0">http://dx.doi.org/10.1007/978-3-540-77949-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Practical Problems in VLSI Physical Design Automation ent://SD_ILS/0/SD_ILS:169876 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Lim, Sung Kyu. 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-4020-6627-6">http://dx.doi.org/10.1007/978-1-4020-6627-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-Level Synthesis From Algorithm to Digital Circuit ent://SD_ILS/0/SD_ILS:170235 2024-12-27T20:41:25Z 2024-12-27T20:41:25Z Yazar&#160;Coussy, Philippe. editor.&#160;Morawiec, Adam. 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-1-4020-8588-8">http://dx.doi.org/10.1007/978-1-4020-8588-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>