Search Results for Systems software. - Narrowed by: 2005 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026ic$003dtrue$0026ps$003d300? 2025-12-13T22:59:40Z Trustworthy systems through quantitative software engineering ent://SD_ILS/0/SD_ILS:249437 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Bernstein, Lawrence, 1940-&#160;Yuhas, C. M.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Directory of library automation software, systems, and services. ent://SD_ILS/0/SD_ILS:79391 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Cibbarelli, Pamela R., ed.&#160;Information Today, Inc.<br/>Preferred Shelf Number&#160;Z678.9.A3 D6<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Robust communications software : extreme availability, reliability and scalability for carrier-grade systems ent://SD_ILS/0/SD_ILS:119483 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Utas, Greg.<br/>Preferred Shelf Number&#160;TK5105.9 U83 2005<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Robust communications software extreme availability, reliability and scalability for carrier-grade systems ent://SD_ILS/0/SD_ILS:295648 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Utas, Greg.&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/0470011793">http://dx.doi.org/10.1002/0470011793</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process-aware information systems bridging people and software through process technology ent://SD_ILS/0/SD_ILS:301790 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Dumas, Marlon.&#160;Aalst, Wil van der.&#160;Ter Hofstede, Arthur, 1966-&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182384 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Franch, Xavier. editor.&#160;Port, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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. Proceedings ent://SD_ILS/0/SD_ILS:183051 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Halbwachs, Nicolas. editor.&#160;Zuck, Lenore D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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. Proceedings ent://SD_ILS/0/SD_ILS:183058 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Sagiv, Mooly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 Lectures ent://SD_ILS/0/SD_ILS:183088 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Bernardo, Marco. editor.&#160;Bogliolo, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems Second International Conference, ICESS 2005, Xi&rsquo;an, China, December 16-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183282 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Yang, Laurence T. editor.&#160;Zhou, Xingshe. editor.&#160;Zhao, Wei. editor.&#160;Wu, Zhaohui. editor.&#160;Zhu, Yian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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&ndash;15 August 2004 ent://SD_ILS/0/SD_ILS:168920 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Broy, Manfred. editor.&#160;Gr&uuml;nbauer, Johannes. editor.&#160;Harel, David. editor.&#160;Hoare, Tony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System-level Test and Validation of Hardware/Software Systems ent://SD_ILS/0/SD_ILS:175272 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Sonza Reorda, Matteo. editor.&#160;Peng, Zebo. editor.&#160;Violante, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Development for Embedded Systems An Overview of Current Research Trends ent://SD_ILS/0/SD_ILS:182781 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Atkinson, Colin. editor.&#160;Bunse, Christian. editor.&#160;Gross, Hans-Gerhard. editor.&#160;Peper, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182909 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Wu, Zhaohui. editor.&#160;Chen, Chun. editor.&#160;Guo, Minyi. editor.&#160;Bu, Jiajun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications ent://SD_ILS/0/SD_ILS:182932 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Choren, Ricardo. editor.&#160;Garcia, Alessandro. editor.&#160;Lucena, Carlos. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage ent://SD_ILS/0/SD_ILS:254402 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Gilb, Tom.&#160;Brodie, Lindsey.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750665070">http://www.sciencedirect.com/science/book/9780750665070</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Flexible Software Design : Systems Development for Changing Requirements. ent://SD_ILS/0/SD_ILS:541835 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Johnson, Bruce (Bruce M.), author.&#160;Woolfolk, Walter W., author.&#160;Miller, Robert, author.&#160;Johnson, Cindy, author.<br/>Preferred Shelf Number&#160;QA76.9 .S88<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information security management handbook ent://SD_ILS/0/SD_ILS:542831 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Tipton, Harold F.&#160;Krause, Micki.<br/>Preferred Shelf Number&#160;QA76.9 .A25 I54165 2003<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Distributed sensor networks ent://SD_ILS/0/SD_ILS:542802 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Iyengar, S. S. (Sundararaja S.)&#160;Brooks, R. R. (Richard R.)<br/>Preferred Shelf Number&#160;TK7872 .D48 D57 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439870785">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Vibration and shock handbook ent://SD_ILS/0/SD_ILS:543904 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;De Silva, Clarence W.<br/>Preferred Shelf Number&#160;TA355 .V5197 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420039894">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Low-power electronics design ent://SD_ILS/0/SD_ILS:544490 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Piguet, Christian.<br/>Preferred Shelf Number&#160;TK7874.66 .L65 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420039559">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> The industrial information technology handbook ent://SD_ILS/0/SD_ILS:545487 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Zurawski, Richard.<br/>Preferred Shelf Number&#160;T58.5 .I513 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420036336">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> The engineering handbook ent://SD_ILS/0/SD_ILS:541498 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Dorf, Richard C.<br/>Preferred Shelf Number&#160;TA151 .E424 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420039870">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Computers, Software Engineering, and Digital Devices ent://SD_ILS/0/SD_ILS:542493 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Dorf, Richard C., author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;TK7885<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The practical handbook of Internet computing ent://SD_ILS/0/SD_ILS:545276 2025-12-13T22:59:40Z 2025-12-13T22:59:40Z Author&#160;Singh, Munindar P. (Munindar Paul), 1964-<br/>Preferred Shelf Number&#160;QA76.625 .P73 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9780203507223">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>