QA 76.6 A9 : Concurrent programming : fundamental techniques for real-time and parallel software design.; BJL
Concurrent programming : fundamental techniques for real-time and parallel software design.
BJL
BOOK
1989
QA 76.6 B1
Functional programming with HOPE.
BJL
BOOK
1990
Mathematical theory of program correctness ...
BJL
BOOK
1980
QA 76.6 B4
More programming pearls : confessions of a coder.
BJL
BOOK
1988
Principles of concurrent and distributed programming.
BJL
BOOK
1990
QA 76.6 B5 : LabVIEW : programming, data acquisition and analysis.; BJL
LabVIEW : programming, data acquisition and analysis.
BJL
BOOK
2001
QA 76.6 B6
Introduction to functional programming.
BJL
BOOK
1988
Introduction to functional programming using Haskell.
BJL
BOOK
1998
LabVIEW advanced programming techniques / Rick Bitter, Taqi Mohiuddin, Matt Nawrocki.
BJL
BOOK
2000
QA 76.6 B8
Algorithm animation.
BJL
BOOK
1988
Introduction to parallel programming.
BJL
BOOK
1989
QA 76.6 C4 : Parallel program design : a foundation / K. Mani Chandy, Jayadev Misra.; BJL
Parallel program design : a foundation / K. Mani Chandy, Jayadev Misra.
BJL
BOOK
1988
QA 76.6 C6
Cognitive models and intelligent environments for learning programming / edited by E. Lemut, B. Du Bo
BJL
BOOK
1993
Reasoning about parallel architectures.
BJL
BOOK
1992
QA 76.6 C7
Compiler compilers / edited by D. Hammer.
BJL
BOOK
1990
Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988
BJL
BOOK
1989
CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, August 27-30, 1990 / edi
BJL
BOOK
1990
Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 19
BJL
BOOK
1991
Constraint programming / edited by B. Mayoh, E. Tyugu, J. Penjam.
BJL
BOOK
1994
QA 76.6 C8
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest.
BJL
BOOK
1990
Introduction to algorithms / Thomas H. Cormen ... [et al.].
BJL
BOOK
c2009
Parallel algorithms and architectures / M. Cosnard, D. Trystram.
BJL
BOOK
1995
QA 76.6 D1 : Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare.; BJL
Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare.
BJL
BOOK
1972
QA 76.6 D2
Specification and proof in real-time CSP.
BJL
BOOK
1993
Truth, deduction, and computation : logic and semantics for computer science.
BJL
BOOK
1989
QA 76.6 D47 G9 : Guidelines for screen design / edited by Christopher Rivlin, Robert Lewis, Rachel Davies-Cooper.; BJL
Guidelines for screen design / edited by Christopher Rivlin, Robert Lewis, Rachel Davies-Cooper.
BJL
BOOK
1990
QA76.6 .D483 2017 : Programming for the puzzled : learn to program while solving puzzles / Srini Devadas.; Online materials
Programming for the puzzled : learn to program while solving puzzles / Srini Devadas.
Online materials
EBOOKS
2017
QA76.6 .D485 : Programming for the puzzled : learn to program while solving puzzles / Srini Devadas.; BJL
Programming for the puzzled : learn to program while solving puzzles / Srini Devadas.
BJL
BOOK
2017
QA 76.6 D7
Doing hard time : developing real-time systems with UML, objects, frameworks, and patterns.
BJL
BOOK
1999
Real-time UML : developing efficient objects for embedded systems.
BJL
BOOK
1998
QA 76.6 E4 : Data abstraction and program design.; BJL
Data abstraction and program design.
BJL
BOOK
1991
QA 76.6 E9 : Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / edited by P. Schroeder-Heister.; BJL
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : procee
BJL
BOOK
1989
QA 76.6 F3 : Formal methods for concurrency.; BJL
Formal methods for concurrency.
BJL
BOOK
1995
QA 76.6 F4 : Functional programming / A.J. Field, P.G. Harrison.; BJL
Functional programming / A.J. Field, P.G. Harrison.
BJL
BOOK
1988
QA 76.6 F5 : The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation.; BJL
The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and a
BJL
BOOK
1998
QA 76.6 F7 : Formal description of programming concepts / edited by Erich J. Neuhold, Manfred Paul.; BJL
Formal description of programming concepts / edited by Erich J. Neuhold, Manfred Paul.
BJL
BOOK
1991
QA 76.6 G1 : The art of programming embedded systems.; BJL
The art of programming embedded systems.
BJL
BOOK
1992
QA 76.6 G5 : Principles of functional programming / H. Glaser, C. Hankin and D. Till.; BJL
Principles of functional programming / H. Glaser, C. Hankin and D. Till.
BJL
BOOK
1984
QA 76.6 H1 / q : Microprocessors and interfacing : programming and hardware.; BJL
Microprocessors and interfacing : programming and hardware.
BJL
BOOK
1990
QA 76.6 H6 : Parallel computers 2 : architecture, programming and algorithms / R.W. Hockney, C.R. Jesshope.; BJL
Parallel computers 2 : architecture, programming and algorithms / R.W. Hockney, C.R. Jesshope.
BJL
BOOK
1988
QA 76.6 H9 : The pragmatic programmer : from journeyman to master / Andrew Hunt, David Thomas.; BJL
The pragmatic programmer : from journeyman to master / Andrew Hunt, David Thomas.
BJL
BOOK
1999
QA 76.6 I5 : Guidelines for the documentation of computer software for real time and interactive systems.; Departmental Locations
Guidelines for the documentation of computer software for real time and interactive systems.
Departmental Locations
BOOK
QA 76.6 K1 : Programming : the derivation of algorithms.; BJL
Programming : the derivation of algorithms.
BJL
BOOK
1990
QA 76.6 K3 : The practice of programming / Brian W. Kernighan, Rob Pike.; BJL
The practice of programming / Brian W. Kernighan, Rob Pike.
BJL
BOOK
1999
QA 76.6 K7 : Selected papers on computer science.; BJL
Selected papers on computer science.
BJL
BOOK
1996
QA 76.6 K8 : Genetic programming : on the programming of computers by means of natural selection.; BJL
Genetic programming : on the programming of computers by means of natural selection.
BJL
BOOK
c1992
QA 76.6 L6 : The art of parallel programming.; BJL
The art of parallel programming.
BJL
BOOK
1993
QA 76.6 L7 : Foundations of logic programming.; BJL
Foundations of logic programming.
BJL
BOOK
1987
QA 76.6 M1 : Functional programming : practice and theory.; BJL
Functional programming : practice and theory.
BJL
BOOK
1990
QA 76.6 M4
Mathematical foundations of programming semantics : 5th International Conference, Tulane University,
BJL
BOOK
1990
Mathematics of program construction 375th aniversary of the Groningen University International Confer
BJL
BOOK
1989
QA 76.6 .M6
Concepts in programming language.
BJL
BOOK
2003
Parallel algorithms for regular architectures : meshes and pyramids / Russ Miller, Quentin F. Stout.
BJL
BOOK
1996
QA 76.6 M7 : CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / Ugo Montanari, Vladimiro Sassone (eds.).; BJL
CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : pro
BJL
BOOK
1996
QA 76.6 M8 : Programming from specifications.; BJL
Programming from specifications.
BJL
BOOK
1990
QA 76.6 M9 : Automatic program debugging for intelligent tutoring systems.; BJL
Automatic program debugging for intelligent tutoring systems.
BJL
BOOK
1988
QA 76.6 N6 : Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin.; BJL
Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin.
BJL
BOOK
c2005
QA 76.6 O4 : Programming classics : implementing the world's best algorithms.; BJL
Programming classics : implementing the world's best algorithms.
BJL
BOOK
1993
QA 76.6 O8 : Guide to parallel programming : on sequent computer systems.; BJL
Guide to parallel programming : on sequent computer systems.
BJL
BOOK
1989
QA 76.6 P2
PARLE '89 : parallel architectures and languages Europe : Eindhoven, The Netherlands, June 12-16, 198
BJL
BOOK
1989
PARLE '89 : parallel architectures and languages Europe Volume 1 : parallel architectures Eindhoven,
BJL
BOOK
1989
PARLE '91 : parallel architectures and languages Europe : Eindhoven, The Netherlands, June 10-13, 199
BJL
BOOK
1991
PARLE '91 : parallel architectures and languages Europe : Eindhoven, The Netherlands, June 10-13, 199
BJL
BOOK
1991
QA 76.6 P4 : Parallel programming.; BJL
Parallel programming.
BJL
BOOK
1987
QA 76.6 P5 : Code.; BJL
Code.
BJL
BOOK
2000
QA 76.6 P6 : The art of compiler design : theory and practice / Thomas Pittman, James F. Peter.; BJL
The art of compiler design : theory and practice / Thomas Pittman, James F. Peter.
BJL
BOOK
1992
QA 76.6 P9
Problems in programming : experience through practice / by A. Vitek ... [et al.].
BJL
BOOK
1991
Programming and mathematical method / edited by M. Broy.
BJL
BOOK
1992
Software engineering : a practitioner's approach / Roger S. Pressman.
BJL
BOOK
2005
Software engineering : a practitioner's approach / Roger S. Pressman.
BJL
BOOK
2010
Software engineering : a practitioner's approach.
BJL
BOOK
2015
QA 76.6 R4 : Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / edited by Ronald V. Book.; BJL
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-1
BJL
BOOK
1991
QA76.6 .R4138 2007 : Processing : a programming handbook for visual designers and artists / Casey Reas, Ben Fry.; BJL
Processing : a programming handbook for visual designers and artists / Casey Reas, Ben Fry.
BJL
BOOK
c2007
