A primer in Petri net design / Wolfgang Reisig
W'PONDS
1992
005.12092 Stallm Wil/Fai : Free as in freedom : Richard Stallman's crusade for free software / Sam Williams
Free as in freedom : Richard Stallman's crusade for free software / Sam Williams
W'PONDS
2002
005.13 Acm/Ppl 1998 : Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, 19-21 January 1998 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, 19-21 January 1998 / sponsored
W'PONDS
1998
005.13 All/Nlu : Natural language understanding / James Allen
Natural language understanding / James Allen
W'PONDS
1987
005.13 Ber/Hop : History of programming languages II / edited by Thomas J. Bergin, Jr. and Richard G. Gibson, Jr
History of programming languages II / edited by Thomas J. Bergin, Jr. and Richard G. Gibson, Jr
W'PONDS
1996
005.13 Col/Rap : Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard
Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard
W'PONDS
2003
005.13 Cra/Oop : Object-oriented programming languages : interpretation / Iain D. Craig
Object-oriented programming languages : interpretation / Iain D. Craig
MELB
2007
005.13 Fis/Aop : The anatomy of programming languages / Alice E. Fischer, Frances S. Grodzinsky
The anatomy of programming languages / Alice E. Fischer, Frances S. Grodzinsky
W'PONDS
1993
005.13 Fri/Eop 2008 : Essentials of programming languages / Daniel P. Friedman, Mitchell Wand
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand
MELB
2008
005.13 Hol/Fgs : Fourth-generation systems : their scope, applications and methods of evaluation / edited by Simon Holloway
Fourth-generation systems : their scope, applications and methods of evaluation / edited by Simon Holloway
W'PONDS
1990
005.13 Logo Eva/Lpa : Logo programming as professional development / Peter Evans
Logo programming as professional development / Peter Evans
WATERFT ADPML
1990
005.13 Mac/Pop 1999 : Principles of programming languages : design, evaluation, and implementation / Bruce J. MacLennan
Principles of programming languages : design, evaluation, and implementation / Bruce J. MacLennan
W'PONDS
1999
005.13 Pag : Formal specification of programming languages : a panoramic primer / Frank G. Pagan
Formal specification of programming languages : a panoramic primer / Frank G. Pagan
W'PONDS
1981
005.13 Pie/Ati : Advanced topics in types and programming languages / Benjamin C. Pierce, editor
Advanced topics in types and programming languages / Benjamin C. Pierce, editor
W'PONDS
Concepts of programming languages / Robert Sebesta
W'PONDS
2005
005.13 Set/Plc : Programming languages : concepts and constructs / Ravi Sethi
Programming languages : concepts and constructs / Ravi Sethi
W'PONDS
1989
005.13 Spe/Htd : How to document your software / by Barbara Spear
How to document your software / by Barbara Spear
W'PONDS
1984
005.13 Tea/Cob : A comparison of BASIC and LOGO as a first programming language for lower secondary students / by G. Joy Teague
A comparison of BASIC and LOGO as a first programming language for lower secondary students / by G. Joy Teague
W'PONDS THESES
1988
005.13 Tuc/Plp : Programming languages : principles and paradigms / Allen Tucker, Robert Noonan
Programming languages : principles and paradigms / Allen Tucker, Robert Noonan
MELB
2002
005.13 Tur/Dci : Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon
Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon
W'PONDS
2008
005.13 Tur/Ral : REDDL : a language for rapid development of document editor applications / by Matthew S. Turner
REDDL : a language for rapid development of document editor applications / by Matthew S. Turner
W'PONDS THESES
2008
005.13 Wil/Cpl 1993 : Comparative programming languages / Leslie B. Wilson, Robert G. Clark
Comparative programming languages / Leslie B. Wilson, Robert G. Clark
MELB
1993
005.13 Woo/Plc : Programming language choice : practice and experience / edited by Mark Woodman
Programming language choice : practice and experience / edited by Mark Woodman
W'PONDS
1996
005.1307 F2 Wie : Some determinants of skilled performance in programming / Susan Marie Wiedenbeck
Some determinants of skilled performance in programming / Susan Marie Wiedenbeck
W'PONDS
1984
005.13076 Hog/Efp : Exercises for programmers : 57 challenges to develop your coding skills / Brian P. Hogan
Exercises for programmers : 57 challenges to develop your coding skills / Brian P. Hogan
MELB
2015
005.131 Ico/Rta 2006 : Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.)
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.)
W'PONDS
2006
005.131 Jon/Cac : Computability and complexity : from a programming perspective / Neil D. Jones
Computability and complexity : from a programming perspective / Neil D. Jones
W'PONDS
1997
005.131 Kro : Temporal logic of programs / Fred Kröger
Temporal logic of programs / Fred Kröger
W'PONDS
1987
005.131 Llo : Foundations of logic programming / J.W. Lloyd
Foundations of logic programming / J.W. Lloyd
W'PONDS
1987
005.131 Mit/Ffp : Foundations for programming languages / John C. Mitchell
Foundations for programming languages / John C. Mitchell
W'PONDS
1996
005.131 Mon/Ufm : Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey
Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey
W'PONDS
2003
005.131 Nie/Swa : Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson
MELB
Formal specification : techniques and applications / Nismal Nissanke
W'PONDS
1999
005.133 A1 Ann/Pot 1990 : Proceedings of the annual National Conference of Ada Technology (8th) held in Atlanta, Georgia, on March 5th-8th, 1990 [microfiche] / sponsored by Ancost, Inc
Proceedings of the annual National Conference of Ada Technology (8th) held in Atlanta, Georgia, on March 5th-8th, 1990 [microfiche] / sponsored by Ancost, Inc
W'PONDS