Languages
Subject
Format
Availabity
Authors

Search result

Dov M. Gabbay, Sergei S. Goncharov, Sergey Goncharov, Dov M Gabbay, Serge S Goncharov, Sergei S Goncharov... - Mathematical Problems from Applied Logic I
Dov M. Gabbay, Sergei S. Goncharov, Sergey Goncharov, Dov M Gabbay, Serge S Goncharov, Sergei S Goncharov... Mathematical Problems from Applied Logic I English 27.10.2010 Paperback / Softback Fr. 207.00 6-7 weeks
Thomas Jech - Set Theory
Thomas Jech Set Theory English 12.09.2014 Paperback / Softback Fr. 237.00 6-7 weeks
Matthia Müller-Hannemann, Matthias Müller-Hannemann, Schirra, Schirra, Stefan Schirra - Algorithm Engineering
Matthia Müller-Hannemann, Matthias Müller-Hannemann, Schirra, Schirra, Stefan Schirra Algorithm Engineering English 09.09.2010 Paperback / Softback Fr. 117.00 6-7 weeks
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky - Rewriting Logic and Its Applications
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky Rewriting Logic and Its Applications English 01.09.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Juraj Hromkovic, Juraj Hromkovič - Algorithmics for Hard Problems
Juraj Hromkovic, Juraj Hromkovič Algorithmics for Hard Problems English 11.10.2010 Paperback / Softback Fr. 90.00 6-7 weeks
Evangelos Triantaphyllou - Data Mining and Knowledge Discovery via Logic-Based Methods
Evangelos Triantaphyllou Data Mining and Knowledge Discovery via Logic-Based Methods English 25.07.2012 Paperback / Softback Fr. 203.00 6-7 weeks
Gerhar Jäger, Gerhard Jäger, Sieg, Sieg, Wilfried Sieg - Feferman on Foundations
Gerhar Jäger, Gerhard Jäger, Sieg, Sieg, Wilfried Sieg Feferman on Foundations English 01.01.2018 Paperback / Softback Fr. 216.00 6-7 weeks
David Chiang - Grammars for Language and Genes
David Chiang Grammars for Language and Genes English 20.03.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Barry Jay - Pattern Calculus
Barry Jay Pattern Calculus English 01.01.2014 Paperback / Softback Fr. 207.00 6-7 weeks
Andre Platzer, André Platzer - Logical Analysis of Hybrid Systems
Andre Platzer, André Platzer Logical Analysis of Hybrid Systems English 01.01.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Jan Chomicki, Ron van der Meyden, Gunter Saake, Ro van der Meyden, Ron van der Meyden - Logics for Emerging Applications of Databases
Jan Chomicki, Ron van der Meyden, Gunter Saake, Ro van der Meyden, Ron van der Meyden Logics for Emerging Applications of Databases English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Chri Hankin, Chris Hankin, René Rydhof Hansen, Christian W. Probst, René Rydhof Hansen - Semantics, Logics, and Calculi
Chri Hankin, Chris Hankin, René Rydhof Hansen, Christian W. Probst, René Rydhof Hansen Semantics, Logics, and Calculi English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... - Computability and Complexity
Adam Day, Michae Fellows, Michael Fellows, Noam Greenberg, Noam Greenberg et al, Bakhadyr Khoussainov... Computability and Complexity English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Iya Rahwan, Iyad Rahwan - Argumentation in Artificial Intelligence
Iya Rahwan, Iyad Rahwan Argumentation in Artificial Intelligence English 01.01.2014 Paperback / Softback Fr. 199.00 6-7 weeks
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Tools for Practical Software Verification
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Tools for Practical Software Verification English 05.12.2012 Paperback / Softback Fr. 65.00 6-7 weeks
Hassane Alla, Ren David, René David - Discrete, Continuous, and Hybrid Petri Nets
Hassane Alla, Ren David, René David Discrete, Continuous, and Hybrid Petri Nets English 01.01.2014 Paperback / Softback Fr. 206.00 6-7 weeks
Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.11.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Gheorghe Paun - Membrane Computing
Gheorghe Paun Membrane Computing English 13.11.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Janusz Czelakowski - Freedom and Enforcement in Action
Janusz Czelakowski Freedom and Enforcement in Action English 01.01.2016 Paperback / Softback Fr. 117.00 6-7 weeks
Paul Boca, Jonathan P. Bowen, Jonatha P Bowen, Jonathan P Bowen, Jawed Siddiqi - Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jonatha P Bowen, Jonathan P Bowen, Jawed Siddiqi Formal Methods: State of the Art and New Directions English 01.01.2014 Paperback / Softback Fr. 169.00 6-7 weeks