Languages
Subject
Format
Availabity
Authors

Search result

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
Carlos A Coello Coello et al, Carlos Coello Coello, Carlos A. Coello Coello, Kalyanmoy Deb, Eri Goodman, Erik Goodman... - Evolutionary Multi-Criterion Optimization
Carlos A Coello Coello et al, Carlos Coello Coello, Carlos A. Coello Coello, Kalyanmoy Deb, Eri Goodman, Erik Goodman... Evolutionary Multi-Criterion Optimization English 01.01.2019 Paperback / Softback Fr. 135.00 6-7 weeks
Thomas Hinze, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Claudio Zandron - Membrane Computing
Thomas Hinze, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Claudio Zandron Membrane Computing English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
T. V. Gopal, T.V. Gopal, V Gopal, T V Gopal, Watada, Watada... - Theory and Applications of Models of Computation
T. V. Gopal, T.V. Gopal, V Gopal, T V Gopal, Watada, Watada... Theory and Applications of Models of Computation English 01.01.2019 Paperback / Softback Fr. 70.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
Barbara Hammer, Barbara Hammer et al, Lazaros Iliadis, Vera Kurková, Verá Kurková, Věra Kůrková... - Artificial Neural Networks and Machine Learning - ICANN 2018
Barbara Hammer, Barbara Hammer et al, Lazaros Iliadis, Vera Kurková, Verá Kurková, Věra Kůrková... Artificial Neural Networks and Machine Learning - ICANN 2018 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Barbara Hammer, Barbara Hammer et al, Lazaros Iliadis, Vera Kurková, Verá Kurková, Věra Kůrková... - Artificial Neural Networks and Machine Learning - ICANN 2018
Barbara Hammer, Barbara Hammer et al, Lazaros Iliadis, Vera Kurková, Verá Kurková, Věra Kůrková... Artificial Neural Networks and Machine Learning - ICANN 2018 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Russel G Miller, Russell G Miller, Florin Manea, Russell G. Miller, Dirk Nowotka - Sailing Routes in the World of Computation
Russel G Miller, Russell G Miller, Florin Manea, Russell G. Miller, Dirk Nowotka Sailing Routes in the World of Computation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Lushen Wang, Lusheng Wang, Zhu, Zhu, Daming Zhu - Computing and Combinatorics
Lushen Wang, Lusheng Wang, Zhu, Zhu, Daming Zhu Computing and Combinatorics English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Gianfranc Ciardo, Gianfranco Ciardo, Darondeau, Darondeau, Philippe Darondeau - Applications and Theory of Petri Nets 2005
Gianfranc Ciardo, Gianfranco Ciardo, Darondeau, Darondeau, Philippe Darondeau Applications and Theory of Petri Nets 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jack Dongarra, Haohua Fu, Haohuan Fu, Valeria Krzhizhanovskaya, Valeria V. Krzhizhanovskaya, Michael Harold Lees... - Computational Science - ICCS 2018
Jack Dongarra, Haohua Fu, Haohuan Fu, Valeria Krzhizhanovskaya, Valeria V. Krzhizhanovskaya, Michael Harold Lees... Computational Science - ICCS 2018 English 01.01.2018 Paperback / Softback Fr. 143.00 6-7 weeks
Jack Dongarra, Haohua Fu, Haohuan Fu, Valeria Krzhizhanovskaya, Valeria V. Krzhizhanovskaya, Michael Harold Lees... - Computational Science - ICCS 2018
Jack Dongarra, Haohua Fu, Haohuan Fu, Valeria Krzhizhanovskaya, Valeria V. Krzhizhanovskaya, Michael Harold Lees... Computational Science - ICCS 2018 English 01.01.2018 Paperback / Softback Fr. 143.00 6-7 weeks
Tua Phung-Duc, Tuan Phung-Duc, Yutaka Takahashi, Sabine Wittevrongel, Sabine Wittevrongel et al, Wuyi Yue - Queueing Theory and Network Applications
Tua Phung-Duc, Tuan Phung-Duc, Yutaka Takahashi, Sabine Wittevrongel, Sabine Wittevrongel et al, Wuyi Yue Queueing Theory and Network Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Yuhu Shi, Yuhui Shi, Ying Tan, Qirong Tang - Advances in Swarm Intelligence
Yuhu Shi, Yuhui Shi, Ying Tan, Qirong Tang Advances in Swarm Intelligence English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Yuhu Shi, Yuhui Shi, Ying Tan, Qirong Tang - Advances in Swarm Intelligence
Yuhu Shi, Yuhui Shi, Ying Tan, Qirong Tang Advances in Swarm Intelligence English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier - Reachability Problems
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier Reachability Problems English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Andreas Brandstädt, Ekkehar Köhler, Ekkehard Köhler, Klaus Meer - Graph-Theoretic Concepts in Computer Science
Andreas Brandstädt, Ekkehar Köhler, Ekkehard Köhler, Klaus Meer Graph-Theoretic Concepts in Computer Science English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Raffaele Cerulli, Andre Raiconi, Andrea Raiconi, Stefan Voß - Computational Logistics
Raffaele Cerulli, Andre Raiconi, Andrea Raiconi, Stefan Voß Computational Logistics English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
And D Pimentel, Andy D Pimentel, Timo D. Hämäläinen, Subhas Chandra Mukhopadhyay, Andy D. Pimentel, Jarmo Takala... - Embedded Computer Systems: Architectures, Modeling, and Simulation
And D Pimentel, Andy D Pimentel, Timo D. Hämäläinen, Subhas Chandra Mukhopadhyay, Andy D. Pimentel, Jarmo Takala... Embedded Computer Systems: Architectures, Modeling, and Simulation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks