Arama Sonuçları S. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dS.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?2026-02-22T21:22:35ZSoftware engineering : a practitioner's approachent://SD_ILS/0/SD_ILS:3132492026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Pressman, Roger S.<br/>Yer Numarası QA76.758 P75 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>SharePoint 2003 User’s Guideent://SD_ILS/0/SD_ILS:1707452026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0040-6">http://dx.doi.org/10.1007/978-1-4302-0040-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Tester’s Guide to .NET Programmingent://SD_ILS/0/SD_ILS:1708212026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0116-8">http://dx.doi.org/10.1007/978-1-4302-0116-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AutoCAD 2006 VBA A Programmer’s Referenceent://SD_ILS/0/SD_ILS:1707742026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sutphin, Joe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Schaum's outline of theory and problems of software engineeringent://SD_ILS/0/SD_ILS:3133042026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Gustafson, David A.<br/>Yer Numarası QA76.758 G88 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solutionent://SD_ILS/0/SD_ILS:4847792026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Luszczak, Andreas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-24107-0">https://doi.org/10.1007/978-3-658-24107-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854132026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kabanda, Salah. editor. Suleman, Hussein. editor. Gruner, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05813-5">https://doi.org/10.1007/978-3-030-05813-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:4012172026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>S-BPM ONE -- Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4872732026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Nanopoulos, Alexandros. editor. Schmidt, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06065-1">https://doi.org/10.1007/978-3-319-06065-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:4883612026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Mendes, Emilia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342812026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334281.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36754-0">http://dx.doi.org/10.1007/978-3-642-36754-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330152026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333015.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1962982026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27916-4">http://dx.doi.org/10.1007/978-3-642-27916-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1966222026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Stary, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29133-3">http://dx.doi.org/10.1007/978-3-642-29133-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972742026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papersent://SD_ILS/0/SD_ILS:1952472026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Fleischmann, Albert. editor. Schmidt, Werner. editor. Singer, Robert. editor. Seese, Detlef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23135-3">http://dx.doi.org/10.1007/978-3-642-23135-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953522026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Schmidt, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23471-2">http://dx.doi.org/10.1007/978-3-642-23471-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953852026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926222026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1931262026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15915-2">http://dx.doi.org/10.1007/978-3-642-15915-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systemsent://SD_ILS/0/SD_ILS:1936502026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecting software intensive systems : a practitioner's guideent://SD_ILS/0/SD_ILS:5418532026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Lattanze, Anthony J., author.<br/>Yer Numarası QA76.758 .L3285 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420045703">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Wordent://SD_ILS/0/SD_ILS:1710952026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Antonovich, Michael P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0631-6">http://dx.doi.org/10.1007/978-1-4302-0631-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:1892362026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering Barry W. Boehm's lifetime contributions to software development, management, and researchent://SD_ILS/0/SD_ILS:2498352026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Selby, Richard W.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talentent://SD_ILS/0/SD_ILS:1709292026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Spolsky, Joel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0254-7">http://dx.doi.org/10.1007/978-1-4302-0254-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platforment://SD_ILS/0/SD_ILS:1709102026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0207-3">http://dx.doi.org/10.1007/978-1-4302-0207-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IPv6 in Practice A Unixer’s Guide to the Next Generation Internetent://SD_ILS/0/SD_ILS:1850492026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Stockebrand, Benedikt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-48001-3">http://dx.doi.org/10.1007/978-3-540-48001-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IEEE Computer Society real-world software engineering problems a self-study guide for today's software professionalent://SD_ILS/0/SD_ILS:2498302026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Naveda, J. Fernando. Seidman, Stephen B.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852792026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11942634">http://dx.doi.org/10.1007/11942634</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Seventeen Provers of the World Foreword by Dana S. Scottent://SD_ILS/0/SD_ILS:1835462026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11542384">http://dx.doi.org/10.1007/11542384</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Programmer’s Introduction to C# 2.0ent://SD_ILS/0/SD_ILS:1707402026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:1651432026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The project manager's guide to software engineering's best practicesent://SD_ILS/0/SD_ILS:2498412026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Christensen, M. J., 1947- Thayer, Richard H.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989224">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989224</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989224">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989224</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LabVIEW based Advanced Instrumentation Systemsent://SD_ILS/0/SD_ILS:1850842026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-48501-8">http://dx.doi.org/10.1007/978-3-540-48501-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954512026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23801-7">http://dx.doi.org/10.1007/978-3-642-23801-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4868592026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlabent://SD_ILS/0/SD_ILS:4007882026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Gopi, E. S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57430-1">https://doi.org/10.1007/978-3-319-57430-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017552026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340692026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Yer Numarası ONLINE(335216.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923062026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929062026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1934962026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresdenent://SD_ILS/0/SD_ILS:1916312026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 13th International Conference, FASE 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:1918662026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903882026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02652-2">http://dx.doi.org/10.1007/978-3-642-02652-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1908582026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approachent://SD_ILS/0/SD_ILS:2047852026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-2427-5">http://dx.doi.org/10.1007/978-90-481-2427-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:1893982026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1855072026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887692026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Verification and Validation An Engineering and Scientific Approachent://SD_ILS/0/SD_ILS:1663912026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Fisher, Marcus S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1874572026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:1872652026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>TSP : coaching development teamsent://SD_ILS/0/SD_ILS:3128502026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Humphrey, Watts S., 1927-<br/>Yer Numarası QA76.758 H86 2006<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1844262026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1ent://SD_ILS/0/SD_ILS:1857902026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69336-9">http://dx.doi.org/10.1007/978-3-540-69336-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:1830122026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831732026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831752026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1831792026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004ent://SD_ILS/0/SD_ILS:1688832026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Level Design of Reconfigurable Systems-on-Chipent://SD_ILS/0/SD_ILS:1652272026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A discipline for software engineeringent://SD_ILS/0/SD_ILS:888082026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Humphrey, Watts S., 1927-<br/>Yer Numarası QA 76.758 H857 1995<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990932026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Kubota, Kenichi. editor. Lee, Lap-Kei. editor. Tokito, Jumpei. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964272026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946102026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Al-Majeed, Salah S. editor. Hu, Chih-Lin. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21153-9">http://dx.doi.org/10.1007/978-3-642-21153-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering : principles and practiceent://SD_ILS/0/SD_ILS:3655232026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Jawadekar, W. S. (Waman S.)<br/>Yer Numarası QA76.758 J39 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4834882026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33274-7">https://doi.org/10.1007/978-3-030-33274-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple statistical methods for software engineering : data and patternsent://SD_ILS/0/SD_ILS:3801332026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439816622">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/>Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1858502026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69501-1">http://dx.doi.org/10.1007/978-3-540-69501-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Proceedingsent://SD_ILS/0/SD_ILS:1856202026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1878732026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874202026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1827892026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845122026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814764">http://dx.doi.org/10.1007/11814764</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841482026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering for automotive systems : principles and applicationsent://SD_ILS/0/SD_ILS:5906352026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.<br/>Yer Numarası TL272.53<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003269908">https://www.taylorfrancis.com/books/9781003269908</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:4873592026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-8848-3">https://doi.org/10.1007/978-981-10-8848-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995462026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05288-1">https://doi.org/10.1007/978-3-030-05288-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999212026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligenceent://SD_ILS/0/SD_ILS:4003102026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90059-9">https://doi.org/10.1007/978-3-319-90059-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3993472026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334077.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lecturesent://SD_ILS/0/SD_ILS:3349782026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334978.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science and Convergence CSA 2011 & WCC 2011 Proceedingsent://SD_ILS/0/SD_ILS:2064592026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-2792-2">http://dx.doi.org/10.1007/978-94-007-2792-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papersent://SD_ILS/0/SD_ILS:1958982026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972722026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1976212026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35600-1">http://dx.doi.org/10.1007/978-3-642-35600-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1930552026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15696-0">http://dx.doi.org/10.1007/978-3-642-15696-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenMP in the Petascale Era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947162026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Chapman, Barbara M. editor. Gropp, William D. editor. Kumaran, Kalyan. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21487-5">http://dx.doi.org/10.1007/978-3-642-21487-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937302026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17851-1">http://dx.doi.org/10.1007/978-3-642-17851-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956412026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Cotronis, Yiannis. editor. Danalis, Anthony. editor. Nikolopoulos, Dimitrios S. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24449-0">http://dx.doi.org/10.1007/978-3-642-24449-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961182026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27180-9">http://dx.doi.org/10.1007/978-3-642-27180-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1921692026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12963-6">http://dx.doi.org/10.1007/978-3-642-12963-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929812026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Pont, Ana. editor. Pujolle, Guy. editor. Raghavan, S. V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15476-8">http://dx.doi.org/10.1007/978-3-642-15476-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1930572026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15702-8">http://dx.doi.org/10.1007/978-3-642-15702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933412026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Xie, Bing. editor. Branke, Juergen. editor. Sadjadi, S. Masoud. editor. Zhang, Daqing. editor. Zhou, Xingshe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16576-4">http://dx.doi.org/10.1007/978-3-642-16576-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedingsent://SD_ILS/0/SD_ILS:1922652026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sato, Mitsuhisa. editor. Hanawa, Toshihiro. editor. Müller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13217-9">http://dx.doi.org/10.1007/978-3-642-13217-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1927252026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14654-1">http://dx.doi.org/10.1007/978-3-642-14654-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936582026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applicationsent://SD_ILS/0/SD_ILS:1712702026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-2366-5">http://dx.doi.org/10.1007/978-1-4302-2366-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906762026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Algorithms for Applied CAD Problemsent://SD_ILS/0/SD_ILS:1886612026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85281-0">http://dx.doi.org/10.1007/978-3-540-85281-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulosent://SD_ILS/0/SD_ILS:1903282026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02463-4">http://dx.doi.org/10.1007/978-3-642-02463-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914022026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10549-4">http://dx.doi.org/10.1007/978-3-642-10549-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853702026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Chaudhuri, Soma. editor. Das, Samir R. editor. Paul, Himadri S. editor. Tirthapura, Srikanta. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11947950">http://dx.doi.org/10.1007/11947950</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1830782026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136149">http://dx.doi.org/10.1007/b136149</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computingent://SD_ILS/0/SD_ILS:5289872026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Lee, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning software engineeringent://SD_ILS/0/SD_ILS:5990782026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Stephens, Rod, author.<br/>Yer Numarası QA76.758 .S74 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolving software processes : trends and future directionsent://SD_ILS/0/SD_ILS:5973232026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.<br/>Yer Numarası QA76.76 .D47<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Effective methods for software engineeringent://SD_ILS/0/SD_ILS:5864982026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Summers, Boyd L., author.<br/>Yer Numarası QA76.758 .S857 2020 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003025665">https://www.taylorfrancis.com/books/9781003025665</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Yazılım mühendisliğient://SD_ILS/0/SD_ILS:5099842026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian. Topaloğlu, N. Yasemin.<br/>Yer Numarası QA76.758 S6619 2021<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>An introduction to self-adaptive systems : a contemporary software engineering perspectiveent://SD_ILS/0/SD_ILS:5963512026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Weyns, Danny.<br/>Yer Numarası QA76.76 .S375<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Official Google Cloud Certified Professional Data Engineer study guideent://SD_ILS/0/SD_ILS:5960212026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sullivan, Dan, 1962-<br/>Yer Numarası QA76.3<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Yazılım mühendisliğient://SD_ILS/0/SD_ILS:4618842026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian. Topaloğlu, N. Yasemin.<br/>Yer Numarası QA76.758 S6619 2018<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Yazılım mühendisliği : yöntembilimi, belgeleri ve standartlarıylaent://SD_ILS/0/SD_ILS:4618852026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sarıdoğan, M. Erhan.<br/>Yer Numarası QA76.758 S281 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterpriseent://SD_ILS/0/SD_ILS:5932872026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sharma, Sanjeev (Information technology executive), author.<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Yazılım mühendisliği temellerient://SD_ILS/0/SD_ILS:4618812026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sarıdoğan, M. Erhan.<br/>Yer Numarası QA76.758 S280 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software engineeringent://SD_ILS/0/SD_ILS:3788652026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian, 1951-<br/>Yer Numarası QA76.758 S66 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mobile and Wireless Technology 2015ent://SD_ILS/0/SD_ILS:5305482026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47669-7">https://doi.org/10.1007/978-3-662-47669-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning software engineeringent://SD_ILS/0/SD_ILS:3740172026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Stephens, Rod.<br/>Yer Numarası QA76.758 S737 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Computer, network, software, and hardware engineering with applicationsent://SD_ILS/0/SD_ILS:2698372026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Shneidewind, Norman.<br/>Yer Numarası TK7885 S2564 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software engineeringent://SD_ILS/0/SD_ILS:3132502026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian, 1951-<br/>Yer Numarası QA76.6 S66 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software engineeringent://SD_ILS/0/SD_ILS:3541162026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian, 1951-<br/>Yer Numarası QA76.758 S66 2011<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Data structure and software engineering : challenges and improvementsent://SD_ILS/0/SD_ILS:5397092026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Antonakos, James L.<br/>Yer Numarası QA76.9 .D35 D38 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466562608">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Object-oriented software engineeringent://SD_ILS/0/SD_ILS:3137672026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Schach, Stephen R.<br/>Yer Numarası QA 76.758 S3 2008<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software engineeringent://SD_ILS/0/SD_ILS:1108852026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Sommerville, Ian, 1951-<br/>Yer Numarası QA76.6 S66 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Strategic software engineering : an interdisciplinary approachent://SD_ILS/0/SD_ILS:5399362026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.<br/>Yer Numarası QA76.758 .S765 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420031119">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Computers, Software Engineering, and Digital Devicesent://SD_ILS/0/SD_ILS:5424932026-02-22T21:22:35Z2026-02-22T21:22:35ZYazar Dorf, Richard C., author. Taylor and Francis.<br/>Yer Numarası TK7885<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>