Search Results for Design. - Narrowed by: Computer network architectures. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetwork$002barchitectures.$002509Computer$002bnetwork$002barchitectures.$0026ps$003d300? 2025-12-24T23:27:06Z UML for SOC Design ent://SD_ILS/0/SD_ILS:165177 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Martin, Grant. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135980">http://dx.doi.org/10.1007/b135980</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Propagation Engineering in Radio Links Design ent://SD_ILS/0/SD_ILS:331740 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Ghasemi, Abdollah. author.&#160;Abedi, Ali. author.&#160;Ghasemi, Farshid. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331740.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5314-7">http://dx.doi.org/10.1007/978-1-4614-5314-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of Digital Systems and Devices ent://SD_ILS/0/SD_ILS:193633 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Adamski, Marian. editor.&#160;Barkalov, Alexander. editor.&#160;W&#281;grzyn, Marek. 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-17545-9">http://dx.doi.org/10.1007/978-3-642-17545-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network design for IP convergence ent://SD_ILS/0/SD_ILS:541981 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Donoso, Yezid., author.<br/>Preferred Shelf Number&#160;TK5105.52 .D66 2009<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420067545">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Cicso [sic] AVVID and IP telephony design &amp; implementation ent://SD_ILS/0/SD_ILS:253984 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Padjen, Robert.&#160;Walshaw, Martin.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781928994831">http://www.sciencedirect.com/science/book/9781928994831</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400637 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Fan, Junfeng. editor.&#160;Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89641-0">https://doi.org/10.1007/978-3-319-89641-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335188 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Burg, Andreas. editor.&#160;Co&#7779;kun, Ay&#7779;e. editor.&#160;Guthaus, Matthew. editor.&#160;Katkoori, Srinivas. editor.&#160;Reis, Ricardo. editor.<br/>Preferred Shelf Number&#160;ONLINE(335188.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45073-0">http://dx.doi.org/10.1007/978-3-642-45073-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Multicasting over Next-Generation Internet Design, Analysis and Applications ent://SD_ILS/0/SD_ILS:331234 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Tian, Xiaohua. author.&#160;Cheng, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331234.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0152-0">http://dx.doi.org/10.1007/978-1-4614-0152-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Two-Party Computation Protocols Design, Optimization, and Applications of Efficient Secure Function Evaluation ent://SD_ILS/0/SD_ILS:196819 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Schneider, Thomas. author.&#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-30042-4">http://dx.doi.org/10.1007/978-3-642-30042-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, C&oacute;rdoba, Spain, June 28-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197431 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kratky, Andreas. 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-33760-4">http://dx.doi.org/10.1007/978-3-642-33760-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Network Design Optimization Models and Solution Procedures ent://SD_ILS/0/SD_ILS:172513 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Kennington, Jeff. editor.&#160;Olinick, Eli. editor.&#160;Rajan, Dinesh. editor.&#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-6111-2">http://dx.doi.org/10.1007/978-1-4419-6111-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190891 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Luo, Yuhua. 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-04265-2">http://dx.doi.org/10.1007/978-3-642-04265-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190986 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Reed, Rick. editor.&#160;Bilgic, Attila. editor.&#160;Gotzhein, Reinhard. 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-04554-7">http://dx.doi.org/10.1007/978-3-642-04554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scheduling in Distributed Computing Systems Analysis, Design and Models ent://SD_ILS/0/SD_ILS:167168 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Vidyarthi, Deo Prakash. author.&#160;Sarker, Biplab Kumer. author.&#160;Tripathi, Anil Kumar. author.&#160;Yang, Laurence Tianruo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-74483-4">http://dx.doi.org/10.1007/978-0-387-74483-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures ent://SD_ILS/0/SD_ILS:190163 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Bernardo, Marco. editor.&#160;Padovani, Luca. editor.&#160;Zavattaro, Gianluigi. 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-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Embedded Control Systems Improving Dependability with Coherent Design ent://SD_ILS/0/SD_ILS:175688 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Colnari&#269;, Matja&#382;. author.&#160;Verber, Domen. author.&#160;Halang, Wolfgang A. 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-052-0">http://dx.doi.org/10.1007/978-1-84800-052-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date ent://SD_ILS/0/SD_ILS:169826 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Lauwereins, Rudy. editor.&#160;Madsen, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6488-3">http://dx.doi.org/10.1007/978-1-4020-6488-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processor Design System-on-Chip Computing for ASICs and FPGAs ent://SD_ILS/0/SD_ILS:169510 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Nurmi, Jari. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5530-0">http://dx.doi.org/10.1007/978-1-4020-5530-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Co-design for System Acceleration A Quantitative Approach ent://SD_ILS/0/SD_ILS:169517 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Nedjah, Nadia. author.&#160;Mourelle, Luiza De Macedo. 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-4020-5546-1">http://dx.doi.org/10.1007/978-1-4020-5546-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187328 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Gaudin, Emmanuel. editor.&#160;Najm, Elie. editor.&#160;Reed, Rick. 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-540-74984-4">http://dx.doi.org/10.1007/978-3-540-74984-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Management in Satellite Networks Optimization and Cross-Layer Design ent://SD_ILS/0/SD_ILS:166534 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Giambene, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-53991-1">http://dx.doi.org/10.1007/978-0-387-53991-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 ent://SD_ILS/0/SD_ILS:169705 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Huss, Sorin A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Platform Based Design at the Electronic System Level Industry Perspectives and Experiences ent://SD_ILS/0/SD_ILS:169385 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Burton, Mark. author.&#160;Morawiec, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Availability and Disaster Recovery Concepts, Design, Implementation ent://SD_ILS/0/SD_ILS:184109 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Schmidt, Klaus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34582-5">http://dx.doi.org/10.1007/3-540-34582-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11&ndash;13, 2006, Braga, Portugal ent://SD_ILS/0/SD_ILS:166266 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Kleinjohann, Bernd. editor.&#160;Kleinjohann, Lisa. editor.&#160;Machado, Ricardo J. editor.&#160;Pereira, Carlos E. editor.&#160;Thiagarajan, P. S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-39362-9">http://dx.doi.org/10.1007/978-0-387-39362-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Embedded Systeme Effizientes Framework &mdash; Vom Design zur Implementierung ent://SD_ILS/0/SD_ILS:181710 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Wietzke, Joachim. author.&#160;Tran, Manh Tien. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28305-6">http://dx.doi.org/10.1007/3-540-28305-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-performance data network design design techniques and tools ent://SD_ILS/0/SD_ILS:253819 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Kenyon, Tony, 1960-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781555582074">http://www.sciencedirect.com/science/book/9781555582074</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of network systems ent://SD_ILS/0/SD_ILS:145242 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Serpanos, Dimitrios Nikolaou.&#160;Wolf, Tilman.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123744944">http://www.sciencedirect.com/science/book/9780123744944</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398931 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Zhang, Fa. editor.&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Zhang, Shihua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399146 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Shalf, John. editor.&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02465-9">https://doi.org/10.1007/978-3-030-02465-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401731 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Keyes, David. editor.&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401639 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Wu, Weigang. editor. (orcid)0000-0002-4714-7021&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401746 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401984 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:401990 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401495 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2018 18th International Conference, Wuxi, China, June 11&ndash;13, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401521 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Shi, Yong. editor.&#160;Fu, Haohuan. editor.&#160;Tian, Yingjie. editor.&#160;Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X&#160;Lees, Michael Harold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402313 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Jarvis, Stephen. editor.&#160;Wright, Steven. editor.&#160;Hammond, Simon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399729 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829&#160;Padovani, Luca. editor. (orcid)0000-0001-9097-1297&#160;Torquati, Massimo. editor. (orcid)0000-0001-6323-3459&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V&auml;ster&aring;s, Sweden, September 18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399783 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400146 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739&#160;Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400194 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907&#160;Manulis, Mark. editor. (orcid)0000-0002-1512-9670&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internetworking Technological Foundations and Applications ent://SD_ILS/0/SD_ILS:333971 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Meinel, Christoph. author.&#160;Sack, Harald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333971.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35392-5">http://dx.doi.org/10.1007/978-3-642-35392-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instruction Sequences for Computer Science ent://SD_ILS/0/SD_ILS:207045 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Bergstra, Jan A. author.&#160;Middelburg, Cornelis A. 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-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197272 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Mir, Salvador. editor.&#160;Tsui, Chi-Ying. editor.&#160;Reis, Ricardo. editor.&#160;Choy, Oliver C. S. 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-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:195895 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Ober, Iulian. editor.&#160;Ober, Ileana. 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-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Hamlet, Dick. 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-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Speech Processing in Embedded Systems ent://SD_ILS/0/SD_ILS:167277 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Sinha, Priyabrata. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75581-6">http://dx.doi.org/10.1007/978-0-387-75581-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189784 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Moor, Oege. editor.&#160;Schwartzbach, Michael I. 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-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190395 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Paige, Richard F. editor.&#160;Hartman, Alan. editor.&#160;Rensink, Arend. 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-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190898 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Amann, Michael. editor.&#160;Keckeisen, Michael. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture &ndash; Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185714 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Schieferdecker, Ina. editor.&#160;Hartman, Alan. 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-540-69100-6">http://dx.doi.org/10.1007/978-3-540-69100-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings ent://SD_ILS/0/SD_ILS:186680 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Akehurst, David H. editor.&#160;Vogel, R&eacute;gis. editor.&#160;Paige, Richard F. 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-540-72901-3">http://dx.doi.org/10.1007/978-3-540-72901-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bj&oslash;rner and Chaochen Zhou on the Occasion of Their 70th Birthdays ent://SD_ILS/0/SD_ILS:187366 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Jones, Cliff B. editor.&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. 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-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Control, and Communication Using IEEE 1588 ent://SD_ILS/0/SD_ILS:175342 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Eidson, John C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-251-9">http://dx.doi.org/10.1007/1-84628-251-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture &ndash; Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184322 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Rensink, Arend. editor.&#160;Warmer, Jos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link&ouml;ping, Sweden, June 10-11, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182906 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;A&szlig;mann, Uwe. editor.&#160;Aksit, Mehmet. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182718 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Prinz, Andreas. editor.&#160;Reed, Rick. editor.&#160;Reed, Jeanne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture &ndash; Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183156 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Hartman, Alan. editor.&#160;Kreische, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web services and service-oriented architectures the savvy manager's guide ent://SD_ILS/0/SD_ILS:253926 2025-12-24T23:27:06Z 2025-12-24T23:27:06Z Author&#160;Barry, Douglas K.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558609068">http://www.sciencedirect.com/science/book/9781558609068</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>