Arama Sonuçları Systems software. - Daraltılmış: 2013SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092013$0025092013$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list2024-10-19T06:48:24ZGröbner Bases Statistics and Software Systemsent://SD_ILS/0/SD_ILS:3354392024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Hibi, Takayuki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335439.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54574-3">http://dx.doi.org/10.1007/978-4-431-54574-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Dependability Assessment of Software Systemsent://SD_ILS/0/SD_ILS:3348122024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334812.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Directory of library automation software, systems, and services.ent://SD_ILS/0/SD_ILS:793912024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Cibbarelli, Pamela R., ed. Information Today, Inc.<br/>Yer Numarası Z678.9.A3 D6<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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:3342782024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342362024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334236.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334240.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lecturesent://SD_ILS/0/SD_ILS:3346882024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347442024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334744.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39179-8">http://dx.doi.org/10.1007/978-3-642-39179-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350242024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335024.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Dataent://SD_ILS/0/SD_ILS:3360202024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336020.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5618-2">http://dx.doi.org/10.1007/978-94-007-5618-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Editionent://SD_ILS/0/SD_ILS:3364952024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336495.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</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:3330152024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar 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/>Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350642024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335064.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351412024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335141.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Using Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331181.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340332024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334033.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334055.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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:3343482024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334348.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351702024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Yer Numarası ONLINE(335170.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351982024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335198.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Developmentent://SD_ILS/0/SD_ILS:3333582024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Trendowicz, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spatial mathematics theory and practice through mappingent://SD_ILS/0/SD_ILS:2900432024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Arlinghaus, Sandra L. (Sandra Lach) Kerski, Joseph J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466505339">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/>Contemporary high performance computing from petascale toward exascaleent://SD_ILS/0/SD_ILS:2917292024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Vetter, Jeffrey S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466568358">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/>Handbook of Neuroevolution Through Erlangent://SD_ILS/0/SD_ILS:3315122024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Sher, Gene I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331512.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</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:3328222024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar 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/>Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340712024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334071.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</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:3340772024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar 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/>Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computingent://SD_ILS/0/SD_ILS:3340792024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334079.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papersent://SD_ILS/0/SD_ILS:3343442024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334344.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37021-2">http://dx.doi.org/10.1007/978-3-642-37021-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedingsent://SD_ILS/0/SD_ILS:3347062024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334706.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Projectent://SD_ILS/0/SD_ILS:3355772024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Cotroneo, Domenico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335577.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011ent://SD_ILS/0/SD_ILS:3358212024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sustainable Web Ecosystem Designent://SD_ILS/0/SD_ILS:3323312024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar O'Toole, Greg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332331.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:3332462024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333246.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</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:3335142024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar 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/>Introduction to Cryptography with Mapleent://SD_ILS/0/SD_ILS:3335332024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333533.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Surface- and Groundwater Quality Changes in Periods of Water Scarcityent://SD_ILS/0/SD_ILS:3335472024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Gregor, Miloš. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32244-0">http://dx.doi.org/10.1007/978-3-642-32244-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papersent://SD_ILS/0/SD_ILS:3340962024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334096.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3343282024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.<br/>Yer Numarası ONLINE(334328.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334533.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348712024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334871.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook on mobile and ubiquitous computing status and perspectiveent://SD_ILS/0/SD_ILS:2862622024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Yang, Laurence Tianruo. Syukur, Evi. Loke, Seng.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439848128">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/>Netcentric system of systems engineering with DEVS unified processent://SD_ILS/0/SD_ILS:2871742024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Mittal, Saurabh. Risco-Martn̕, Jos ̌Luis, 1975- Cetinkaya, Deniz. Verbraeck, Alexander. Seck, Mamadou D.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439827079">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/>Safety and human error in engineering systemsent://SD_ILS/0/SD_ILS:2881262024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Dhillon, B. S. (Balbir S.), 1947-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466506954">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/>The practical OPNET user guide for computer network simulationent://SD_ILS/0/SD_ILS:2880812024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Sethi, Adarshpal S. Hnatyshin, Vasil Y.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439812068">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/>Noise mapping in the EU models and proceduresent://SD_ILS/0/SD_ILS:2901932024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Licitra, Gaetano.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203848128">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/>Computer system reliability safety and usabilityent://SD_ILS/0/SD_ILS:2853902024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Dhillon, B. S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466573130">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/>Robust Data Miningent://SD_ILS/0/SD_ILS:3308612024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330861.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9878-1">http://dx.doi.org/10.1007/978-1-4419-9878-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomic Computing Principles, Design and Implementationent://SD_ILS/0/SD_ILS:3311152024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331115.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Network Programming with Java Java 7 Compatibleent://SD_ILS/0/SD_ILS:3311802024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Graba, Jan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331180.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Databases A Practical Introductionent://SD_ILS/0/SD_ILS:3312242024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331224.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Systems Development Reflections, Challenges and New Directionsent://SD_ILS/0/SD_ILS:3316312024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.<br/>Yer Numarası ONLINE(331631.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finding Source Code on the Web for Remix and Reuseent://SD_ILS/0/SD_ILS:3320712024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332071.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scala Design Patterns Patterns for Practical Reuse and Designent://SD_ILS/0/SD_ILS:3329042024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332904.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332921.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Software Industry Economic Principles, Strategies, Perspectivesent://SD_ILS/0/SD_ILS:3334432024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333443.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Industrial Deployment of System Engineering Methodsent://SD_ILS/0/SD_ILS:3336752024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333675.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Dynpro ABAP for Practitionersent://SD_ILS/0/SD_ILS:3345662024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334566.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348492024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Wang, Mingzheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334849.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer-aided control systems design practical applications using MATLAB and Simulinkent://SD_ILS/0/SD_ILS:2909392024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Chin, Cheng Siong.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466568525">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/>Service-oriented distributed knowledge discoveryent://SD_ILS/0/SD_ILS:2916562024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Talia, Domenico. Trunfio, Paolo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439875339">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/>Windows networking tools the complete guide to management, troubleshooting, and securityent://SD_ILS/0/SD_ILS:2916572024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Held, Gilbert, 1943-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466511071">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/>Low power emerging wireless technologiesent://SD_ILS/0/SD_ILS:2916672024-10-19T06:48:24Z2024-10-19T06:48:24ZYazar Mahmoudi, Reza. Iniewski, Krzysztof, 1960-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466507029">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/>