Refine your search

Your search returned 218 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.
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.

25.
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.

26.
Problems for computer solutions using FORTRAN / by Henry M. Walker. by Series: Winthrop computer systems series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : Winthrop Publishers, c1980
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA43 .W34 1980.

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.
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.

31.
Wetlands : a threatened landscape / edited by Michael Williams. by Series: Special publications series (Institute of British Geographers) ; 25.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford, UK ; Cambridge, Mass., USA : B. Blackwell, 1991
Availability: Items available for loan: Earth Sciences and Engineering Library Collection (1)Call number: QH87.3 .W47 1990.

32.
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, ...

33.
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.

34.
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.

35.
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.

36.
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.

37.
Queueing networks--exact computational algorithms : a unified theory based on decomposition and aggregation / Adrian E. Conway and Nicolas D. Georganas. by Series: Computer systems (Cambridge, Mass.)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.5 .C668 1989.

38.
Qualitative reasoning about physical systems / edited by Daniel G. Bobrow. by Series: Computational models of cognition and perception
Edition: 1st MIT Press ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, 1985, c1984
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: Q335.5 .Q35 1985.

39.
Effective documentation : what we have learned from research / edited by Stephen Doheny-Farina. by Series: The MIT Press series in information systems
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1988
Availability: Items available for loan: Earth Sciences and Engineering Library Collection (1)Call number: T10.5 .E34 1988.

40.
Ontic : a knowledge representation system for mathematics / David A. McAllester. by Series: Artificial intelligence (Cambridge, Mass.)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1989
Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.A96 M37 1989.

Pages
© The University of Dodoma 2020