Languages
Subject
Format
Availabity
Authors

Search result

Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming English 24.04.2019 Paperback / Softback Fr. 77.00 6-7 weeks
Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck - Architecture of Computing Systems - ARCS 2018
Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck Architecture of Computing Systems - ARCS 2018 English 08.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jens Brandt, Klaus Schneider - Theorem Proving in Higher Order Logics
Jens Brandt, Klaus Schneider Theorem Proving in Higher Order Logics English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Tetsuya Higuchi, Tetsuya Higuchi et al, Masay Iwata, Masaya Iwata, Yong Liu, Kiyoshi Tanaka... - Evolvable Systems: From Biology to Hardware
Tetsuya Higuchi, Tetsuya Higuchi et al, Masay Iwata, Masaya Iwata, Yong Liu, Kiyoshi Tanaka... Evolvable Systems: From Biology to Hardware English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
S. Ramachandran, Seetharaman Ramachandran - Digital VLSI Systems Design, w. CD-ROM
S. Ramachandran, Seetharaman Ramachandran Digital VLSI Systems Design, w. CD-ROM English 08.06.2007 Hardback Fr. 222.00 6-7 weeks
Koen Bertels, Joao M. P. Cardoso, Joao M.P. Cardoso, Pedro C. Diniz, Marcio Merino Fernandes, Eduardo Marques - Reconfigurable Computing: Architectures, Tools and Applications
Koen Bertels, Joao M. P. Cardoso, Joao M.P. Cardoso, Pedro C. Diniz, Marcio Merino Fernandes, Eduardo Marques Reconfigurable Computing: Architectures, Tools and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Heung-Na Kim, Heung-Nam Kim, Jong Kim, Sung Won Kim, Jong Kim et al, Yann-Hang Lee... - Embedded Software and Systems
Heung-Na Kim, Heung-Nam Kim, Jong Kim, Sung Won Kim, Jong Kim et al, Yann-Hang Lee... Embedded Software and Systems English 17.05.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Marco Danelutto, Domenico Laforenza, Marco Vanneschi - Euro-Par 2004 Parallel Processing
Marco Danelutto, Domenico Laforenza, Marco Vanneschi Euro-Par 2004 Parallel Processing English 01.01.2004 Paperback / Softback Fr. 135.00 6-7 weeks
Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Kalyanmoy Deb... - Genetic and Evolutionary Computation - GECCO 2004. Vol.1
Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Kalyanmoy Deb... Genetic and Evolutionary Computation - GECCO 2004. Vol.1 English 01.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Jorge Juan Chico, Enrico Macii - Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Jorge Juan Chico, Enrico Macii Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jack Dongarra, Domenico Laforenza, Salvatore Orlando - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Domenico Laforenza, Salvatore Orlando Recent Advances in Parallel Virtual Machine and Message Passing Interface English 30.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont - Logic and Complexity
Michel DeRougemont, R. Lassaigne, Richard Lassaigne, M. de Rougemont, Michel De Rougemont Logic and Complexity English 29.01.2004 Hardback Fr. 207.00 6-7 weeks
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler - Computer Aided Systems Theory - EUROCAST 2003
Robeto Moreno Diaz, Roberto Moreno Díaz, Roberto Moreno-Diaz, Franz Pichler Computer Aided Systems Theory - EUROCAST 2003 English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Susanna Donatelli, P. S. Thiagarajan, P.S. Thiagarajan - Petri Nets and Other Models of Concurrency - ICATPN 2006
Susanna Donatelli, P. S. Thiagarajan, P.S. Thiagarajan Petri Nets and Other Models of Concurrency - ICATPN 2006 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bruno Apolloni, Maria Marinaro, Roberto Tagliaferri - Neural Nets
Bruno Apolloni, Maria Marinaro, Roberto Tagliaferri Neural Nets English 30.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis English 22.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification English 23.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
And Pimentel, Andy Pimentel, Vassiliadis, Vassiliadis, Stamatis Vassiliadis - Computer Systems: Architectures, Modeling, and Simulation
And Pimentel, Andy Pimentel, Vassiliadis, Vassiliadis, Stamatis Vassiliadis Computer Systems: Architectures, Modeling, and Simulation English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mar Joye, Marc Joye, Quisquater, Quisquater, Jean-Jacques Quisquater, Jean-Jaques Quisquater - Cryptographic Hardware and Embedded Systems - CHES 2004
Mar Joye, Marc Joye, Quisquater, Quisquater, Jean-Jacques Quisquater, Jean-Jaques Quisquater Cryptographic Hardware and Embedded Systems - CHES 2004 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jingling Xue, Pen-Chung Yew - Advances in Computer Systems Architecture
Jingling Xue, Pen-Chung Yew Advances in Computer Systems Architecture English 06.07.2005 Paperback / Softback Fr. 135.00 6-7 weeks