Hoppa till sidans huvudinnehåll

Visar resultat för...

Handbook of Logic in Computer Science

9 produkter

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

AvS. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,Professor of Computing Science) Abramsky, S. (Professor of Computing Science,Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science,University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, all at the Imperial College of Science, Technology, and Medicine

Inbunden, Engelska, 1992

7 979 kr

Skickas inom 7-10 vardagar

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

AvThomas S. E. Maibaum,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,Reader in Computing Science) Abramsky, S. (Reader in Computing Science,Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science,University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine,Samson Abramsky,D. M. Gabbay

Inbunden, Engelska, 1992

7 789 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

AvAbramsky,Gabbay,Maibaum,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine,University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine,University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

Inbunden, Engelska, 1995

7 069 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

AvSamson Abramsky,T. S. Maibaum,Dov M. Gabbay,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine,University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine,University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

Inbunden, Engelska, 1995

7 069 kr

Skickas inom 5-8 vardagar

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

AvSamson Abramsky,Dov M. Gabbay,T. S. Maibaum,S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum,Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science,King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science,Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science

Inbunden, Engelska, 2001

7 789 kr

Skickas inom 5-8 vardagar

Handbook of Computational Intelligence in Biomedical Engineering and Healthcare

AvJanmenjoy Nayak,Bighnaraj Naik,Danilo Pelusi,Asit Kumar Das,India) Nayak, Janmenjoy (Associate Professor, Department of Computer Science and Engineering, Aditya Institute of Technology and Management,India) Naik, Bighnaraj (Assistant Professor, Department of Computer Application, Veer Surrendra Sai University of Technology, Burla,Italy) Pelusi, Danilo (Associate Professor, Faculty of Communication Sciences, University of Teramo, Teramo,India) Das, Asit Kumar (Indian Institute of Engineering Science and Technology, Shibpur

Häftad, Engelska, 2021

2 069 kr

Skickas inom 7-10 vardagar

Del 137 - Studies in Logic and the Foundations of Mathematics

Handbook of Proof Theory

AvSamuel R. Buss,S. R. Buss,S.R. Buss,USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA,S. R. Buss

Inbunden, Engelska, 1998

2 079 kr

Skickas inom 7-10 vardagar

Handbook of Weighted Automata

AvManfred Droste,Werner Kuich,Heiko Vogler

Inbunden, Engelska, 2009

3 149 kr

Skickas inom 10-15 vardagar

Handbook of Weighted Automata

AvManfred Droste,Werner Kuich,Heiko Vogler

Häftad, Engelska, 2012

2 739 kr

Skickas inom 5-8 vardagar