Languages
Subject
Format
Availabity
Authors

Search result

Jonathan M Kane, Jonathan M. Kane, Jonathan Michael Kane - Writing Proofs in Analysis
Jonathan M Kane, Jonathan M. Kane, Jonathan Michael Kane Writing Proofs in Analysis English 01.01.2016 Hardback Fr. 110.00 6-7 weeks
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mauricio Ayala-Rincon, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, Flávio L C de Moura, Flavio L. C. de Moura, Flávio L. C. de Moura... - Applied Logic for Computer Scientists
Mauricio Ayala-Rincon, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, Flávio L C de Moura, Flavio L. C. de Moura, Flávio L. C. de Moura... Applied Logic for Computer Scientists English 01.01.2017 Paperback / Softback Fr. 64.00 6-7 weeks
Jean-Yves Beziau, Jean-Yve Béziau, Jean-Yves Béziau, Jacquette, Jacquette, Dale Jacquette - Around and Beyond the Square of Opposition
Jean-Yves Beziau, Jean-Yve Béziau, Jean-Yves Béziau, Jacquette, Jacquette, Dale Jacquette Around and Beyond the Square of Opposition English 01.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Mark V Sapir, Mark V. Sapir - Combinatorial Algebra: Syntax and Semantics
Mark V Sapir, Mark V. Sapir Combinatorial Algebra: Syntax and Semantics English 26.05.2014 Hardback Fr. 70.00 6-7 weeks
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers - The Handbook of Formal Methods in Human-Computer Interaction
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers The Handbook of Formal Methods in Human-Computer Interaction English 01.01.2017 Hardback Fr. 393.00 6-7 weeks
Jongsma, Calvin Jongsma - Ntroduction to Discrete Mathematics via Logic and Proof
Jongsma, Calvin Jongsma Ntroduction to Discrete Mathematics via Logic and Proof English 26.12.2020 Paperback / Softback Fr. 77.00 6-7 weeks
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Pierr Gillibert, Pierre Gillibert, Friedrich Wehrung - From Objects to Diagrams for Ranges of Functors
Pierr Gillibert, Pierre Gillibert, Friedrich Wehrung From Objects to Diagrams for Ranges of Functors English 01.08.2011 Paperback / Softback Fr. 53.90 6-7 weeks
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo - Objects, Components, Models, Patterns
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo Objects, Components, Models, Patterns English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas - Industrial Deployment of System Engineering Methods
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas Industrial Deployment of System Engineering Methods English 31.07.2013 Hardback Fr. 70.00 6-7 weeks
Daizha Cheng, Daizhan Cheng, Zhiqiang Li, Hongshen Qi, Hongsheng Qi - Analysis and Control of Boolean Networks
Daizha Cheng, Daizhan Cheng, Zhiqiang Li, Hongshen Qi, Hongsheng Qi Analysis and Control of Boolean Networks English 30.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Alexande Meduna, Alexander Meduna, Petr Zemek - Regulated Grammars and Automata
Alexande Meduna, Alexander Meduna, Petr Zemek Regulated Grammars and Automata English 02.12.2013 Hardback Fr. 135.00 6-7 weeks
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences English 31.07.2011 Hardback Fr. 135.00 6-7 weeks
Ale Groce, Alex Groce, Musuvathi, Musuvathi, Madanlal Musuvathi - Model Checking Software
Ale Groce, Alex Groce, Musuvathi, Musuvathi, Madanlal Musuvathi Model Checking Software English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Eric Brend Kahn, Eric Brendan Kahn, Richard Millman, Richard S Millman, Richard S. Millman, Peter Shiue... - Problems and Proofs in Numbers and Algebra
Eric Brend Kahn, Eric Brendan Kahn, Richard Millman, Richard S Millman, Richard S. Millman, Peter Shiue... Problems and Proofs in Numbers and Algebra English 01.03.2015 Hardback Fr. 77.00 6-7 weeks
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... - Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Mangani, P Mangani, P. Mangani - Model Theory and Applications
Mangani, P Mangani, P. Mangani Model Theory and Applications English 31.07.2011 Paperback / Softback Fr. 30.90 6-7 weeks
Lotfi A Zadeh, Lotfi A. Zadeh - Computing with Words
Lotfi A Zadeh, Lotfi A. Zadeh Computing with Words English 01.08.2012 Hardback Fr. 135.00 6-7 weeks
Jos Berdine, Josh Berdine, Joshua Berdine, Roberto Giacobazzi, Isabella Mastroeni - Verification, Model Checking, and Abstract Interpretation
Jos Berdine, Josh Berdine, Joshua Berdine, Roberto Giacobazzi, Isabella Mastroeni Verification, Model Checking, and Abstract Interpretation English 04.12.2012 Paperback / Softback Fr. 70.00 6-7 weeks