{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Applied Reconfigurable Computing :
13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Applied Reconfigurable Computing : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / Edited By Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro.
Springer International Publishing : Imprint: Springer,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Augmented Cognition: Intelligent Technologies :
12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Augmented Cognition: Intelligent Technologies : 12th International Conference, AC 2018, Held As Part Of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / Edited By Dylan D. Schmorrow, Cali M. Fidopiastis.
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Cloud Computing and Service Science :
7th International Conference, CLOSER 2017, Porto, Portugal, April 2426, 2017, Revised Selected Papers
Cloud Computing And Service Science : 7th International Conference, CLOSER 2017, Porto, Portugal, April 2426, 2017, Revised Selected Papers / Edited By Donald Ferguson, Víctor Méndez Muñoz, Jorge Cardoso, Markus Helfert, Claus Pahl.
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Aided Verification :
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / Edited By P. Madhusudan, Sanjit A. Seshia.
Madhusudan, P.
Springer Berlin Heidelberg,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Concurrent Programming: Algorithms, Principles, and Foundations :
Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, And Foundations : Algorithms, Principles, And Foundations / By Michel Raynal.
Raynal, M.
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Cryptographic Hardware and Embedded Systems CHES 2016 :
18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings
Cryptographic Hardware And Embedded Systems CHES 2016 : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / Edited By Benedikt Gierlichs, Axel Y. Poschmann.
Springer Berlin Heidelberg : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Cryptographic Hardware and Embedded Systems CHES 2017 :
19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
Cryptographic Hardware And Embedded Systems CHES 2017 : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / Edited By Wieland Fischer, Naofumi Homma.
Springer International Publishing : Imprint: Springer,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Design Concepts for a Virtualizable Embedded MPSoC Architecture :
Enabling Virtualization in Embedded Multi-Processor Systems
Design Concepts For A Virtualizable Embedded MPSoC Architecture : Enabling Virtualization In Embedded Multi-Processor Systems / By Alexander Biedermann.
Biedermann, A.
Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Embedded Multimedia Security Systems :
Algorithms and Architectures
Embedded Multimedia Security Systems : Algorithms And Architectures / By Amit Pande, Joseph Zambreno.
Pande, Amit.
Springer London : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Fault Analysis in Cryptography
Fault Analysis In Cryptography / Edited By Marc Joye, Michael Tunstall.
Joye, Marc,
Springer Berlin Heidelberg : Imprint: Springer,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Grid and Pervasive Computing :
8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Grid And Pervasive Computing : 8th International Conference, GPC 2013 And Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / Edited By James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil.
Park, James J. (Jong Hyuk)
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
High Performance Computing :
Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings
High Performance Computing : Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings / Edited By Carla Osthoff, Philippe Olivier Alexandre Navaux, Carlos Jaime Barrios Hernandez, Pedro L. Silva Dias.
Springer International Publishing : Imprint: Springer,
2015.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
History and Philosophy of Computing :
Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
History And Philosophy Of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / Edited By Fabio Gadducci, Mirko Tavosanis.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Memristor Networks
Memristor Networks / Edited By Andrew Adamatzky, Leon Chua.
Adamatzky, Andrew.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Modeling Time in Computing
Modeling Time In Computing / By Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
Furia, Carlo A.,
Springer Berlin Heidelberg : Imprint: Springer,
2012.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Nonlinear Dynamics of Electronic Systems :
22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
Nonlinear Dynamics Of Electronic Systems : 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings / Edited By Valeri M. Mladenov, Plamen Ch. Ivanov.
Mladenov, Valeri M.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
OpenMP: Memory, Devices, and Tasks :
12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
OpenMP: Memory, Devices, And Tasks : 12th International Workshop On OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / Edited By Naoya Maruyama, Bronis R. De Supinski, Mohamed Wahib.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
A Pipelined Multi-core MIPS Machine :
Hardware Implementation and Correctness Proof
A Pipelined Multi-Core MIPS Machine : Hardware Implementation And Correctness Proof / By Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul.
Kovalev, Mikhail
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Programming Languages and Systems :
15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages And Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / Edited By Bor-Yuh Evan Chang.
Springer International Publishing : Imprint: Springer,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Programming Languages and Systems :
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages And Systems : 27th European Symposium On Programming, ESOP 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / Edited By Amal Ahmed.
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Progress in Cryptology AFRICACRYPT 2018 :
10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 79, 2018, Proceedings
Progress In Cryptology AFRICACRYPT 2018 : 10th International Conference On Cryptology In Africa, Marrakesh, Morocco, May 79, 2018, Proceedings / Edited By Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi.
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Reconfigurable Computing: Architectures, Tools and Applications :
9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Reconfigurable Computing: Architectures, Tools And Applications : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / Edited By Philip Brisk, José Gabriel Figueiredo Coutinho, Pedro C. Diniz.
Brisk, Philip.
Springer Berlin Heidelberg : Imprint: Springer,
2013.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Reconfigurable Computing: Architectures, Tools, and Applications :
10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Reconfigurable Computing: Architectures, Tools, And Applications : 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings / Edited By Diana Goehringer, Marco Domenico Santambrogio, João M. P. Cardoso, Koen Bertels.
Goehringer, Diana.,
Springer International Publishing : Imprint: Springer,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Robotics :
12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers
Robotics : 12th Latin American Robotics Symposium And Third Brazilian Symposium On Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers / Edited By Fernando Santos Osório, Rogério Sales Gonçalves.
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Structured Object-Oriented Formal Language and Method :
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Structured Object-Oriented Formal Language And Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / Edited By Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya.
Springer International Publishing : Imprint: Springer,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
System Architecture :
An Ordinary Engineering Discipline
System Architecture : An Ordinary Engineering Discipline / By Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz.
Paul, Wolfgang J.,
Springer International Publishing : Imprint: Springer,
2016.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Task Scheduling for Multi-core and Parallel Architectures :
Challenges, Solutions and Perspectives
Task Scheduling For Multi-Core And Parallel Architectures : Challenges, Solutions And Perspectives / By Quan Chen, Minyi Guo.
Chen, Quan,
Springer Singapore : Imprint: Springer,
2017.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Thread and Data Mapping for Multicore Systems :
Improving Communication and Memory Accesses
Thread And Data Mapping For Multicore Systems : Improving Communication And Memory Accesses / By Eduardo H. M. Cruz, Matthias Diener, Philippe O. A. Navaux.
H. M. Cruz, Eduardo.,
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
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
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 / Edited By Dirk Beyer, Marieke Huisman.
Springer International Publishing : Imprint: Springer,
2018.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Trustworthy Reconfigurable Systems :
Enhancing the Security Capabilities of Reconfigurable Hardware Architectures
Trustworthy Reconfigurable Systems : Enhancing The Security Capabilities Of Reconfigurable Hardware Architectures / By Thomas Feller.
Feller, Thomas,
Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg,
2014.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Using and Improving OpenMP for Devices, Tasks, and More :
10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using And Improving OpenMP For Devices, Tasks, And More : 10th International Workshop On OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings / Edited By Luiz DeRose, Bronis R. Supinski, Stephen L. Olivier, Barbara M. Chapman, Matthias S. Müller.
DeRose, Luiz,
Springer International Publishing : Imprint: Springer,
2014.