1.
Generating language-based environments / Thomas W. Reps.
by Reps, Thomas W., (Thomas William) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1984Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Originally presented as the author's thesis (Ph. D.)--Cornell University, 1983. Online access: Abstract with links to resource Availability: No items available
2.
Types and programming languages / Benjamin C. Pierce.
by Pierce, Benjamin C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2002Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2002]Online access: Abstract with links to resource Availability: No items available
3.
The computer comes of age : the people, the hardware, and the software / R. Moreau ; translated by J. Howlett.
by Moreau, Ren�e [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1984Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1986]Other title: Ainsi naquit l'informatique..Online access: Abstract with links to resource Availability: No items available
4.
Coding literacy : how computer programming is changing writing / Annette Vee.
by Vee, Annette [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; 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
5.
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: ; 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
6.
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: ; 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
7.
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: ; 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
8.
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.
by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
9.
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / Stuart M. Shieber.
by Shieber, Stuart M [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] .
Material type: ; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1992Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
10.
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen.
by Kelly, Steven | Tolvanen, Juha-Pekka | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Material type: ; Format:
available online
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
11.
An introduction to TTCN-3 / Colin Willcock ... [et al.].
by Willcock, Colin | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Edition: 2nd ed.Material type: ; Format:
available online
Publisher: Chichester ; Wiley, 2011Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2011]Online access: Abstract with links to resource Availability: No items available
