Search Result

Your search for 92 returns 4555 document(s)

An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71

Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS

Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51

Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS

29th annul symposium on foundations of computer science: (formerly called the annual symposium on switching and automata theory) October 24-26, 1988

Call Number: SEM-050 | Type: Prosiding Seminar

Proceedings of the first annual ACM-SIAM symposium on discrete algorithms

Call Number: SEM-060 | Type: Prosiding Seminar

Signal processing: theories and apllications/ edited by M. Kunt

Author: Kunt, M; | Call Number: 621.380 43 Kun s | Type: Buku

Changes in health care instrumentation due to microprocessor technology

Call Number: 610.28 Pin c | Type: Buku Pusat

Readings in medical artificial intelligence: the first decade

Call Number: 610.285 4 Rea | Type: Buku Pusat

Computers : Application industry and management

Author: Goudas, C.L.; | Call Number: 658.054 Gau c | Type: Buku Pusat

Map data processing/ Herbert Freeman; Goffredo G. Pieroni

Author: Freeman, Herbert; | Call Number: 526 Map | Type: Buku

Languages and architectures for image processing/edited by M.J.B. Duff; and S. Levialdi

Call Number: 621.367 Lan | Type: Buku

Prev 16 17 18 19 20 21 22 23 24 25 Next