Languages
Subject
Format
Availabity
Authors

Search result

Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni - Computational Logic in Multi-Agent Systems
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni Computational Logic in Multi-Agent Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis - Descriptional Complexity of Formal Systems
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Alemi - The Amazing Journey of Reason
Mario Alemi The Amazing Journey of Reason English 07.12.2019 Paperback / Softback Fr. 30.90 6-7 weeks
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques English 31.12.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Ganesh Gopalakrishnan, Ganesh C. Gopalakrishnan - Computation Engineering
Ganesh Gopalakrishnan, Ganesh C. Gopalakrishnan Computation Engineering English 10.08.2006 Hardback Fr. 126.00 6-7 weeks
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B English 02.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Patrick Blackburn, Chiara Ghidini, Fausto Giunchiglia, Roy M. Turner - Modeling and Using Context
Patrick Blackburn, Chiara Ghidini, Fausto Giunchiglia, Roy M. Turner Modeling and Using Context English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Kevin D. Ashley, Derek Bridge - Case-Based Reasoning Research and Development
Kevin D. Ashley, Derek Bridge Case-Based Reasoning Research and Development English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
P. Perner, Petra Perner, A. Rosenfeld, Azriel Rosenfeld - Machine Learning and Data Mining in Pattern Recognition
P. Perner, Petra Perner, A. Rosenfeld, Azriel Rosenfeld Machine Learning and Data Mining in Pattern Recognition English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 English 11.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Zhe Dang, Oscar H. Ibarra - Implementation and Application of Automata
Zhe Dang, Oscar H. Ibarra Implementation and Application of Automata English 26.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci - Correct Hardware Design and Verification Methods
D. Geist, Daniel Geist, E. Tronci, Enrico Tronci Correct Hardware Design and Verification Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... - Duration Calculus
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... Duration Calculus English 13.12.2003 Hardback Fr. 135.00 6-7 weeks
Hendrik Blockeel, Dragan Gamberger, Nada Lavra, Nada Lavrac, Nada Lavrač, Ljupco Todorovski - Machine Learning: ECML 2003
Hendrik Blockeel, Dragan Gamberger, Nada Lavra, Nada Lavrac, Nada Lavrač, Ljupco Todorovski Machine Learning: ECML 2003 English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Hendrik Blockeel, Dragan Gamberger, Draqan Gamberger, Nada Lavrac, Nada Lavrač, Ljupco Todorovski - Knowledge Discovery in Databases: PKDD 2003
Hendrik Blockeel, Dragan Gamberger, Draqan Gamberger, Nada Lavrac, Nada Lavrač, Ljupco Todorovski Knowledge Discovery in Databases: PKDD 2003 English 19.02.2009 Paperback / Softback Fr. 135.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
Stephen W. Liddle, Tok Wang Ling, Peter Scheuermann, Il-Yeol Song - Conceptual Modeling -- ER 2003
Stephen W. Liddle, Tok Wang Ling, Peter Scheuermann, Il-Yeol Song Conceptual Modeling -- ER 2003 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Xiaohua Hu, James F. Peters, Dominik Slezak, JingTao Yao, Wojciech Ziarko - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Xiaohua Hu, James F. Peters, Dominik Slezak, JingTao Yao, Wojciech Ziarko Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks