Refine your search

Your search returned 541 results.

Sort
Results
21.
Great ideas in computer science : a gentle introduction / Alan W. Biermann. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76 .B495 1990.

22.
Software abstractions : logic, language and analysis / Daniel Jackson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c2006
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.76.D47 J29 2006, ...

23.
Neural computing architectures : The design of brain-like machines / edited by Igor Aleksander. by
Edition: 1st MIT Press ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass.: MIT Press, 1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.5 .N426 1989.

24.
Designing interaction : psychology at the human-computer interface / edited by John M. Carroll. by Series: Cambridge series on human-computer interaction ; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [England] ; New York : Cambridge University Press, 1991
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.H85 D48 1991.

25.
Naturally intelligent systems / Maureen Caudhill and Charles Butler. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass.: MIT Press, c1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.5 .C387 1990.

26.
Software metrics : an analysis and evaluation / Alan Perlis, Frederick Sayward, Mary Shaw, editors. by Series: The MIT press series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass: MIT Press, c1981
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .S633 1981.

27.
Minimalism beyond the Nurnberg funnel / edited by John M. Carroll. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass : MIT Press, 1998
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: T 10.5 .M56 1998.

28.
A commonsense approach to the theory of error correcting codes / Benjamin Arazi. by Series: MIT Press series in computer systems
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.5 .A7 1988.

29.
Introduction to algorithms / Thomas H. Cormen ... [et al.]. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c2001
Other title:
  • Algorithms
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.6 .I5858 2001, ...

30.
Human factors for informatics usability / edited by B. Shackel, S.J. Richardson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c1991
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.H85 H8654 1991.
Tags:

31.
Electronic circuit design : art and practice / T.H. O'Dell. by Series: Electronics texts for engineers and scientists
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [England] ; New York : Cambridge University Press, 1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK7867 .O28 1988.

32.
Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby. by Series: Cambridge series on human-computer interaction ; 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 1990
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.H85 F67 1990.

33.
Theory of recursive functions and effective computability / Hartley Rogers, Jr. by
Edition: 1st MIT Press pbk. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, 1987
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9.615 .R64 1987.

34.
Principles of data mining / David Hand, Heikki Mannila, Padhraic Smyth. by Series: Adaptive computation and machine learning
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, 2001
Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.9.D343 H38 2001, ...

35.
Evolution and the diversity of life : selected essays / Ernst Mayr by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Belknap Press of Harvard University press, 1976
Availability: Items available for loan: Earth Sciences and Engineering Library Collection (2)Call number: QH366.2 .M393, ... Items available for reference: Natural and Mathematical Sciences Library Collection: Not For Loan (1)Call number: QH366.2 .M39 1967. Not available: Education Library Collection: In transit (1).

36.
Synchronization of parallel programs / F. André, D. Herman, and J.-P. Verjus ; translated by J. Howlett. by Series: MIT Press series in scientific computation
Edition: 1st MIT Press ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: engfre
Publication details: Cambridge, Mass : MIT Press, 1985
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .A4913 1985.

37.
Abstraction and specification in program development / Barbara Liskov and John Guttag. by Series: The MIT electrical engineering and computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass.: New York : MIT Press ; McGraw-Hill, c1986
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .L5655 1986.

38.
Systemic text generation as problem solving / Terry Patten. by Series: Studies in natural language processing
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.T48 P38 1988.

39.
A history of English literature / Alastair Fowler by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : Harvard University Press, 1987
Availability: Items available for reference: Humanities and Socal Sciences Library Collection: Not For Loan (1)Call number: PR 83 .F69 1987.

40.
Performance analysis of multiple access protocols / Shuji Tasaka. by Series: MIT Press series in computer systems
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1986
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.5 .T37 1986.

Pages
© The University of Dodoma 2020