Arama Sonuçları Compiler. - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCompiler.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2024-12-27T22:45:39ZCompiler techniquesent://SD_ILS/0/SD_ILS:322182024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Pollack, Bary W. comp.<br/>Yer Numarası QA 76.6 P65 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Modern Compiler Designent://SD_ILS/0/SD_ILS:1744102024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Grune, Dick. author. van Reeuwijk, Kees. author. Bal, Henri E. author. Jacobs, Ceriel J.H. author. Langendoen, Koen. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4699-6">http://dx.doi.org/10.1007/978-1-4614-4699-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler design theoryent://SD_ILS/0/SD_ILS:322032024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Lewis, Philip M., 1931- Lewis, Philip M. Rosenkrantz, J. Daniel, ort. yaz. Stearns, Richard E., ort. yaz.<br/>Yer Numarası QA 76.6 L47 1976<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A compiler generatorent://SD_ILS/0/SD_ILS:347062024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.<br/>Yer Numarası QA 76.5 M1874 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Engineering a compilerent://SD_ILS/0/SD_ILS:3655672024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Cooper, Keith D. (Keith Daniel) Torczon, Linda.<br/>Yer Numarası QA76.76.C65 C675 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Principles of compiler designent://SD_ILS/0/SD_ILS:3655012024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Raghavan, V.<br/>Yer Numarası QA76.76.C65 P75 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Compiler Design Virtual Machinesent://SD_ILS/0/SD_ILS:1928092024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14909-2">http://dx.doi.org/10.1007/978-3-642-14909-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elements of compiler constructionent://SD_ILS/0/SD_ILS:322072024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Maginnis, James B.<br/>Yer Numarası QA 76.6 M34 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:1686072024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-829-4">http://dx.doi.org/10.1007/978-0-85729-829-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Austin Protocol Compilerent://SD_ILS/0/SD_ILS:1648762024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar McGuire, Tommy M. author. Gouda, Mohamed G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b101038">http://dx.doi.org/10.1007/b101038</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Design Syntactic and Semantic Analysisent://SD_ILS/0/SD_ILS:3330762024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333076.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17540-4">http://dx.doi.org/10.1007/978-3-642-17540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Design Analysis and Transformationent://SD_ILS/0/SD_ILS:1936342024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Seidl, Helmut. author. Wilhelm, Reinhard. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17548-0">http://dx.doi.org/10.1007/978-3-642-17548-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The anatomy of a compilerent://SD_ILS/0/SD_ILS:322012024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Lee, John A.<br/>Yer Numarası QA 76.6 L37 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Compiler construction for digital computersent://SD_ILS/0/SD_ILS:346772024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Gries, David, 1939-<br/>Yer Numarası QA 76.5 G73 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~4<br/>Putting linguistics into speech recognition : the Regulus grammar compilerent://SD_ILS/0/SD_ILS:1097302024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Rayner, Manny. Hockey, Beth Ann, ed. Bouillon, Pierrette, ed.<br/>Yer Numarası TK7895.S65 R34 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The theory and practice of compiler writingent://SD_ILS/0/SD_ILS:443362024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Tremblay, Jean Paul. Sorenson, P. G., ort. yaz.<br/>Yer Numarası QA 76.6 T734 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208812024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)<br/>Yer Numarası XX(520881.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40744-4">https://doi.org/10.1007/978-3-031-40744-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190592024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Franke, Björn. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519059.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334353.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941812024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Knoop, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918502024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>C Compilers for ASIPs Automatic Compiler Generation with LISAent://SD_ILS/0/SD_ILS:1721722024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1176-6">http://dx.doi.org/10.1007/978-1-4419-1176-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The compiler design handbook optimizations and machine code generationent://SD_ILS/0/SD_ILS:2868732024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Srikant, Y. N. Shankar, P. (Priti)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420043839">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1882432024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Hendren, Laurie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862192024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836022024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830562024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The compiler design handbook optimizations and machine code generationent://SD_ILS/0/SD_ILS:2867392024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Srikant, Y. N. Shankar, P. (Priti)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420040579">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A laboratory manual for compiler and operating system implementationent://SD_ILS/0/SD_ILS:321942024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Halstead, Maurice Howard, 1918-<br/>Yer Numarası QA 76.6 H32 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18ent://SD_ILS/0/SD_ILS:727052024-12-27T22:45:39Z2024-12-27T22:45:39ZYer Numarası QA 76.6 S521 1980<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Guide to the pianist's repertoireent://SD_ILS/0/SD_ILS:2777302024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Hinson, Maurice, compiler. Roberts, Wesley, compiler. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780253010230/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>William Byrd a research and information guideent://SD_ILS/0/SD_ILS:2615922024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Turbet, Richard, compiler. Bowers, Roger, author. Greenhalgh, M. J. (Michael J.), compiler.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203112342">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Durorp-English dictionaryent://SD_ILS/0/SD_ILS:2772412024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Inyang, Ekpe, compiler. Project Muse, distributor. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9789956791743/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ancient Chinese bronzes : a personal appreciationent://SD_ILS/0/SD_ILS:3712602024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Shapiro, Daniel, compiler Lally, James J., contributor Jacobsen, Robert D., contributor Lawton, Thomas, contributor<br/>Yer Numarası NK7983.22 S537 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Vincent van Gogh : the years in France : complete paintings 1886-1890 : dealers, collectors, exhibitions, provenanceent://SD_ILS/0/SD_ILS:3562932024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Feilchenfeldt, Walter, compiler. Gogh, Vincent van, 1853-1890. Works. Selections.<br/>Yer Numarası ND653.G7 A4 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nomenclature of Organic Chemistry : IUPAC Recommendations and Preferred Names 2013ent://SD_ILS/0/SD_ILS:3431362024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Favre, Henri A., compiler. Powell, Warren H., 1934- compiler. International Union of Pure and Applied Chemistry.<br/>Yer Numarası ONLINE(343136.1)<br/>Elektronik Erişim ebrary <a href="http://alltitles.ebrary.com/Doc?id=10930621">An electronic book accessible through the World Wide Web; click to view</a>
Royal Society of Chemistry <a href="http://dx.doi.org/10.1039/9781849733069">http://dx.doi.org/10.1039/9781849733069</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Penny Dreadfuls : sensational tales of terrorent://SD_ILS/0/SD_ILS:3787782024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Dziemianowicz, Stefan R., compiler.<br/>Yer Numarası PR1309.H6 P46 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>To libraries with love : the library-information policy of Bulgaria 1989-2013 : (a collection of papers, projects and articles)ent://SD_ILS/0/SD_ILS:5162702024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Dimchev, Alexander Georgiev, author, compiler.<br/>Yer Numarası Z665.2.B8 D56 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>American slavery as it is : testimony of a thousand witnessesent://SD_ILS/0/SD_ILS:3760192024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Weld, Theodore Dwight, 1803-1895, compiler. American Anti-Slavery Society. University of North Carolina at Chapel Hill. Documenting the American South (Project) University of North Carolina at Chapel Hill. Library, publisher.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.5149/9780807869581_weld">http://www.jstor.org/stable/10.5149/9780807869581_weld</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High energy physicsent://SD_ILS/0/SD_ILS:2577762024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Burhop, E. H. S. (Eric Henry Stoneley), compiler.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121443054">http://www.sciencedirect.com/science/book/9780121443054</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A sleepless eye aphorisms from the Saharaent://SD_ILS/0/SD_ILS:3229392024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Kūnī, Ibrāhīm, author. Sebe, Alain, photographer. Allen, Roger, translator. Fähndrich, Hartmut, compiler. Project Muse, distributor.<br/>Yer Numarası ONLINE(322939.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780815652793/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520788.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207972024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520797.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24950-1">https://doi.org/10.1007/978-3-031-24950-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208022024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520802.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211322024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521132.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42697-1">https://doi.org/10.1007/978-3-031-42697-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:5203192024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520319.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-2446-2">https://doi.org/10.1007/978-981-99-2446-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520857.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209952024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520995.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35486-1">https://doi.org/10.1007/978-3-031-35486-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213052024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521305.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40843-4">https://doi.org/10.1007/978-3-031-40843-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213242024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521324.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5203432024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.<br/>Yer Numarası XX(520343.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42941-5">https://doi.org/10.1007/978-3-031-42941-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209192024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.<br/>Yer Numarası XX(520919.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29315-3">https://doi.org/10.1007/978-3-031-29315-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190462024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519046.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191362024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519136.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519237.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-core embedded systemsent://SD_ILS/0/SD_ILS:2906212024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Kornaros, Georgios.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439811627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Warren's abstract machine a tutorial reconstructionent://SD_ILS/0/SD_ILS:2201442024-12-27T22:45:39Z2024-12-27T22:45:39ZYazar Aït-Kaci, Hassan, 1954-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>