Catálogo bibliográfico FCT/UNL

Your search returned 644 results.

Sort
Results
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. RivestPublication: 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).
Lists:

The art of PROLOG : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. WarrenPublication: 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. WarrenPublication: 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. WarrenPublication: 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. WarrenPublication: 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. WarrenPublication: 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 BeesonPublication: 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 BeesonPublication: 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 BenningaPublication: 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. FodorPublication: London : The MIT Press, 1984Description: 145 p. : il. ; 21 cmAvailability: Items available for loan: Call number: BF311.FOD FCT 12481 (1).

Cybernetics or control and communication in the animal and the machine / Norbert WienerPublication: Cambridge : The MIT Press, cop. 1961Description: XVI, 212 p. ; 20 cmAvailability: Items available for loan: Call number: FCT/INF98 FCT 98 (1).

Industrial dynamics / Jay W. ForresterPublication: Cambridge : The Mit press, cop. 1972Description: 464 p. : il. ; 26 cmAvailability: Items available for loan: Call number: HD30.FOR FCT 18044 (1).

Technology in world civilization : a thousand-year history / Arnold PaceyPublication: 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. KramerPublication: Cambridge, US : The MIT Press, cop. 1992Description: XVIII, 277 p. : il. ; 24 cmAvailability: Items available for loan: Call number: TJ175.KRA FCT 20436 (1).

Probabilistic similarity networks / David E. HeckermanPublication: Cambridge, US : The MIT Press, cop. 1991Description: XX, 234 p. : il. ; 24 cmAvailability: Items available for loan: Call number: R859.7.HEC FCT 20487 (1).

The art of the metaobject protocol / Gregor Kiczales, Jim Des Rivières, Daniel G. BobrowPublication: Cambridge, US : The MIT Press, cop. 1991Description: VIII, 335 p. ; 23 cmAvailability: Items available for loan: Call number: QA76.73.KIC FCT 20490 (1).

The formal semantics of programming languages : an introduction / Glynn WinskelPublication: Cambridge, US : The MIT Press, cop. 1993Description: XVIII, 361 p. : il. ; 23 cmAvailability: Items available for loan: Call number: QA76.7.WIN FCT 22112 (1).

Constraint-based grammar formalisms : parsig and type inference for natural and computer languages / Stuart M. ShieberPublication: Cambridge, US : The MIT Press, cop. 1992Description: XI, 183 p. : il. ; 24 cmAvailability: Items available for loan: Call number: P98.SHI FCT 22113 (1).

Innovative applications of artificial intelligence 4 : proceedings of the IAAI-92 conference / A. Carlisle Scott, Phillip Klahr, ed. lit.Publication: Menlo Park, US : AAAI Press, The MIT Press, cop. 1992Description: X, 336 p. : il. ; 23 cmAvailability: Items available for loan: Call number: Q334.INN FCT 22114 (1).

Concurrent constraint programming / Vijay A. SaraswatPublication: Cambridge, US : The MIT Press, cop. 1993Description: XL, 486 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.642.SAR FCT 22115 (1).

Pages
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca