Your search returned 12 results.

Sort
Results
Introduction to Logic, Third Edition / by Michael Genesereth, Eric J. Kao

by Genesereth, Michael R, (1948-), autor | Kao, Eric, autor.

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

Analytical Performance Modeling for Computer Systems / by Tay Y.C.

by Tay, Y. C, autor.

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

Introduction to Logic, Second Edition / by Genesereth Michael, Kao Eric

by Genesereth, Michael R, (1948-), autor | Kao, Eric, autor.

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

Analytical Performance Modeling for Computer Systems, Second Edition / by Tay Y.C.

by Tay, Y. C, autor.

Edition: 2nd edition 2014Material type: bookE-book Publisher: Cham : Springer International Publishing, 2014Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.R44 2014 EB reference

Creating Autonomous Vehicle Systems / by Liu Shaoshan, Li Liyun, Tang Jie, Wu Shuang, Gaudiot Jean-Luc

by Liu, Shaoshan, autor | Li, Liyun, autor | Tang, Jie, autor | Shuang, Wu, autor | Gaudiot, Jean-Luc, autor.

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

Science Fiction Prototyping : Designing the Future with Science Fiction / by Johnson Brian David

by Johnson, Brian David, autor.

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

Storing Clocked Programs Inside DNA : A Simplifying Framework for Nanocomputing / by Chang Jessica, Shasha Dennis

by Chang, Jessica, (1984-), autor | Shasha, Dennis Elliott, autor.

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

Analytical Performance Modeling for Computer Systems / by Tay Y.C.

by Tay, Y. C, autor.

Edition: 3rd edition 2018Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.R44 2018 EB reference

Blockchain Platforms : A Look at the Underbelly of Distributed Platforms / by Hijfte Stijn Van

by Hijfte, Stijn van, autor.

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

Principles of Blockchain Systems / by Fernández Antonio, Georgiou Chryssis, Herlihy Maurice, Potop-Butucaru Maria.

by Antonio, Fernández, autor | Chryssis, Georgiou, autor | Maurice, Herlihy, autor | Maria, Potop-Butucaru, autor.

Edition: 1st edition 2021 Publisher: Cham : Springer International Publishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.B56 2021 reference

Creating Autonomous Vehicle Systems / by Liu Shaoshan, Li Liyun, Tang Jie, Wu Shuang, Gaudiot Jean-Luc

by Liu, Shaoshan, autor | Li, Liyun, autor | Tang, Jie, autor | Shuang, Wu, autor | Gaudiot, Jean-Luc, autor.

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

Automated Verification of Concurrent Search Structures / by Krishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas

by Krishna, Siddharth, autor | Patel, Nisarg, autor | Shasha, Dennis Elliott, autor | Wies, Thomas, autor.

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

Pages