Search Results for Embedded Systems. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEmbedded$002bSystems.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?dt=list 2025-12-08T16:41:48Z Dynamic Memory Management for Embedded Systems ent://SD_ILS/0/SD_ILS:529370 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Atienza Alonso, David. author.&#160;Mamagkakis, Stylianos. author.&#160;Poucet, Christophe. author.&#160;Pe&oacute;n-Quir&oacute;s, Miguel. author.&#160;Bartzas, Alexandros. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10572-7">https://doi.org/10.1007/978-3-319-10572-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Embedded Systems Physics, Programs, Circuits ent://SD_ILS/0/SD_ILS:530011 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Hintenaus, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10680-9">https://doi.org/10.1007/978-3-319-10680-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Computing for Embedded Systems ent://SD_ILS/0/SD_ILS:530149 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Candaele, Bernard. editor.&#160;Soudris, Dimitrios. editor.&#160;Anagnostopoulos, Iraklis. 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-09420-5">https://doi.org/10.1007/978-3-319-09420-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems ent://SD_ILS/0/SD_ILS:529253 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Yoong, Li Hsien. author.&#160;Roop, Partha S. author.&#160;Bhatti, Zeeshan E. author.&#160;Kuo, Matthew M. Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10521-5">https://doi.org/10.1007/978-3-319-10521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems ent://SD_ILS/0/SD_ILS:529630 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Bhuvaneswari, M.C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-1958-3">https://doi.org/10.1007/978-81-322-1958-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Design for High-Speed Data Acquisition and Control ent://SD_ILS/0/SD_ILS:530134 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Di Paolo Emilio, Maurizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06865-7">https://doi.org/10.1007/978-3-319-06865-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518955 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;G&uuml;neysu, Tim. editor.&#160;Handschuh, Helena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48324-4">https://doi.org/10.1007/978-3-662-48324-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiprocessor Scheduling for Real-Time Systems ent://SD_ILS/0/SD_ILS:530029 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Baruah, Sanjoy. author.&#160;Bertogna, Marko. author.&#160;Buttazzo, Giorgio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08696-5">https://doi.org/10.1007/978-3-319-08696-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Digital and Network Designs and Applications ent://SD_ILS/0/SD_ILS:518338 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fakhfakh, Mourad. editor.&#160;Tlelo-Cuautle, Esteban. editor.&#160;Siarry, Patrick. 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-20071-2">https://doi.org/10.1007/978-3-319-20071-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exploring Robotics with ROBOTIS Systems ent://SD_ILS/0/SD_ILS:518371 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Thai, Chi N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20418-5">https://doi.org/10.1007/978-3-319-20418-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Simulation in the Systems Engineering Life Cycle Core Concepts and Accompanying Lectures ent://SD_ILS/0/SD_ILS:518373 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Loper, Margaret L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5634-5">https://doi.org/10.1007/978-1-4471-5634-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Biometrics ent://SD_ILS/0/SD_ILS:518417 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Li, Stan Z. editor.&#160;Jain, Anil K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4899-7488-4">https://doi.org/10.1007/978-1-4899-7488-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518656 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fernandes, Jo&atilde;o M. editor.&#160;Machado, Ricardo J. editor.&#160;Wnuk, Krzysztof. 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-19593-3">https://doi.org/10.1007/978-3-319-19593-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519002 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Roubtsova, Ella. editor.&#160;McNeile, Ashley. editor.&#160;Kindler, Ekkart. editor.&#160;Gerth, Christian. 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-21912-7">https://doi.org/10.1007/978-3-319-21912-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519004 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Sano, Kentaro. editor.&#160;Soudris, Dimitrios. editor.&#160;H&uuml;bner, Michael. editor.&#160;Diniz, Pedro C. 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-16214-0">https://doi.org/10.1007/978-3-319-16214-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II ent://SD_ILS/0/SD_ILS:519132 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Rojas, Ignacio. editor.&#160;Joya, Gonzalo. editor.&#160;Catala, Andreu. 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-19222-2">https://doi.org/10.1007/978-3-319-19222-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 ent://SD_ILS/0/SD_ILS:529255 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Lou&euml;rat, Marie-Minerve. editor.&#160;Maehne, Torsten. 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-06317-1">https://doi.org/10.1007/978-3-319-06317-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014 ent://SD_ILS/0/SD_ILS:529793 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Mandal, Durbadal. editor.&#160;Kar, Rajib. editor.&#160;Das, Swagatam. editor.&#160;Panigrahi, Bijaya Ketan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2268-2">https://doi.org/10.1007/978-81-322-2268-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1 ent://SD_ILS/0/SD_ILS:529343 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Handa, Hisashi. editor.&#160;Ishibuchi, Hisao. editor.&#160;Ong, Yew-Soon. editor.&#160;Tan, Kay Chen. 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-13359-1">https://doi.org/10.1007/978-3-319-13359-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex System Modelling and Control Through Intelligent Soft Computations ent://SD_ILS/0/SD_ILS:529159 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Zhu, Quanmin. editor.&#160;Azar, Ahmad Taher. 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-12883-2">https://doi.org/10.1007/978-3-319-12883-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and its Applications Ubiquitous Information Technologies ent://SD_ILS/0/SD_ILS:530087 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Stojmenovic, Ivan. editor.&#160;Jeong, Hwa Young. editor.&#160;Yi, Gangman. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45402-2">https://doi.org/10.1007/978-3-662-45402-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advancements of Medical Electronics Proceedings of the First International Conference, ICAME 2015 ent://SD_ILS/0/SD_ILS:530317 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Gupta, Somsubhra. editor.&#160;Bag, Sandip. editor.&#160;Ganguly, Karabi. editor.&#160;Sarkar, Indranath. editor.&#160;Biswas, Papun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-81-322-2256-9">https://doi.org/10.1007/978-81-322-2256-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 7th World Congress on Engineering Asset Management (WCEAM 2012) ent://SD_ILS/0/SD_ILS:530518 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Lee, Woo Bang. editor.&#160;Choi, Byeongkuen. editor.&#160;Ma, Lin. editor.&#160;Mathew, Joseph. 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-06966-1">https://doi.org/10.1007/978-3-319-06966-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> General Methods in Biomarker Research and their Applications ent://SD_ILS/0/SD_ILS:530524 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Preedy, Victor R. editor.&#160;Patel, Vinood B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-007-7696-8">https://doi.org/10.1007/978-94-007-7696-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory ent://SD_ILS/0/SD_ILS:530555 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Prokopova, Zdenka. editor.&#160;Silhavy, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18503-3">https://doi.org/10.1007/978-3-319-18503-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications ent://SD_ILS/0/SD_ILS:530597 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Silhavy, Radek. editor.&#160;Senkerik, Roman. editor.&#160;Oplatkova, Zuzana Kominkova. editor.&#160;Prokopova, Zdenka. editor.&#160;Silhavy, Petr. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18476-0">https://doi.org/10.1007/978-3-319-18476-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519025 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fricker, Samuel A. editor.&#160;Schneider, Kurt. 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-16101-3">https://doi.org/10.1007/978-3-319-16101-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519259 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Parisi-Presicce, Francesco. editor.&#160;Westfechtel, Bernhard. 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-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Science and Applications ent://SD_ILS/0/SD_ILS:530137 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Kim, Kuinam J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46578-3">https://doi.org/10.1007/978-3-662-46578-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing Application and Wireless Sensor UCAWSN-14 ent://SD_ILS/0/SD_ILS:530612 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Pan, Yi. editor.&#160;Chao, Han-Chieh. editor.&#160;Yi, Gangman. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-9618-7">https://doi.org/10.1007/978-94-017-9618-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology - II ent://SD_ILS/0/SD_ILS:530619 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Park, James J. (Jong Hyuk). editor.&#160;Pan, Yi. editor.&#160;Kim, Cheonshik. editor.&#160;Yang, Yun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-9558-6">https://doi.org/10.1007/978-94-017-9558-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Automation, Robotics and Measuring Techniques Control and Automation ent://SD_ILS/0/SD_ILS:530654 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Szewczyk, Roman. editor.&#160;Zieli&#324;ski, Cezary. editor.&#160;Kaliczy&#324;ska, Ma&#322;gorzata. 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-15796-2">https://doi.org/10.1007/978-3-319-15796-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations ent://SD_ILS/0/SD_ILS:518563 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Trappl, 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-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518571 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Camarinha-Matos, Luis M. editor.&#160;Baldissera, Thais A. editor.&#160;Di Orio, Giovanni. editor.&#160;Marques, Francisco. 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-16766-4">https://doi.org/10.1007/978-3-319-16766-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Ubiquitous Computing CSA &amp; CUTE ent://SD_ILS/0/SD_ILS:518670 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Park, Doo-Soon. editor.&#160;Chao, Han-Chieh. editor.&#160;Jeong, Young-Sik. editor.&#160;Park, James J. (Jong Hyuk). editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0281-6">https://doi.org/10.1007/978-981-10-0281-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519046 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. 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-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. 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-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519090 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Baier, Christel. editor.&#160;Tinelli, Cesare. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518932 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fischer, Bernd. editor.&#160;Geldenhuys, Jaco. 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-23404-5">https://doi.org/10.1007/978-3-319-23404-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519311 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fantechi, Alessandro. editor.&#160;Pelliccione, Patrizio. 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-23129-7">https://doi.org/10.1007/978-3-319-23129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519313 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafal. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519325 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Akram, Raja Naeem. editor.&#160;Jajodia, Sushil. 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-24018-3">https://doi.org/10.1007/978-3-319-24018-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518485 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Fujita, Hamido. editor. (orcid)&#160;Guizzi, 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-22689-7">https://doi.org/10.1007/978-3-319-22689-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 ent://SD_ILS/0/SD_ILS:518528 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Drechsler, Rolf. editor.&#160;K&uuml;hne, Ulrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-09994-7">https://doi.org/10.1007/978-3-658-09994-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. ent://SD_ILS/0/SD_ILS:518822 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Faber, Wolfgang. editor.&#160;Paschke, Adrian. 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-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518832 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Abrahamsson, Pekka. editor.&#160;Corral, Luis. editor.&#160;Oivo, Markku. editor.&#160;Russo, Barbara. 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-26844-6">https://doi.org/10.1007/978-3-319-26844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Security Solutions for Information Technology and Communications 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518911 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Bica, Ion. editor.&#160;Naccache, David. editor.&#160;Simion, Emil. 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-27179-8">https://doi.org/10.1007/978-3-319-27179-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519030 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Gandon, Fabien. editor.&#160;Sabou, Marta. editor.&#160;Sack, Harald. editor.&#160;d'Amato, Claudia. editor.&#160;Cudr&eacute;-Mauroux, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18818-8">https://doi.org/10.1007/978-3-319-18818-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic techniques for the polymer sciences ent://SD_ILS/0/SD_ILS:546738 2025-12-08T16:41:48Z 2025-12-08T16:41:48Z Author&#160;Tice, Bradley S., editor.<br/>Preferred Shelf Number&#160;TP1087 .A44 2015<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466577930">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>