|
|
|
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher.
by Maher, Michael, 1959- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany). Material type:  Book; Format:
available online
 Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 | Joint International Conference and Symposium on Logic Programming | Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye.
by De Schreye, Danny | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti.
by Bergadano, Francesco, 1963- | Gunetti, Daniele | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis.
by Abelson, Harold [author.] | Sussman, Gerald Jay | Sussman, Julie | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1985Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
The formal semantics of programming languages : an introduction / Glynn Winskel.
by Winskel, G., (Glynn) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd.
by Lloyd, John | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | International Logic Programming Symposium (1995). Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Evolutionary programming IV : proceedings of the Fourth Annual Conference on Evolutionary Programming / edited by John R. McDonnell, Robert G. Reynolds, and David B. Fogel.
by Conference on Evolutionary Programming (4th : 1995 : San Diego, Calif.) | McDonnell, John R. (John Robert), 1962- | Reynolds, Robert G | Fogel, David B | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: Evolutionary programming 4 | Evolutionary programming four.Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Coding places : software practice in a South American city / Yuri Takhteyev.
by Takhteyev, Yuri, 1976- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Project Muse. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2012Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Regulating code : good governance and better regulation in the information age / Ian Brown and Christopher T. Marsden.
by Brown, Ian, Dr [author.] | Marsden, Christopher T | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Speaking code : coding as aesthetic and political expression / text: Geoff Cox ; code: Alex McLean ;, foreword by Franco "Bifo" Berardi.
by Cox, Geoff [author.] | McLean, Alex (Christopher Alex), 1975- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.
by Chlipala, Adam, 1981- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2013]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Processing : a programming handbook for visual designers and artists / Casey Reas, Ben Fry.
by Reas, Casey [author.] | Fry, Ben | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Using advanced MPI : modern features of the Message-Passing-Interface / William Gropp, Torsten Hoefler, Rajeev Thakur, Ewing Lusk.
by Gropp, William [author.] | Hoefler, Torsten | Thakur, Rajeev | Lusk, Ewing | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]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, and Anthony Skjellum.
by Gropp, William [author.] | Lusk, Ewing [author.] | Skjellum, Anthony [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Edition: Third edition.Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Other title: Using Message-Passing-Interface.Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Developer's dilemma : the secret world of videogame creators / Casey O'Donnell.
by O'Donnell, Casey, 1979- [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Spreadsheet implementation technology : basics and extensions / Peter Sestoft.
by Sestoft, Peter [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Coding literacy : how computer programming is changing writing / Annette Vee.
by Vee, Annette [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Using OpenMP - the next step : affinity, accelerators, tasking, and SIMD / Ruud van der Pas, Eric Stotzer, and Christian Terboven.
by Pas, Ruud van der [author.] | Stotzer, Eric [author.] | Terboven, Christian [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Gaming the Iron Curtain : how teenagers and amateurs in communist Czechoslovakia claimed the medium of computer games / Jaroslav �Svelch.
by �Svelch, Jaroslav [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, [2018]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2018]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Value sensitive design : shaping technology with moral imagination / by Batya Friedman and David G. Hendry.
by Friedman, Batya [author.] | Hendry, David, 1962- [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge : MIT Press, 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
|
