Title: Learning OpenCV: Computer Vision with the OpenCV Library, Author: Gary Bradski
Title: Clojure High Performance Programming - Second Edition, Author: Shantanu Kumar
Title: Azure Arc-Enabled Data Services Revealed: Early First Edition Based on Public Preview, Author: Ben Weissman
Title: SAT 2005: Satisfiability Research in the Year 2005, Author: Enrico Giunchiglia
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, Author: Yves Bertot
Title: Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, Author: Stephanie Weirich
Title: Linguagens de interação, Author: Willians Tavares
Title: Mastering Racket Programming: From Basics to Expert Proficiency, Author: William Smith
Title: Minimax and Applications, Author: Ding-Zhu Du
Title: Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung, Author: Christian Wagenknecht
Title: Fortgeschrittene Programmiertechniken in Turbo Pascal, Author: Ekbert Hering
Title: ALGORITHMICS OF MATCHING UNDER PREFERENC, Author: David Manlove
Title: Programming in C++: Object Oriented Features, Author: Laxmisha Rai
Title: On Sets and Graphs: Perspectives on Logic and Combinatorics, Author: Eugenio G. Omodeo
Title: Python for Machine Learning: From Fundamentals to Real-World Applications, Author: Kameron Hussain
Title: Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings, Author: Ralf Klasing
Title: Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming, Author: Robert Johnson
Title: Learn Python in One Hour: Programming by Example, 2nd Edition, Author: Victor R. Volkman
Title: Mastering Python Programming: A Comprehensive Guide, Author: Christopher Ford
Title: The Linear Ordering Problem: Exact and Heuristic Methods in Combinatorial Optimization, Author: Rafael Martí

Pagination Links