Languages
Subject
Format
Availabity
Authors

Search result

Sergiy Butenko, Ding-Zh Du, Ding-Zhu Du, Shaojie Tang, David Woodruff, David Woodruff et al - Algorithmic Aspects in Information and Management
Sergiy Butenko, Ding-Zh Du, Ding-Zhu Du, Shaojie Tang, David Woodruff, David Woodruff et al Algorithmic Aspects in Information and Management English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Constanti Enea, Constantin Enea, Piskac, Piskac, Ruzica Piskac - Verification, Model Checking, and Abstract Interpretation
Constanti Enea, Constantin Enea, Piskac, Piskac, Ruzica Piskac Verification, Model Checking, and Abstract Interpretation English 01.01.2019 Paperback / Softback Fr. 69.00 6-7 weeks
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Andreu Catala, Gonzal Joya, Gonzalo Joya, Ignacio Rojas - Advances in Computational Intelligence
Andreu Catala, Gonzal Joya, Gonzalo Joya, Ignacio Rojas Advances in Computational Intelligence English 01.01.2019 Paperback / Softback Fr. 135.00 6-7 weeks
Simon K. S. Cheung, Tomas Kozel, Lam-For Kwok, Lap-Ke Lee, Lap-Kei Lee, Ivana Simonova... - Blended Learning: Educational Innovation for Personalized Learning
Simon K. S. Cheung, Tomas Kozel, Lam-For Kwok, Lap-Ke Lee, Lap-Kei Lee, Ivana Simonova... Blended Learning: Educational Innovation for Personalized Learning English 01.01.2019 Paperback / Softback Fr. 92.00 6-7 weeks
G. Dick van Albada, Geert D. van Albada, J. J. Dongarra, Peter M. A. Sloot, Peter M.A. Sloot, V. S. Sunderam... - Computational Science -- ICCS 2005
G. Dick van Albada, Geert D. van Albada, J. J. Dongarra, Peter M. A. Sloot, Peter M.A. Sloot, V. S. Sunderam... Computational Science -- ICCS 2005 English 26.05.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Barbara M. Chapman, Barbar M Chapman, Barbara M Chapman - Shared Memory Parallel Programming with Open MP
Barbara M. Chapman, Barbar M Chapman, Barbara M Chapman Shared Memory Parallel Programming with Open MP English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
José R. Álvarez, Jos Mira, José Mira, R Álvarez, R Álvarez - Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach
José R. Álvarez, Jos Mira, José Mira, R Álvarez, R Álvarez Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham - Theorem Proving in Higher Order Logics
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca de Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca de Alfaro CONCUR 2005 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roma Barták, Roman Barták, Milano, Milano, Michela Milano - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Roma Barták, Roman Barták, Milano, Milano, Michela Milano Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michel Daydé, Jac Dongarra, Jack Dongarra, Vincente Hernández, Vincente Hernández et al, José M. L. M. Palma... - High Performance Computing for Computational Science - VECPAR 2004
Michel Daydé, Jac Dongarra, Jack Dongarra, Vincente Hernández, Vincente Hernández et al, José M. L. M. Palma... High Performance Computing for Computational Science - VECPAR 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Zhilin Li, Lubi Vulkov, Lubin Vulkov, Jerzy Wásniewski - Numerical Analysis and Its Applications
Zhilin Li, Lubi Vulkov, Lubin Vulkov, Jerzy Wásniewski Numerical Analysis and Its Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pilar Herrero, Maria S. Pérez, Robles, Robles, Victor Robles, Mari S Pérez... - Scientific Applications of Grid Computing
Pilar Herrero, Maria S. Pérez, Robles, Robles, Victor Robles, Mari S Pérez... Scientific Applications of Grid Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pierr Fraigniaud, Pierre Fraigniaud - Distributed Computing
Pierr Fraigniaud, Pierre Fraigniaud Distributed Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Chip-Hong Chang, Thambipillai Srikanthan, Jinglin Xue, Jingling Xue - Advances in Computer Systems Architecture
Chip-Hong Chang, Thambipillai Srikanthan, Jinglin Xue, Jingling Xue Advances in Computer Systems Architecture English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks