Languages
Subject
Format
Availabity
Authors

Search result

Jianyang Zhou - The NCL Natural Constraint Language
Jianyang Zhou The NCL Natural Constraint Language English 01.09.2012 Hardback Fr. 189.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
Fran Winkler, Franz Winkler - Algebraic Informatics
Fran Winkler, Franz Winkler Algebraic Informatics English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Benedikt Löwe, Da Normann, Dag Normann, Ivan Soskov, Ivan Soskov et al, Alexandra Soskova - Models of Computation in Context
Benedikt Löwe, Da Normann, Dag Normann, Ivan Soskov, Ivan Soskov et al, Alexandra Soskova Models of Computation in Context English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Sve Apel, Sven Apel, Jackson, Jackson, Ethan Jackson - Software Composition
Sve Apel, Sven Apel, Jackson, Jackson, Ethan Jackson Software Composition English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Evandro Agazzi - Scientific Objectivity and Its Contexts
Evandro Agazzi Scientific Objectivity and Its Contexts English 17.01.2014 Hardback Fr. 135.00 6-7 weeks
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta - Conditionals and Modularity in General Logics
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta Conditionals and Modularity in General Logics English 01.09.2011 Hardback Fr. 135.00 6-7 weeks
Ganes Gopalakrishnan, Ganesh Gopalakrishnan, Qadeer, Qadeer, Shaz Qadeer - Computer Aided Verification
Ganes Gopalakrishnan, Ganesh Gopalakrishnan, Qadeer, Qadeer, Shaz Qadeer Computer Aided Verification 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. 70.00 6-7 weeks
Mesiar, Mesiar, Radko Mesiar, Susann Saminger-Platz, Susanne Saminger-Platz - On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Mesiar, Mesiar, Radko Mesiar, Susann Saminger-Platz, Susanne Saminger-Platz On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Thomas Roeper, To Roeper, Tom Roeper, Speas, Speas, Margaret Speas - Recursion: Complexity in Cognition
Thomas Roeper, To Roeper, Tom Roeper, Speas, Speas, Margaret Speas Recursion: Complexity in Cognition English 01.01.2015 Paperback / Softback Fr. 135.00 6-7 weeks
Leslie F Sikos, Leslie F. Sikos - Description Logics in Multimedia Reasoning
Leslie F Sikos, Leslie F. Sikos Description Logics in Multimedia Reasoning English 01.01.2017 Hardback Fr. 147.00 6-7 weeks
Prof Andre Nies, Michael J. Dinneen, Bakhady Khoussainov, Bakhadyr Khoussainov, Andre Nies, Prof. Andre Nies - Computation, Physics and Beyond
Prof Andre Nies, Michael J. Dinneen, Bakhady Khoussainov, Bakhadyr Khoussainov, Andre Nies, Prof. Andre Nies Computation, Physics and Beyond English 08.12.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Abderrahmane Feliachi, Marie-Claud Gaudel, Marie-Claude Gaudel, Burkhard Wolff - Unifying Theories of Programming
Abderrahmane Feliachi, Marie-Claud Gaudel, Marie-Claude Gaudel, Burkhard Wolff Unifying Theories of Programming English 05.12.2012 Paperback / Softback Fr. 66.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
Fernando Bobillo, Paul Cesar G Costa, Paulo Cesar G Costa, Paulo C. G. Costa, Paulo Cesar G. Costa, Paulo Cesar G. da Costa... - Uncertainty Reasoning for the Semantic Web II
Fernando Bobillo, Paul Cesar G Costa, Paulo Cesar G Costa, Paulo C. G. Costa, Paulo Cesar G. Costa, Paulo Cesar G. da Costa... Uncertainty Reasoning for the Semantic Web II 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. 135.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. 189.00 6-7 weeks
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz - Principles of Formal Quantitative Analysis
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz Principles of Formal Quantitative Analysis English 21.09.2025 Paperback / Softback Fr. 103.00 6-7 weeks
Krassimir T Atanassov, Krassimir T. Atanassov - On Intuitionistic Fuzzy Sets Theory
Krassimir T Atanassov, Krassimir T. Atanassov On Intuitionistic Fuzzy Sets Theory English 07.05.2014 Paperback / Softback Fr. 199.00 6-7 weeks