Languages
Subject
Format
Availabity
Authors

Search result

Pavel Pudlák - Logical Foundations of Mathematics and Computational Complexity
Pavel Pudlák Logical Foundations of Mathematics and Computational Complexity English 12.02.2013 Hardback Fr. 216.00 6-7 weeks
Barnabas Bede, Barnab'as Bede, Barnabás Bede, Barnabàs Bede - Mathematics of Fuzzy Sets and Fuzzy Logic
Barnabas Bede, Barnab'as Bede, Barnabás Bede, Barnabàs Bede Mathematics of Fuzzy Sets and Fuzzy Logic English 01.01.2015 Paperback / Softback Fr. 189.00 6-7 weeks
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems English 01.01.2015 Paperback / Softback Fr. 70.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
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
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
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. 179.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. 169.00 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
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
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences English 31.07.2011 Hardback Fr. 135.00 6-7 weeks
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering IV
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering IV English 06.12.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Torben Braüner - Hybrid Logic and its Proof-Theory
Torben Braüner Hybrid Logic and its Proof-Theory English 06.12.2012 Paperback / Softback Fr. 169.00 6-7 weeks
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska - Dual Tableaux: Foundations, Methodology, Case Studies
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska Dual Tableaux: Foundations, Methodology, Case Studies English 06.12.2012 Paperback / Softback Fr. 207.00 6-7 weeks
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... - Transactions on Rough Sets XIV
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... Transactions on Rough Sets XIV English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
BOURDEAU, Bourdeau, Michel Bourdeau, Jacque Dubucs, Jacques Dubucs - Constructivity and Computability in Historical and Philosophical Perspective
BOURDEAU, Bourdeau, Michel Bourdeau, Jacque Dubucs, Jacques Dubucs Constructivity and Computability in Historical and Philosophical Perspective English 26.05.2014 Hardback Fr. 135.00 6-7 weeks
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... - Graph Structures for Knowledge Representation and Reasoning
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... Graph Structures for Knowledge Representation and Reasoning English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... - Language and Automata Theory and Applications
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... Language and Automata Theory and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks