Languages
Subject
Format
Availabity
Authors

Search result

Leo Esakia, Gura Bezhanishvili, Guram Bezhanishvili, H Holliday, H Holliday, Wesley H. Holliday - Heyting Algebras
Leo Esakia, Gura Bezhanishvili, Guram Bezhanishvili, H Holliday, H Holliday, Wesley H. Holliday Heyting Algebras English 28.08.2019 Hardback Fr. 110.00 6-7 weeks
Kok Yong Lee, Hiroakira Ono, Syraya Chin-Mu Yang, Ko Yong Lee, Kok Yong Lee - Philosophical Logic: Current Trends in Asia
Kok Yong Lee, Hiroakira Ono, Syraya Chin-Mu Yang, Ko Yong Lee, Kok Yong Lee Philosophical Logic: Current Trends in Asia English 01.01.2018 Paperback / Softback Fr. 237.00 6-7 weeks
Qin Cai, Qing Cai, Maogu Gong, Maoguo Gong, Yu Lei, Lijia Ma... - Computational Intelligence for Network Structure Analytics
Qin Cai, Qing Cai, Maogu Gong, Maoguo Gong, Yu Lei, Lijia Ma... Computational Intelligence for Network Structure Analytics English 01.01.2018 Paperback / Softback Fr. 158.00 6-7 weeks
Usman Qamar, Muhammad Summai Raza, Muhammad Summair Raza - Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications
Usman Qamar, Muhammad Summai Raza, Muhammad Summair Raza Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Ilario Bonacina - Space in Weak Propositional Proof Systems
Ilario Bonacina Space in Weak Propositional Proof Systems English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tetsuya Hoya - Artificial Mind System
Tetsuya Hoya Artificial Mind System English 01.09.2005 Hardback Fr. 135.00 6-7 weeks
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 01.01.2019 Paperback / Softback Fr. 91.00 6-7 weeks
Thomas Macaulay Ferguson - Meaning and Proscription in Formal Logic
Thomas Macaulay Ferguson Meaning and Proscription in Formal Logic English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Carlos A Coello Coello et al, Carlos Coello Coello, Carlos A. Coello Coello, Kalyanmoy Deb, Eri Goodman, Erik Goodman... - Evolutionary Multi-Criterion Optimization
Carlos A Coello Coello et al, Carlos Coello Coello, Carlos A. Coello Coello, Kalyanmoy Deb, Eri Goodman, Erik Goodman... Evolutionary Multi-Criterion Optimization English 01.01.2019 Paperback / Softback Fr. 135.00 6-7 weeks
Thomas Hinze, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Claudio Zandron - Membrane Computing
Thomas Hinze, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Claudio Zandron Membrane Computing English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Aveiro, David Aveiro, Jorge Bernardino, Jan L. G. Dietz, Joaquim Filipe, Ana Fred... - Knowledge Discovery, Knowledge Engineering and Knowledge Management
Davi Aveiro, David Aveiro, Jorge Bernardino, Jan L. G. Dietz, Joaquim Filipe, Ana Fred... Knowledge Discovery, Knowledge Engineering and Knowledge Management English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jukka Paakki - Arto Salomaa: Mathematician, Computer Scientist, and Teacher
Jukka Paakki Arto Salomaa: Mathematician, Computer Scientist, and Teacher English 01.01.2019 Hardback Fr. 189.00 6-7 weeks
Bernhar Korte, Bernhard Korte, Jens Vygen - Combinatorial Optimization
Bernhar Korte, Bernhard Korte, Jens Vygen Combinatorial Optimization English 01.01.2019 Paperback / Softback Fr. 91.00 6-7 weeks
Jens Erik Fenstad - Structures and Algorithms
Jens Erik Fenstad Structures and Algorithms English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
A Castillo, A Castillo, Pedro A. Castillo, Pau Kaufmann, Paul Kaufmann - Applications of Evolutionary Computation
A Castillo, A Castillo, Pedro A. Castillo, Pau Kaufmann, Paul Kaufmann Applications of Evolutionary Computation English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Rosario Giustolisi - Modelling and Verification of Secure Exams
Rosario Giustolisi Modelling and Verification of Secure Exams English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Resam Makvandi, Andrea Öchsner, Andreas Öchsner - Finite Elements Using Maxima
Resam Makvandi, Andrea Öchsner, Andreas Öchsner Finite Elements Using Maxima English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands - Principles of Security and Trust
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands Principles of Security and Trust English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Luí Caires, Luís Caires - Programming Languages and Systems
Luí Caires, Luís Caires Programming Languages and Systems English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science English 01.01.2019 Paperback / Softback Fr. 117.00 6-7 weeks