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
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 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 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
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