Languages
Subject
Format
Availabity
Authors

Search result

Ilia Polian, Marc Stöttinger - Constructive Side-Channel Analysis and Secure Design
Ilia Polian, Marc Stöttinger Constructive Side-Channel Analysis and Secure Design English 16.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang - Cloud Computing - CLOUD 2019
Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang Cloud Computing - CLOUD 2019 English 14.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems English 12.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures English 14.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery... - New Trends in Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery... New Trends in Model and Data Engineering English 18.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jianxin Li, Chengfei Liu, Lei Zou - Database Systems for Advanced Applications
Jianxin Li, Chengfei Liu, Lei Zou Database Systems for Advanced Applications English 12.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Koro¿ec, Peter Korosec, Peter Korošec, Nouredine Melab, El-Ghazali Talbi - Bioinspired Optimization Methods and Their Applications
Peter Koro¿ec, Peter Korosec, Peter Korošec, Nouredine Melab, El-Ghazali Talbi Bioinspired Optimization Methods and Their Applications English 13.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Pedro Diniz, Christian Hochberger, Andreas Koch, Brent Nelson, Roger Woods - Applied Reconfigurable Computing
Pedro Diniz, Christian Hochberger, Andreas Koch, Brent Nelson, Roger Woods Applied Reconfigurable Computing English 29.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation English 13.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata English 27.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Athena Bourka, Giuseppe F. Italiano, Manel Medina, Maurizio Naldi, Kai Rannenberg - Privacy Technologies and Policy
Athena Bourka, Giuseppe F. Italiano, Manel Medina, Maurizio Naldi, Kai Rannenberg Privacy Technologies and Policy English 08.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
David Keyes, Carsten Trinitis, Michèle Weiland, Rio Yokota - High Performance Computing
David Keyes, Carsten Trinitis, Michèle Weiland, Rio Yokota High Performance Computing English 29.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Luís Caires - Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires Formal Techniques for Distributed Objects, Components, and Systems English 30.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Keren Censor-Hillel, Michele Flammini - Structural Information and Communication Complexity
Keren Censor-Hillel, Michele Flammini Structural Information and Communication Complexity English 13.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 04.04.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Frédéric Cuppens, Nora Cuppens-Boulahia, Mohamed Mosbah, Akka Zemmari - Risks and Security of Internet and Systems
Frédéric Cuppens, Nora Cuppens-Boulahia, Mohamed Mosbah, Akka Zemmari Risks and Security of Internet and Systems English 25.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Andrey Kolesnikov - Load Modelling and Generation in IP-based Networks
Andrey Kolesnikov Load Modelling and Generation in IP-based Networks English 06.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks