Languages
Subject
Format
Availabity
Authors

Search result

Michael Kaufmann - Inductive Fuzzy Classification in Marketing Analytics
Michael Kaufmann Inductive Fuzzy Classification in Marketing Analytics English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Sven Ove Hansson, Sve Ove Hansson, Sven Ove Hansson - David Makinson on Classical Methods for Non-Classical Problems
Sven Ove Hansson, Sve Ove Hansson, Sven Ove Hansson David Makinson on Classical Methods for Non-Classical Problems English 01.01.2016 Paperback / Softback Fr. 179.00 6-7 weeks
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta - A New Perspective on Nonmonotonic Logics
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta A New Perspective on Nonmonotonic Logics English 31.01.2017 Hardback 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 01.01.2016 Paperback / Softback Fr. 169.00 6-7 weeks
Cliv Blackwell, Clive Blackwell, Zhu, Zhu, Hong Zhu - Cyberpatterns
Cliv Blackwell, Clive Blackwell, Zhu, Zhu, Hong Zhu Cyberpatterns English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Valeria De Paiva, Edwar Haeusler, Edward Haeusler, Edward Hermann Haeusler, Luiz Carlos Pereira - Advances in Natural Deduction
Valeria De Paiva, Edwar Haeusler, Edward Haeusler, Edward Hermann Haeusler, Luiz Carlos Pereira Advances in Natural Deduction English 01.01.2016 Paperback / Softback Fr. 158.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrzej Skowron - Transactions on Rough Sets XX
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrzej Skowron Transactions on Rough Sets XX English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Gura Bezhanishvili, Guram Bezhanishvili - Leo Esakia on Duality in Modal and Intuitionistic Logics
Gura Bezhanishvili, Guram Bezhanishvili Leo Esakia on Duality in Modal and Intuitionistic Logics English 01.01.2016 Paperback / Softback Fr. 169.00 6-7 weeks
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea - AI*IA 2016 Advances in Artificial Intelligence; .
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea AI*IA 2016 Advances in Artificial Intelligence; . English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Alastair Butler - Linguistic Expressions and Semantic Processing
Alastair Butler Linguistic Expressions and Semantic Processing English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification English 01.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth - Combinatorial Algorithms
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth Combinatorial Algorithms English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Samson Abramsky, Juh Kontinen, Juha Kontinen, Jouko Väänänen, Jouko Väänänen et al, Heribert Vollmer - Dependence Logic
Samson Abramsky, Juh Kontinen, Juha Kontinen, Jouko Väänänen, Jouko Väänänen et al, Heribert Vollmer Dependence Logic English 01.01.2016 Hardback Fr. 70.00 6-7 weeks
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks