Arama Sonuçları Systems software. - Daraltılmış: 2011SirsiDynix 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$0025092011$0025092011$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list2024-10-19T07:33:30ZSpecification of Software Systemsent://SD_ILS/0/SD_ILS:1684762024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar 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/>Software Tools and Algorithms for Biological Systemsent://SD_ILS/0/SD_ILS:1727572024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7046-6">http://dx.doi.org/10.1007/978-1-4419-7046-6</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-19T07:33:30Z2024-10-19T07:33:30ZYazar 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/>Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932372024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16256-5">http://dx.doi.org/10.1007/978-3-642-16256-5</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:1946542024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar 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/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1949362024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22170-5">http://dx.doi.org/10.1007/978-3-642-22170-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1949432024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22191-0">http://dx.doi.org/10.1007/978-3-642-22191-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1949472024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22203-0">http://dx.doi.org/10.1007/978-3-642-22203-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949482024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar O‘Connor, Rory V. editor. Pries-Heje, Jan. 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-22206-1">http://dx.doi.org/10.1007/978-3-642-22206-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949752024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22285-6">http://dx.doi.org/10.1007/978-3-642-22285-6</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:1953852024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar 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/>Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956812024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledgeent://SD_ILS/0/SD_ILS:1685222024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Nadkarni, Prakash M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-510-1">http://dx.doi.org/10.1007/978-0-85729-510-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware/Software Architectures for Low-Power Embedded Multimedia Systemsent://SD_ILS/0/SD_ILS:1732802024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9692-3">http://dx.doi.org/10.1007/978-1-4419-9692-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systemsent://SD_ILS/0/SD_ILS:1732932024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9736-4">http://dx.doi.org/10.1007/978-1-4419-9736-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939432024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19125-1">http://dx.doi.org/10.1007/978-3-642-19125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 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:1941722024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 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:1941332024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Barthe, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computingent://SD_ILS/0/SD_ILS:1943582024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20401-2">http://dx.doi.org/10.1007/978-3-642-20401-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lecturesent://SD_ILS/0/SD_ILS:1947062024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955522024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24124-6">http://dx.doi.org/10.1007/978-3-642-24124-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design patterns for embedded systems in C an embedded software engineering toolkitent://SD_ILS/0/SD_ILS:1475462024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Douglass, Bruce Powel.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177078">http://www.sciencedirect.com/science/book/9781856177078</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bond Graph Modelling of Engineering Systems Theory, Applications and Software Supportent://SD_ILS/0/SD_ILS:1731902024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Borutzky, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9368-7">http://dx.doi.org/10.1007/978-1-4419-9368-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Location-based information systems developing real-time tracking applicationsent://SD_ILS/0/SD_ILS:2879632024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Labrador, Miguel A. Wightman, Pedro M. Perez, Alfredo Jose.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439848555">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/>Testing complex and embedded systemsent://SD_ILS/0/SD_ILS:2888732024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Pries, Kim H., 1955- Quigley, Jon M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439821411">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 life cycle costing economic analysis, estimation, and managementent://SD_ILS/0/SD_ILS:2907522024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Farr, John Vail.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439828922">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/>Modern anti-windup synthesisent://SD_ILS/0/SD_ILS:3755462024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Zaccarian, Luca. Teel, Andrew R., 1965-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7t5z2">http://www.jstor.org/stable/10.2307/j.ctt7t5z2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Display and interface design subtle science, exact artent://SD_ILS/0/SD_ILS:2906472024-10-19T07:33:30Z2024-10-19T07:33:30ZYazar Bennett, Kevin B. (Kevin Bruce), 1957- Flach, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420064391">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/>