Arama Sonuçları Foundations. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-05T20:31:58ZFoundations of Java for ABAP Programmersent://SD_ILS/0/SD_ILS:1708452025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Rooney, Alistair. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0140-3">http://dx.doi.org/10.1007/978-1-4302-0140-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Concept Analysis Foundations and Applicationsent://SD_ILS/0/SD_ILS:1829672025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models@run.time Foundations, Applications, and Roadmapsent://SD_ILS/0/SD_ILS:4855842025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08915-7">https://doi.org/10.1007/978-3-319-08915-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering foundations : a software science perspectiveent://SD_ILS/0/SD_ILS:5417142025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Wang, Yingxu., author.<br/>Yer Numarası QA76.758 .W375 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203496091">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862852025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:3992702025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994062025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015652025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019512025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Building Information Modeling Technology Foundations and Industry Practiceent://SD_ILS/0/SD_ILS:3998072025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92862-3">https://doi.org/10.1007/978-3-319-92862-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3999032025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Comparing and Aligning Process Representations Foundations and Technical Solutionsent://SD_ILS/0/SD_ILS:4017012025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar van der Aa, Han. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94634-4">https://doi.org/10.1007/978-3-319-94634-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Refinement in Z and Object-Z Foundations and Advanced Applicationsent://SD_ILS/0/SD_ILS:4880302025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-5355-9">https://doi.org/10.1007/978-1-4471-5355-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Project Effort Estimation Foundations and Best Practice Guidelines for Successent://SD_ILS/0/SD_ILS:4880592025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03629-8">https://doi.org/10.1007/978-3-319-03629-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations for Designing User-Centered Systems What System Designers Need to Know about Peopleent://SD_ILS/0/SD_ILS:4883382025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Ritter, Frank E. author. Baxter, Gordon D. author. Churchill, Elizabeth F. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-5134-0">https://doi.org/10.1007/978-1-4471-5134-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4890982025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-53956-5">https://doi.org/10.1007/978-3-642-53956-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347112025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334711.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347272025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334727.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Raynal, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333514.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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:3343582025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3343652025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.<br/>Yer Numarası ONLINE(334365.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37119-6">http://dx.doi.org/10.1007/978-3-642-37119-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1964022025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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:1965202025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Birkedal, Lars. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1962942025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970892025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973522025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded System Design Embedded Systems Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:2057902025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Marwedel, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0257-8">http://dx.doi.org/10.1007/978-94-007-0257-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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:1941622025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Hofmann, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1941702025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedingsent://SD_ILS/0/SD_ILS:1947112025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21470-7">http://dx.doi.org/10.1007/978-3-642-21470-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1958252025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:1957822025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 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:1918672025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920362025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923852025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903952025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908722025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04211-9">http://dx.doi.org/10.1007/978-3-642-04211-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papersent://SD_ILS/0/SD_ILS:1913712025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctnessent://SD_ILS/0/SD_ILS:1892252025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Mendling, Jan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89224-3">http://dx.doi.org/10.1007/978-3-540-89224-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 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:1897412025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Alfaro, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</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:1903282025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar 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/>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. Proceedingsent://SD_ILS/0/SD_ILS:1881522025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Amadio, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of 3D Graphics Programming Using JOGL and Java3Dent://SD_ILS/0/SD_ILS:1757962025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-284-5">http://dx.doi.org/10.1007/978-1-84800-284-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1857142025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing with blends conceptual foundations of human-computer interaction and software engineeringent://SD_ILS/0/SD_ILS:2199982025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Imaz, Manuel. Benyon, David.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862672025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedingsent://SD_ILS/0/SD_ILS:1866802025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72901-3">http://dx.doi.org/10.1007/978-3-540-72901-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of 3D Graphics Programming Using JOGL and Java3Dent://SD_ILS/0/SD_ILS:1754642025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-597-6">http://dx.doi.org/10.1007/1-84628-597-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836002025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843222025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of AOP for J2EE Developmentent://SD_ILS/0/SD_ILS:1707682025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0063-5">http://dx.doi.org/10.1007/978-1-4302-0063-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831562025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Product Line Engineering Foundations, Principles, and Techniquesent://SD_ILS/0/SD_ILS:1818932025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28901-1">http://dx.doi.org/10.1007/3-540-28901-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1829062025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 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:1830532025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-star Properties in Complex Information Systems Conceptual and Practical Foundationsent://SD_ILS/0/SD_ILS:1830812025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Studyent://SD_ILS/0/SD_ILS:3359922025-12-05T20:31:58Z2025-12-05T20:31:58ZYazar Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335992.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5506-2">http://dx.doi.org/10.1007/978-94-007-5506-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>