Languages
Subject
Format
Availabity
Authors

Search result

Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A. Crabtree, Andy Crabtree - Designing Collaborative Systems
A. Crabtree, Andy Crabtree Designing Collaborative Systems English 01.01.2003 Paperback / Softback Fr. 193.00 6-7 weeks
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Pflanz, Matthias Pflanz - On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Manfred Pflanz, Matthias Pflanz On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors English 25.04.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Jar Nurmi, Jari Nurmi - Processor Design
Jar Nurmi, Jari Nurmi Processor Design English 28.08.2007 Hardback Fr. 207.00 6-7 weeks
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rodrigo Fernandes de Mello, Minyi Guo, Weijia Jia, Rupp K Thulasiram, Ruppa K Thulasiram, Rodrigo Fernandes de Mello... - Parallel and Distributed Processing and Applications
Rodrigo Fernandes de Mello, Minyi Guo, Weijia Jia, Rupp K Thulasiram, Ruppa K Thulasiram, Rodrigo Fernandes de Mello... Parallel and Distributed Processing and Applications English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
Katinka Wolter - Formal Methods and Stochastic Models for Performance Evaluation
Katinka Wolter Formal Methods and Stochastic Models for Performance Evaluation English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Dharma P. Agrawal, P Agrawal, P Agrawal, Santos Pande, Santosh Pande - Compiler Optimizations for Scalable Parallel Systems
Dharma P. Agrawal, P Agrawal, P Agrawal, Santos Pande, Santosh Pande Compiler Optimizations for Scalable Parallel Systems English 22.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Rudol Eigenmann, Rudolf Eigenmann, J Voss, J Voss, Michael J. Voss - OpenMP Shared Memory Parallel Programming
Rudol Eigenmann, Rudolf Eigenmann, J Voss, J Voss, Michael J. Voss OpenMP Shared Memory Parallel Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei P¿un, Paun, Paun, Andrei Paun, Shen Yu, Sheng Yu - Implementation and Application of Automata
Andrei P¿un, Paun, Paun, Andrei Paun, Shen Yu, Sheng Yu Implementation and Application of Automata English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen CONCUR 2001 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Wilfried Brauer, Hartmu Ehrig, Hartmut Ehrig, Juhani Karhumäki, Juhani Karhumäki et al, Arto K. Salomaa - Formal and Natural Computing
Wilfried Brauer, Hartmu Ehrig, Hartmut Ehrig, Juhani Karhumäki, Juhani Karhumäki et al, Arto K. Salomaa Formal and Natural Computing English 28.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Antonio J. Acosta, Manuel J. Bellido, Bertrand Hochet, Antoni J Acosta, Antonio J Acosta, Manuel J Bellido - Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
Antonio J. Acosta, Manuel J. Bellido, Bertrand Hochet, Antoni J Acosta, Antonio J Acosta, Manuel J Bellido Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003
Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Hans Daduna - Queueing Networks with Discrete Time Scale
Hans Daduna Queueing Networks with Discrete Time Scale English 01.01.2001 Paperback / Softback Fr. 56.50 6-7 weeks
Fabrizio Grandoni - Dependable Computing EDCC-4
Fabrizio Grandoni Dependable Computing EDCC-4 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Alberto Pettorossi - Logic Based Program Synthesis and Transformation
Alberto Pettorossi Logic Based Program Synthesis and Transformation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jeremy Bradley, Tony Field, Uli Harder, Peter G. Harrison - Computer Performance Evaluation: Modelling Techniques and Tools
Jeremy Bradley, Tony Field, Uli Harder, Peter G. Harrison Computer Performance Evaluation: Modelling Techniques and Tools English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks