Search Results for Software Design. - Narrowed by: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026ic$003dtrue$0026ps$003d300? 2025-12-10T13:36:16Z Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures ent://SD_ILS/0/SD_ILS:192413 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Systems On-Chip: Practical Software/Hardware Design ent://SD_ILS/0/SD_ILS:207033 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Abdallah, Abderazek Ben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-33-6">http://dx.doi.org/10.2991/978-94-91216-33-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic Optimization Techniques for Hardware and Software Design ent://SD_ILS/0/SD_ILS:236749 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Kastner, Ryan.&#160;Hosangadi, Anup.&#160;Fallah, Farzan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511712180">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies ent://SD_ILS/0/SD_ILS:172367 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Popovici, Katalin. author.&#160;Rousseau, Fr&eacute;d&eacute;ric. author.&#160;Jerraya, Ahmed A. author.&#160;Wolf, Marilyn. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-5567-8">http://dx.doi.org/10.1007/978-1-4419-5567-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Process Algebraic Approach to Software Architecture Design ent://SD_ILS/0/SD_ILS:175768 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Aldini, Alessandro. author.&#160;Bernardo, Marco. author.&#160;Corradini, Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> &Uuml;&ccedil; boyutlu bilgisayar grafiklerinde yaz&#305;l&#305;m tasar&#305;m &ouml;r&uuml;nt&uuml;leri ve uygulamalar&#305; = Applying software design patterns in 3D computer graphics ent://SD_ILS/0/SD_ILS:130924 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Selem, Atilla.<br/>Preferred Shelf Number&#160;TEZ 9338 .S45 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Information security management handbook ent://SD_ILS/0/SD_ILS:539793 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Tipton, Harold F.&#160;Nozaki, Micki Krause.<br/>Preferred Shelf Number&#160;QA76.9 .A25 I54165 2007<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439893159">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Testing Complex and Embedded Systems ent://SD_ILS/0/SD_ILS:546439 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Pries, Kim H., author.&#160;Quigley, Jon M., author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;TK7895 .E42<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315169453">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software metrics and software metrology ent://SD_ILS/0/SD_ILS:249319 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Abran, Alain, 1949-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Socio-technical networks : science and engineering design ent://SD_ILS/0/SD_ILS:539084 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Hu, Fei.&#160;Mostashari, Ali.&#160;Xie, Jiang.<br/>Preferred Shelf Number&#160;TK5105.5 .S6325 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439809815">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Food identity preservation and traceability : safer grains ent://SD_ILS/0/SD_ILS:539934 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Bennet, Gregory S., author.<br/>Preferred Shelf Number&#160;TX531 .B46 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439804872">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Underwater acoustic sensor networks ent://SD_ILS/0/SD_ILS:543943 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Xiao, Yang, 1966-<br/>Preferred Shelf Number&#160;TK5103.52 .U54 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420067125">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Manual of geospatial science and technology ent://SD_ILS/0/SD_ILS:544023 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Bossler, John D.&#160;Campbell, James B., 1944-&#160;McMaster, Robert Brainerd.&#160;Rizos, C.<br/>Preferred Shelf Number&#160;G70.212 .M287 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420087345">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Antenna theory and microstrip antennas ent://SD_ILS/0/SD_ILS:545464 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Fang, D. G., author.<br/>Preferred Shelf Number&#160;TK7871.67 .M5 F36 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315218311">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Handbook of chemoinformatics algorithms ent://SD_ILS/0/SD_ILS:542021 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Faulon, Jean-Loup.&#160;Bender, Andreas, 1976-<br/>Preferred Shelf Number&#160;QD39.3 .E46 H357 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420082999">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Model-based design for embedded systems ent://SD_ILS/0/SD_ILS:542477 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Mosterman, Pieter J.&#160;Nicolescu, G. (Gabriela)<br/>Preferred Shelf Number&#160;TK7895 .E42 M62 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420067859">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Multi-core embedded systems ent://SD_ILS/0/SD_ILS:543474 2025-12-10T13:36:16Z 2025-12-10T13:36:16Z Author&#160;Kornaros, Georgios.<br/>Preferred Shelf Number&#160;TK7895 .E42 M848 2010<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439811627">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>