Catálogo bibliográfico FCT/UNL

Your search returned 11379 results.

Sort
Results
Experimental software engineering issues : critical assessment and future directions / H. Dieter Rombach, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XVIII, 261 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 23280 (1).

Software engineering-ESEC'93 : proceedings of the european software engineering conference, held at Garmisch-Partenkirchen, Germany, September 13-17, 1993 / Ian Sommerville, Manfred Paul, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XII, 516 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 23281 (1).

Nonmonotonic logic : context-dependent reasoning / V. Wiktor Marek, Miroslaw TruszczynskiPublication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XII, 417 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q335.MAR FCT 23469 (1).

Applied Bayesian and classical inference : the case of the federalist papers / Frederick Mosteller, David L. WallacePublication: New York : Springer-Verlag, cop. 1984Description: XXXVII, 303 p. : il. ; 24 cmAvailability: Items available for loan: Call number: JK155.MOS FCT 23475 (1).

Conceptual structures : theory and implementation / Heather D. Pfeiffer, Timothy E. Nagle, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: IX, 327 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 23476 (1).

New directions for intelligent tutoring systems : proceedings of the NATO advanced research workshop on new directions for intelligent tutoring systems, held in Sintra, Portugal, 6-10 October, 1990 / Ernesto Costa, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: X, 296 p. : il. ; 25 cmAvailability: Items available for loan: Call number: Q335.NEW FCT 23477 (1).

Computational models of learning / Leonard Bolc, ed. lit.Publication: Berlin [etc.] : Springer-Verlag, cop. 1987Description: VII, 208 p. : il. ; 25 cmAvailability: Items available for loan: Call number: Q325.COM FCT 23614 (1).

Search in artificial intelligence / Laveen Kanal, Vipin Kumar, ed. lit.Publication: New York : Springer-Verlag, cop. 1988Description: X, 482 p. : il. ; 24 cmAvailability: Items available for loan: Call number: Q336.SEA FCT 23616 (1).

A concrete introduction to higher algebra / Lindsay ChildsPublication: New York : Springer-Verlag, cop. 1979Description: XIV, 340 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA155.CHI FCT 23771 (1).

Linear algebra through geometry / Thomas Banchoff, John WermerPublication: New York : Springer-Verlag, cop. 1992Description: XII, 305 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA184.BAN FCT 23770 (1).

Linear algebra / Serge LangPublication: New York : Springer-Verlag, cop. 1987Description: IX, 285 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA251.LAN FCT 23848 (1).

Introduction to linear algebra / Serge LangPublication: New York : Springer-Verlag, cop. 1986Description: VIII, 293 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA184.LAN FCT 23847 (1).

Riemannian geometry / Sylvestre Gallot, Dominique Hulin, Jacques LafontainePublication: New York : Springer-Verlag, cop. 1990Description: XIII, 284 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA685.GAL FCT 24024 (1).

Lie groups and algebras with applications to physics, geometry and mechanics / D. H. Sattinger, O. L. WeaverPublication: New York : Springer-Verlag, cop. 1986Description: IX, 215 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA387.SAT FCT 24206 (1).

Prototyping-oriented software development / Walter R. Bischofberger, Gustav PombergerPublication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XI, 215 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.76.BIS FCT 23501 (1).

Expert system applications / Leonard Bolc, Michael J. Coombs, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1988Description: VII, 471 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA76.76.EXP FCT 23615 (1).

Computer animation'90 : conference held in April 25-27, 1990, Geneva, Switzerland / Nadia Magnenat-Thalmann, Daniel Thalmann, ed. lit.Publication: Tokyo : Springer-Verlag, cop. 1990Description: VIII, 242 p. : il. ; 25 cmAvailability: Items available for loan: Call number: TR897.5.COM FCT 23631 (1).

Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 : proceedings / Fred Long, ed. lit.Publication: Berlin [etc.] : Springer-Verlag, cop. 1990Description: VI, 313 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 23642 (1).

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