Languages
Subject
Format
Availabity
Authors

Search result

Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stafania Bandini, Bastie Chopard, Bastien Chopard, Samira El Yacoubi, Samira El Yacoubi - Cellular Automata
Stafania Bandini, Bastie Chopard, Bastien Chopard, Samira El Yacoubi, Samira El Yacoubi Cellular Automata English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Roland Mittermeir - Informatics Education - The Bridge between Using and Understanding Computers
Roland Mittermeir Informatics Education - The Bridge between Using and Understanding Computers English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura - Distributed Computing and Networking
Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura Distributed Computing and Networking English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Alexander A. Shvartsman - Principles of Distributed Systems
Alexander A. Shvartsman Principles of Distributed Systems English 01.07.2009 Paperback / Softback Fr. 70.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
Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernadete Ribeiro - Adaptive and Natural Computing Algorithms
Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernadete Ribeiro Adaptive and Natural Computing Algorithms English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
João Correia Lopes, ¿lvaro L. G. A. Couthino, Álvaro L. G. A. Couthino, Álvaro L.G.A. Couthino, Dayd¿Michel, Michel Daydé... - High Performance Computing for Computational Science - VECPAR 2006
João Correia Lopes, ¿lvaro L. G. A. Couthino, Álvaro L. G. A. Couthino, Álvaro L.G.A. Couthino, Dayd¿Michel, Michel Daydé... High Performance Computing for Computational Science - VECPAR 2006 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jin-Yi Cai, Barry S. Cooper, S. Barry Cooper, Hong Zhu - Theory and Applications of Models of Computation
Jin-Yi Cai, Barry S. Cooper, S. Barry Cooper, Hong Zhu Theory and Applications of Models of Computation English 12.04.2012 Paperback / Softback Fr. 135.00 6-7 weeks
Sergei Artemov, Sergei N. Artemov, Anil Nerode - Logical Foundations of Computer Science
Sergei Artemov, Sergei N. Artemov, Anil Nerode Logical Foundations of Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Barry S. Cooper, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi - Computation and Logic in the Real World
Barry S. Cooper, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi Computation and Logic in the Real World English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
José R. Álvarez, José Mira - Bio-inspired Modeling of Cognitive Tasks
José R. Álvarez, José Mira Bio-inspired Modeling of Cognitive Tasks English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Hai Jin, Haj Jin, Yi Pan, Victor K. Prasanna, Viktor K. Prasanna, Omer F. Rana - Algorithms and Architectures for Parallel Processing
Hai Jin, Haj Jin, Yi Pan, Victor K. Prasanna, Viktor K. Prasanna, Omer F. Rana Algorithms and Architectures for Parallel Processing English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Cami Demetrescu, Camil Demetrescu - Experimental Algorithms
Cami Demetrescu, Camil Demetrescu Experimental Algorithms English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Werner Damm, Holger Hermanns - Computer Aided Verification
Werner Damm, Holger Hermanns Computer Aided Verification English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ralph Martin, Malcolm Sabin, Joab Winkler - Mathematics of Surfaces XII
Ralph Martin, Malcolm Sabin, Joab Winkler Mathematics of Surfaces XII English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Fang, Fang, Qizhi Fang, Franc P Preparata, Franco P Preparata, Franco P. Preparata - Frontiers in Algorithmics
Fang, Fang, Qizhi Fang, Franc P Preparata, Franco P Preparata, Franco P. Preparata Frontiers in Algorithmics English 14.04.2009 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
Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... - Datatype-Generic Programming
Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... Datatype-Generic Programming English 14.04.2009 Paperback / Softback Fr. 69.00 6-7 weeks