Liknande böcker

Energy Minimization Methods in Computer Vision and Pattern Recognition :...
Bok av Anand Rangarajan
Theoretical Computer Science
Bok
CONCUR 2000 - Concurrency Theory : 11th International Conference, Univer...
Bok av Catuscia Palamidessi
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, AS...
Bok av Omar Jaradat
Evolutionary Computation in Combinatorial Optimization : 17th European C...
Bok av Bin Hu
Computational Intelligence Methods for Bioinformatics and Biostatistics...
Bok av Elia. Biganzoli
Global Trends in Intelligent Computing Research and Development
Bok av B K Tripathy
Artificial Life and Computational Intelligence : First Australasian Conf...
Bok av Stephan K. Chalup

Fundamental proof methods in computer science - a computer-based approach

Bok av Konstantine Arkoudas