Limit Search Results
Author
SpringerLink (Online service)
(125)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Badger, Julia M. editor.
(2)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(127)
Software engineering.
(81)
Computer logic.
(58)
Computer programming.
(38)
Artificial intelligence.
(26)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
153 Results Found Subscribe to search results
000000000DEFAULT
Print
145. 
Cover image for Internet and Wireless Security
Internet and Wireless Security
Author 
Temple, Robert, ed. Regnault, John, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBBT004E
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Foundations of object-oriented languages types and semantics
Foundations of object-oriented languages types and semantics
Author 
Bruce, Kim B.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Types and programming languages
Types and programming languages
Author 
Pierce, Benjamin C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Author 
Buchanan, William.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780340700143
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Author 
Shieber, Stuart M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for The computer comes of age the people, the hardware, and the software
The computer comes of age the people, the hardware, and the software
Author 
Moreau, René.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
Author 
Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action