Arama Sonuçları Systems software. - Daraltılmış: 2005SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2026-01-27T20:55:49ZTrustworthy systems through quantitative software engineeringent://SD_ILS/0/SD_ILS:2494372026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</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:793912026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar 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/>Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguageent://SD_ILS/0/SD_ILS:2544022026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Gilb, Tom. Brodie, Lindsey.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750665070">http://www.sciencedirect.com/science/book/9780750665070</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004ent://SD_ILS/0/SD_ILS:1689202026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System-level Test and Validation of Hardware/Software Systemsent://SD_ILS/0/SD_ILS:1752722026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823842026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829092026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 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:1830512026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 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:1830582026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:1830882026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Multi-Agent Systems III Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1829322026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1829332026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Component-Based Software Development for Embedded Systems An Overview of Current Research Trendsent://SD_ILS/0/SD_ILS:1827812026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832822026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Flexible Software Design : Systems Development for Changing Requirements.ent://SD_ILS/0/SD_ILS:5418352026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429117053">https://www.taylorfrancis.com/books/9780429117053</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/>Robust communications software extreme availability, reliability and scalability for carrier-grade systemsent://SD_ILS/0/SD_ILS:2956482026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Utas, Greg. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0470011793">http://dx.doi.org/10.1002/0470011793</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process-aware information systems bridging people and software through process technologyent://SD_ILS/0/SD_ILS:3017902026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html">http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471741442">http://dx.doi.org/10.1002/0471741442</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robust communications software : extreme availability, reliability and scalability for carrier-grade systemsent://SD_ILS/0/SD_ILS:1194832026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Utas, Greg.<br/>Yer Numarası TK5105.9 U83 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Information security management handbookent://SD_ILS/0/SD_ILS:5428312026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Tipton, Harold F. Krause, Micki.<br/>Yer Numarası QA76.9 .A25 I54165 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The practical handbook of Internet computingent://SD_ILS/0/SD_ILS:5452762026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Singh, Munindar P. (Munindar Paul), 1964-<br/>Yer Numarası QA76.625 .P73 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203507223">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The industrial information technology handbookent://SD_ILS/0/SD_ILS:5454872026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Zurawski, Richard.<br/>Yer Numarası T58.5 .I513 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420036336">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed sensor networksent://SD_ILS/0/SD_ILS:5428022026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)<br/>Yer Numarası TK7872 .D48 D57 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439870785">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Vibration and shock handbookent://SD_ILS/0/SD_ILS:5439042026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar De Silva, Clarence W.<br/>Yer Numarası TA355 .V5197 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420039894">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The engineering handbookent://SD_ILS/0/SD_ILS:5414982026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Dorf, Richard C.<br/>Yer Numarası TA151 .E424 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420039870">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-01-27T20:55:49Z2026-01-27T20:55:49ZYazar 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/>Low-power electronics designent://SD_ILS/0/SD_ILS:5444902026-01-27T20:55:49Z2026-01-27T20:55:49ZYazar Piguet, Christian.<br/>Yer Numarası TK7874.66 .L65 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420039559">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>