Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Renat Schmidt, Renate Schmidt, Renate A. Schmidt - Relations and Kleene Algebra in Computer Science
Renat Schmidt, Renate Schmidt, Renate A. Schmidt Relations and Kleene Algebra in Computer Science Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrej Skowron... - Transactions on Rough Sets V
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrej Skowron... Transactions on Rough Sets V Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Fahie Bacchus, Fahiem Bacchus, Walsh, Walsh, Toby Walsh - Theory and Applications of Satisfiability Testing
Fahie Bacchus, Fahiem Bacchus, Walsh, Walsh, Toby Walsh Theory and Applications of Satisfiability Testing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Jin, Yaochu Jin, Lipo Wang - Fuzzy Systems and Knowledge Discovery. Pt.2
Jin, Yaochu Jin, Lipo Wang Fuzzy Systems and Knowledge Discovery. Pt.2 Englisch 14.04.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof Englisch 05.08.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing Englisch 29.01.2013 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 02.08.2005 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Kevin D. Ashley, Derek Bridge - Case-Based Reasoning Research and Development
Kevin D. Ashley, Derek Bridge Case-Based Reasoning Research and Development Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 Englisch 11.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Zhe Dang, Oscar H. Ibarra - Implementation and Application of Automata
Zhe Dang, Oscar H. Ibarra Implementation and Application of Automata Englisch 26.07.2011 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 13.12.2003 Fester Einband Fr. 135.00 6-7 Wochen
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 Englisch 29.01.2013 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 29.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen