Yazar
Robert Veroff
4 cilt bulundu.
Cilt sonuçları
Data abstraction and problem solving with C++
Frank M. Carrano, Paul Helman, Robert Veroff · Addison-Wesley
864 sayfa · 1995
C++ (Computer program language) / Problem solving / Abstract data types / Abstract data types (Computer science) / C[plus plus]
Data structures and problem solving with Turbo Pascal
Frank M. Carrano, Paul Helman, Robert Veroff · Addison-Wesley
715 sayfa · 1992
Turbo Pascal (Computer file) / Pascal (Computer program language) / Data structures (Computer science) / Databases & data structures / Pascal & Turbo Pascal
Automated reasoning and its applications
Larry Wos, Robert Veroff, Gail W. Pieper · MIT Press
252 sayfa · 1997
Automatic theorem proving / Artificial intelligence
