Results
|
|
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest Publication: Cambridge, US : The MIT Press, cop. 1990Description: XVII, 1027 p. :
il. ;
26 cmAvailability: Items available for loan: Call number: QA76.6.COR FCT 19812 (1).
|
|
|
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren Publication: Cambridge, US : The MIT Press, cop. 1986Description: XXIII, 437 p. ;
24 cmAvailability: Items available for loan: Call number: QA76.73.STE FCT 21239 (1).
|
|
|
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren Publication: Cambridge, US : The MIT Press, cop. 1986Description: XXIII, 437 p. ;
24 cmAvailability: Items available for loan: Call number: QA76.73.STE FCT 21240 (1).
|
|
|
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren Publication: Cambridge, US : The MIT Press, cop. 1986Description: XXIII, 437 p. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.73.STE FCT 21241 (1). :
|
|
|
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren Publication: Cambridge, US : The MIT Press, cop. 1986Description: XXIII, 437 p. ;
24 cmAvailability: Items available for loan: Call number: QA76.73.STE FCT 21242 (1).
|
|
|
The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren Publication: Cambridge, US : The MIT Press, cop. 1986Description: XXIII, 437 p. ;
24 cmAvailability: Items available for loan: Call number: QA76.73.STE FCT 21243 (1).
|
|
|
Principles of operating systems / Sacha Krakowiak ; trad. David Beeson Publication: Cambridge, US : The MIT Press, cop. 1988Description: X, 469 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.76.KRA FCT 21464 (1).
|
|
|
Principles of operating systems / Sacha Krakowiak ; trad. David Beeson Publication: Cambridge, US : The MIT Press, cop. 1988Description: X, 469 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.76.KRA FCT 21465 (1).
|
|
|
Financial modeling [Documento electrónico] / Simon Benninga Publication: Cambridge, US : The MIT Press, cop. 1998Description: 1 disquete ;
10 cmAvailability: Items available for loan: Call number: HG173.BEN FCT 45993 (2).
|
|
|
The modularity of mind / Jerry A. Fodor Publication: London : The MIT Press, 1984Description: 145 p. :
il. ;
21 cmAvailability: Items available for loan: Call number: BF311.FOD FCT 12481 (1).
|
|
|
|
|
|
Industrial dynamics / Jay W. Forrester Publication: Cambridge : The Mit press, cop. 1972Description: 464 p. :
il. ;
26 cmAvailability: Items available for loan: Call number: HD30.FOR FCT 18044 (1).
|
|
|
Abcl : an object-oriented concurrent system / Akinori Yonezawa Publication: London : MIT Press, cop. 1990Description: XII, 329 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA76.6.YON FCT 18787 (1).
|
|
|
Algorithm animation / Marc H. Brown Publication: Cambridge, US : MIT Press, cop. 1988Description: 186 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QA76.6.BRO FCT 15855 (1).
|
|
|
Technology in world civilization : a thousand-year history / Arnold Pacey Publication: Cambridge, US : The MIT Press, cop. 1990Description: XI, 238 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: T15.PAC FCT 52664 (1).
|
|
|
Solving geometric constraint systems : a case study in kinematics / Glenn A. Kramer Publication: Cambridge, US : The MIT Press, cop. 1992Description: XVIII, 277 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: TJ175.KRA FCT 20436 (1).
|
|
|
|
|
|
The art of the metaobject protocol / Gregor Kiczales, Jim Des Rivières, Daniel G. Bobrow Publication: Cambridge, US : The MIT Press, cop. 1991Description: VIII, 335 p. ;
23 cmAvailability: Items available for loan: Call number: QA76.73.KIC FCT 20490 (1).
|
|
|
|
|
|
Constraint-based grammar formalisms : parsig and type inference for natural and computer languages / Stuart M. Shieber Publication: Cambridge, US : The MIT Press, cop. 1992Description: XI, 183 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: P98.SHI FCT 22113 (1).
|