Refine your search

Your search returned 51 results.

Sort
Results
Multiphysics Modelling and Simulation for Systems Design and Monitoring Proceedings of the Multiphysics Modelling and Simulation for Systems Design Conference, MMSSD 2014, 17-19 December, Sousse, Tunisia / edited by Mohamed Haddar, Mohamed Slim Abbes, Jean-Yves Choley, Taoufik Boukharouba, Tamer Elnady, Andrei Kanaev, Mounir Ben Amar, Fakher Chaari.

by Haddar, Mohamed, editor literario | Abbes, Mohamed Slim, editor literario | Choley, Jean-Yves, editor literario | Boukharouba, Taoufik, editor literario | Elnady, Tamer, editor literario | Kanaev, Andrei, editor literario | Ben Amar, Mounir, editor literario | Chaari, Fakher, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2015Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2015 EB reference

Information Systems Design and Intelligent Applications : Proceedings of Fourth International Conference INDIA 2017 / edited by Vikrant Bhateja, Bao Le Nguyen, Nhu Gia Nguyen, Suresh Chandra Satapathy, Dac-Nhuong Le.

by SpringerLink (Online service) | Bhateja, Vikrant, editor literario | Nguyen, Bao Le, editor literario | Nguyen, Nhu Gia, editor literario | Satapathy, Suresh Chandra, editor literario | Le, Dac-Nhuong, editor literario.

Material type: bookE-book Publisher: Singapore : Springer Singapore : Imprint: Springer, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2018 EB reference

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test / Arun Chandrasekharan, Daniel Große, Rolf Drechsler

by Chandrasekharan, Arun, autor | Drechsler, Rolf, autor | Große, Daniel, autor | SpringerLink (Online service).

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7888.4 2019 EB reference

Fundamentals of Computer Architecture and Design / by Ahmet Bindal

by SpringerLink (Online service) | Bindal, Ahmet, autor.

Edition: 2nd ed. 2019Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A73 2019 EB reference

Complex Systems Design & Management Asia : Smart Transportation: Proceedings of the Third Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2018 / edited by Michel Alexandre Cardin, Daniel Hastings, Peter Jackson, Daniel Krob, Pao Chuen Lui, Gerhard Schmitt.

by SpringerLink (Online service) | Cardin, Michel Alexandre, editor literario | Hastings, Daniel, editor literario | Jackson, Peter, editor literario | Krob, Daniel, editor literario | Lui, Pao Chuen, editor literario | Schmitt, Gerhard, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2019 EB reference

Formal Verification of Floating-Point Hardware Design : A Mathematical Approach / by David M. Russinoff.

by SpringerLink (Online service) | Russinoff, David M, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76 2019 EB reference

Complex Systems Design & Management : Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 / edited by Eric Bonjour, Daniel Krob, Luca Palladino, François Stephan.

by SpringerLink (Online service) | Bonjour, Eric, editor literario | Krob, Daniel, editor literario | Palladino, Luca, editor literario | Stephan, François, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2019 EB reference

Introduction to Digital Systems Design / by Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.

by SpringerLink (Online service) | Donzellini, Giuliano, autor | Anguita, Davide, autor | Oneto, Luca, autor | Ponta, Domenico, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2019 EB reference

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken

by Drechsler, Rolf, editor | Soeken, Mathias, editor.

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA10.3 2020 EB reference

Complex Systems Design & Management : Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019 / edited by Guy André Boy, Alan Guegan, Daniel Krob, Vincent Vion.

by SpringerLink (Online service) | Boy, Guy André, editor | Guegan, Alan, editor | Krob, Daniel, editor | Vion, Vincent, editor.

Edition: 1st ed. 2020.Source: Springer eBooksMaterial type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2020 EB reference

Architecting Networked Engineered Systems : Manufacturing Systems Design for Industry 4.0 / by Jelena Milisavljevic-Syed, Janet K. Allen, Sesh Commuri, Farrokh Mistree.

by SpringerLink (Online service) | Milisavljevic-Syed, Jelena, autor | Allen, Janet K, autor | Commuri, Sesh, autor | Mistree, Farrokh, autor.

Edition: First edition 2020.Source: Springer eBooksMaterial type: bookE-book Publisher: Cham : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA168 2020 EB reference

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen

by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2021 EB reference

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings . Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen

by Groote, Jan Friso, editor literario | Larsen, Kim Guldstrand, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2021 EB reference

Complex Systems Design & Management : Proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 / edited by Daniel Krob, Lefei Li, Junchen Yao, Hongjun Zhang, Xinguo Zhang

by Krob, Daniel, editor literario | Li, Lefei, editor literario | Yao, Junchen, editor literario | Zhang, Hongjun, editor literario | Zhang, Xinguo, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2021 EB reference

Engineering the Transformation of the Enterprise : A Design Science Research Perspective / edited by Stephan Aier, Peter Rohner, Joachim Schelp

by Aier, Stephan, editor literario | Rohner, Peter, editor literario | Schelp, Joachim, editor literario.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2021 EB reference

Information Systems and Design : Second International Conference, ICID 2021, Virtual Event, September 6-7, 2021, Revised Selected Papers / edited by Victor Taratukhin, Mikhail Matveev, Jörg Becker, Yury Kupriyanov

by Taratukhin, Victor, editor literario | Matveev, Mikhail, editor literario | Becker, Jörg, editor literario | Kupriyanov, Yury, editor literario.

Edition: First edition 2022Source: Springer Nature eBookMaterial type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2022 EB reference

Architecting a Knowledge-Based Platform for Design Engineering 4.0 / by Zhenjun Ming, Anand Balu Nellippallil, Ru Wang, Janet K. Allen, Guoxin Wang, Yan Yan, Farrokh Mistree

by Ming, Zhenjun, autor | Nellippallil, Anand Balu, autor | Wang, Rubin, autor | Allen, Janet K, autor | Wang, Guoxin, autor | Yan, Yan, autor | Mistree, Farrokh, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publishing, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA174 2022 EB reference

The Transdisciplinary Reach of Design Science Research : 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings / edited by Andreas Drechsler, Aurona Gerber, Alan Hevner

by Drechsler, Andreas, editor literario | Gerber, Aurona, editor literario | Hevner, Alan, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu.

by Fisman, Dana, editor literario | Rosu, Grigore, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu

by Fisman, Dana, editor literario | Rosu, Grigore, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Participatory Design / by Susanne Bødker, Christian Dindler, Ole S. Iversen, Rachel C. Smith

by Bødker, Susanne, autor | Dindler, Christian, autor | Iversen, Ole S, autor | Smith, Rachel C, autor.

Edition: 1st edition 2022Material type: bookE-book Publisher: Cham : Springer International Publishing, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.S88 2022 EB reference

Introduction to Microprocessor-Based Systems Design / by Giuliano Donzellini, Andrea Mattia Garavagno, Luca Oneto

by Donzellini, Giuliano, autor | Garavagno, Andrea Mattia, autor | Oneto, Luca, autor.

Edition: 1st edition 2022Material type: bookE-book Publisher: Cham : Springer International Publishing, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7895.M5 2022 EB reference

Performance Evaluation Methodologies and Tools : 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings / edited by Evangelia Kalyvianaki, Marco Paolieri

Edition: first edition 2024Material type: bookE-book Publisher: Cham : Springer International Publishing, 2024Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2024 EB reference

Advanced Digital System Design using SoC FPGAs : An Integrated HardwareSoftware Approach / by Ross K. Snider

by Snider, Ross K, autor.

Edition: 1st ed 2023Material type: bookE-book Publisher: Cham : Springer International Publishing , 2023Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2023 EB reference

Information Systems and Design : Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers / edited by Victor Taratukhin, Artem Levchenko, Yury Kupriyanov

Edition: 1st ed 2023Material type: bookE-book Publisher: Cham : Springer Nature Switzerland , 2023Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .S88 2023 EB reference

Pages