Arama Sonuçları Systems software. - Daraltılmış: 2012SirsiDynix 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$0025092012$0025092012$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?2025-01-09T09:17:45ZSoftware and Systems Traceabilityent://SD_ILS/0/SD_ILS:1733972025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded systems hardware for software engineersent://SD_ILS/0/SD_ILS:2934872025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Lipiansky, Ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/embedded-systems-hardware-for-software-engineers">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded systems hardware for software engineersent://SD_ILS/0/SD_ILS:2489282025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Lipiansky, Ed.<br/>Yer Numarası TK7895.E42 L56 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Directory of library automation software, systems, and services.ent://SD_ILS/0/SD_ILS:793912025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar 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/>Embedded systems security practical methods for safe and secure software and systems developmentent://SD_ILS/0/SD_ILS:1464512025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Kleidermacher, David. Kleidermacher, Mike.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123868862">http://www.sciencedirect.com/science/book/9780123868862</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963702025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:1970002025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970382025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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:1965262025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 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:1965532025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975402025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1976302025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</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:1972742025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar 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/>Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973302025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Avgeriou, Paris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1966462025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Process Definition and Managementent://SD_ILS/0/SD_ILS:1955922025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Plasma processing of nanomaterialsent://SD_ILS/0/SD_ILS:2880322025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Sankaran, Mohan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439866771">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/>Coordinate measuring machines and systemsent://SD_ILS/0/SD_ILS:2894452025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Hocken, Robert J. Pereira, Paulo H.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420017533">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/>Optimal estimation of dynamic systemsent://SD_ILS/0/SD_ILS:2899122025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Crassidis, John L. Junkins, John L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439839867">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/>Environmental fate and transport analysis with compartment modelingent://SD_ILS/0/SD_ILS:2899452025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Little, Keith W.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439887974">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/>Social media, crisis communication, and emergency management leveraging Web 2.0 technologiesent://SD_ILS/0/SD_ILS:2907792025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar White, Connie M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439853504">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/>Water, wastewater, and stormwater infrastructure managementent://SD_ILS/0/SD_ILS:2890072025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Grigg, Neil S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439881842">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/>Embedded systems and wireless technologyent://SD_ILS/0/SD_ILS:2890192025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Aquino Santos, Raul, 1965- Block, Arthur Edwards, 1957-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466565654">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/>Geomechanical processes during underground mining proceedings of the School of Underground mining, Dnipropetrovs'k/Yalta, Ukraine, 24-28 September 2012ent://SD_ILS/0/SD_ILS:2891282025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar School of Underground Mining (6th : 2012 : Dnipropetrovs?k, Ukraine; I?Alta, Ukraine) Bondarenko, Volodymyr.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203073278">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/>Systems engineering and architecting creating formal requirementsent://SD_ILS/0/SD_ILS:2899282025-01-09T09:17:45Z2025-01-09T09:17:45ZYazar Bellagamba, Laurence.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439881422">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/>