Your search returned 10983 results. Subscribe to this search

|
Domain-theoretic foundations of functional programming [electronic resource] / Thomas Streicher.

by Streicher, Thomas, 1958-.

Material type: computer file Computer file; Format: electronic available online remote Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2006Online access: Access to full text is restricted to subscribers. Availability: No items available

Linear algebra and optimization with applications to machine learning. Volume 1, Linear algebra for computer vision, robotics, and machine learning [electronic resource] / Jean Gallier, Jocelyn Qqaintance.

by Gallier, Jean H | Quaintance, Jocelyn.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Publishing Co. Pte. Ltd., c2020Other title: Linear algebra for computer vision, robotics, and machine learning.Online access: Access to full text is restricted to subscribers. Availability: No items available

Requirements modeling and coding [electronic resource] : an object-oriented approach / by Liping Liu.

by Liu, Liping (Computer scientist).

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific, 2020Online access: Access to full text is restricted to subscribers. Availability: No items available

A course in discrete mathematical structures [electronic resource] / L.R. Vermani, Shalini Vermani.

by Vermani, L. R. (Lekh R.) | Vermani, Shalini.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Imperial College Press, [2019], c2012Online access: Access to full text is restricted to subscribers. Availability: No items available

Dynamic vision [electronic resource] : from images to face recognition / Shaogang Gong, Stephen J. McKenna, Alexandra Psarrou.

by Gong, Shaogang | McKenna, Stephen J, 1969- | Psarrou, Alexandra.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore : World Scientific Publishing, [2019]Online access: Access to full text is restricted to subscribers. Availability: No items available

Text, ConText, and HyperText : writing with and for the computer / edited by Edward Barrett.

by Barrett, Edward | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available

Bioinformatics : the machine learning approach / Pierre Baldi, Sren Brunak.

by Baldi, Pierre [author.] | Brunak, Sren | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Edition: 2nd ed.Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2001]Online access: Abstract with links to resource Availability: No items available

Predicting structured data / edited by G�okhan Bak�r [and others].

by BakIr, G�okhan | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Neural Information Processing Systems Foundation.

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, A2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2007]Online access: Abstract with links to resource Availability: No items available

Privacy on the line : the politics of wiretapping and encryption / Whitfield Diffie and Susan Landau.

by Diffie, Whitfield [author.] | Landau, Susan Eva | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Edition: Updated and expanded ed.Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts ; MIT Press, 2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available

Evolutionary computation : a unified approach / Kenneth A. De Jong.

by De Jong, Kenneth A [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 2006Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2006]Online access: Abstract with links to resource Availability: No items available

Artificial experts : social knowledge and intelligent machines / H.M. Collins.

by Collins, H. M. (Harry M.), 1943- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1990Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1992]Online access: Abstract with links to resource Availability: No items available

Using OpenMP : portable shared memory parallel programming / Barbara Chapman, Gabriele Jost, Ruud van der Pas.

by Chapman, Barbara, 1954- | Jost, Gabriele | Pas, Ruud van der | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2007]Online access: Abstract with links to resource Availability: No items available

Large-scale kernel machines / [edited by] L�eon Bottou ... [et al.].

by Bottou, L�eon | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2007]Online access: Abstract with links to resource Availability: No items available

Connectionist symbol processing / edited by G.E. Hinton.

by Hinton, Geoffrey E | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Edition: 1st MIT Press ed.Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available

New directions in statistical signal processing : from systems to brain / edited by Simon Haykin ... [et al.].

by Haykin, Simon S, 1931- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2006]Online access: Abstract with links to resource Availability: No items available

Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum.

by Gropp, William [author.] | Lusk, Ewing | Skjellum, Anthony | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Edition: 2nd ed.Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available

Imitation of life : how biology is inspiring computing / Nancy Forbes.

by Forbes, Nancy [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2005]Online access: Abstract with links to resource Availability: No items available

Functional programming for loosely-coupled multiprocessors / Paul Kelly.

by Kelly, Paul (Paul H. J.) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 1989Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1989]Online access: Abstract with links to resource Availability: No items available

Algorithmic program debugging / Ehud Y. Shapiro.

by Shapiro, Ehud Y [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1983Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Thesis (Ph.D.)--Yale University, 1982. Online access: Abstract with links to resource Availability: No items available

Advances in neural information processing systems 19 : proceedings of the 2006 conference / edited by Bernhard Sch�olkopf, John C. Platt, and Thomas Hofmann.

by Conference on Neural Information Processing Systems (20th : 2006 : Vancouver, B.C.) | Hofmann, Thomas | Platt, John | Sch�olkopf, Bernhard | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts ; MIT, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2007]Online access: Abstract with links to resource Availability: No items available