Languages
Subject
Format
Availabity
Authors

Search result

Grigoris Antoniou, Jin Song Dong, We Hu, Wei Hu, Yuan-Fang Li, Yang Liu... - Semantic Technology
Grigoris Antoniou, Jin Song Dong, We Hu, Wei Hu, Yuan-Fang Li, Yang Liu... Semantic Technology English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mohan Ganesalingam, Mohan Gansealingam - The Language of Mathematics
Mohan Ganesalingam, Mohan Gansealingam The Language of Mathematics English 07.02.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination
Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination English 11.02.2013 Paperback / Softback Fr. 158.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
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
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. 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
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences English 31.07.2011 Hardback Fr. 135.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
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
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2016 Paperback / Softback Fr. 70.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
Derrick Kourie, Derrick G Kourie, Derrick G. Kourie, Bruce W Watson, Bruce W. Watson - The Correctness-by-Construction Approach to Programming
Derrick Kourie, Derrick G Kourie, Derrick G. Kourie, Bruce W Watson, Bruce W. Watson The Correctness-by-Construction Approach to Programming English 07.05.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Dietma Hömberg, Dietmar Hömberg, Tröltzsch, Tröltzsch, Fredi Tröltzsch - System Modeling and Optimization
Dietma Hömberg, Dietmar Hömberg, Tröltzsch, Tröltzsch, Fredi Tröltzsch System Modeling and Optimization English 14.12.2012 Hardback Fr. 135.00 6-7 weeks