Search Results for Microprogramming. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMicroprogramming.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list2026-03-20T03:23:32ZLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6054722026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079082026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005472026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019402026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72817-9">https://doi.org/10.1007/978-3-319-72817-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:4001332026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333884.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the History of Computing Preserving Memories and Sharing Storiesent://SD_ILS/0/SD_ILS:1974442026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33899-1">http://dx.doi.org/10.1007/978-3-642-33899-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1964782026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28566-0">http://dx.doi.org/10.1007/978-3-642-28566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943932026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20499-9">http://dx.doi.org/10.1007/978-3-642-20499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930702026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15739-4">http://dx.doi.org/10.1007/978-3-642-15739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Microelectronic Systems Circuits, Systems and Applicationsent://SD_ILS/0/SD_ILS:1952292026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23071-4">http://dx.doi.org/10.1007/978-3-642-23071-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1952422026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23120-9">http://dx.doi.org/10.1007/978-3-642-23120-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:1956682026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24541-1">http://dx.doi.org/10.1007/978-3-642-24541-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protectionent://SD_ILS/0/SD_ILS:2040622026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0277-6">http://dx.doi.org/10.1007/978-81-322-0277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technologyent://SD_ILS/0/SD_ILS:2040802026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Pise, S. J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-8489-989-4">http://dx.doi.org/10.1007/978-81-8489-989-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Mac Managed Preferencesent://SD_ILS/0/SD_ILS:1714062026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Marczak, Edward. author. Neagle, Greg. author. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2938-4">http://dx.doi.org/10.1007/978-1-4302-2938-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918022026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1919412026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12267-5">http://dx.doi.org/10.1007/978-3-642-12267-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Anwendungsorientierte Mikroprozessoren Mikrocontroller und Digitale Signalprozessorenent://SD_ILS/0/SD_ILS:1919482026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Bähring, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12292-7">http://dx.doi.org/10.1007/978-3-642-12292-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digitale Hardware/Software-Systeme Spezifikation und Verifikationent://SD_ILS/0/SD_ILS:1912392026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05356-6">http://dx.doi.org/10.1007/978-3-642-05356-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mikrocontroller und Mikroprozessorenent://SD_ILS/0/SD_ILS:1912552026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05398-6">http://dx.doi.org/10.1007/978-3-642-05398-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USAent://SD_ILS/0/SD_ILS:1679672026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-89558-1">http://dx.doi.org/10.1007/978-0-387-89558-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895102026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93799-9">http://dx.doi.org/10.1007/978-3-540-93799-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creating Cool MINDSTORMS® NXT Robotsent://SD_ILS/0/SD_ILS:1710822026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Benedettelli, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0599-9">http://dx.doi.org/10.1007/978-1-4302-0599-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1890932026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88643-3">http://dx.doi.org/10.1007/978-3-540-88643-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Embedded Control Systems Improving Dependability with Coherent Designent://SD_ILS/0/SD_ILS:1756882026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:1855922026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Manoonpong, Poramate. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68803-7">http://dx.doi.org/10.1007/978-3-540-68803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mikrocontroller und Mikroprozessorenent://SD_ILS/0/SD_ILS:1849832026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46819-6">http://dx.doi.org/10.1007/978-3-540-46819-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digitale Hardware/Software-Systeme Synthese und Optimierungent://SD_ILS/0/SD_ILS:1849842026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46824-0">http://dx.doi.org/10.1007/978-3-540-46824-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics in Control, Automation and Robotics IIent://SD_ILS/0/SD_ILS:1695442026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5626-0">http://dx.doi.org/10.1007/978-1-4020-5626-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Body Sensor Networksent://SD_ILS/0/SD_ILS:1754382026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-484-8">http://dx.doi.org/10.1007/1-84628-484-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS Ient://SD_ILS/0/SD_ILS:1692092026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4543-3">http://dx.doi.org/10.1007/1-4020-4543-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interfacing with C++ Programming Real-World Applicationsent://SD_ILS/0/SD_ILS:1837762026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33581-1">http://dx.doi.org/10.1007/3-540-33581-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyondent://SD_ILS/0/SD_ILS:1649222026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101542">http://dx.doi.org/10.1007/b101542</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Measure for Discrete Event Supervisory Controlent://SD_ILS/0/SD_ILS:1649922026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103444">http://dx.doi.org/10.1007/b103444</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to RISC Processors for Programmers and Engineersent://SD_ILS/0/SD_ILS:1653742026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139084">http://dx.doi.org/10.1007/b139084</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Moderne Prozessorarchitekturen Prinzipien und ihre Realisierungenent://SD_ILS/0/SD_ILS:1814222026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Menge, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139114">http://dx.doi.org/10.1007/b139114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design of Embedded Control Systemsent://SD_ILS/0/SD_ILS:1655042026-03-20T03:23:32Z2026-03-20T03:23:32ZAuthor Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28327-7">http://dx.doi.org/10.1007/0-387-28327-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>