Other relevant titles

1999

The Anglo-American media connection

Tunstall, Jeremy.

New York : Oxford University Press, 1999

Request It 

1999

Haskell : the craft of functional programming

Thompson, Simon.
Second edition
Harlow, Eng. ; Reading, Mass. : Addison Wesley, 1999

Request It 

1998

Purely functional data structures

Okasaki, Chris



 

1997

Object-oriented programming : a unified foundation

Castagna, Giuseppe, 1966-

Boston : Birkhauser, [1997]

Request It 

1997

The computer science and engineering handbook

Boca Raton, FL : CRC Press, [1997]

Request It 

1995

Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25-27, 1995 Proceedings

 

1995

TAPSOFT '95 : Theory and practice of software development ; 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings

International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Århus, Denmark)



 

1995

Parallel Computing Technologies : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12-25, 1995 Proceedings

Malyshkin, V. Ė. (Viktor Ėmmanuilovich)



 

1995

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers

Workshop on Specification of Abstract Data Types (10th : 1994 : Santa Margherita, Italy)



 

1993

Trauma and survival : post-traumatic and dissociative disorders in women

Waites, Elizabeth A.
First edition
New York : W. W. Norton, [1993]

Request It 

1993

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings

International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)

Berlin ; New York : Springer-Verlag, ©1993

 

1993

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings

 

1993

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings

PLILP '93 (1993 : Tallinn, Estonia)



 

1993

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings

International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, Netherlands)

Berlin ; New York : Springer-Verlag, ©1993

 

1992

PARLE '92, parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings

International PARLE Conference (4th : 1992 : Paris, France)



 

1992

Parallel execution of Parlog

Cheese, A. (Andrew)

Berlin ; New York : Springer-Verlag, ©1992

 

1991

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings

PLILP '91 (1991 : Passau, Germany)



 

1991

Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings

CC (Conference) (3rd : 1990 : Schwerin, Germany)

Berlin ; New York : Springer-Verlag, ©1991

 

1990

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings

European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)



 

1990

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings

 

1990

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings

Colloquium on Trees in Algebra and Programming (15th : 1990 : Copenhagen, Denmark)



 

1990

Termination proofs for logic programs

Plümer, Lutz.

Berlin ; New York : Springer-Verlag, ©1990

 

1989

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

Zwiers, J. (Job), 1956-

Berlin ; New York : Springer-Verlag, ©1989

 

1989

Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings

 

1989

Parle '89 - Parallel Architectures and Languages Europe : Volume Ii: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings

Odijk, Eddy, editor



 

1987

PARLE Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings

Conference on Parallel Architectures and Languages Europe (1st : 1987 : Eindhoven, Netherlands)



 

1986

Current trends in concurrency : overviews and tutorials

 

1986

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings

 

1980

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna, Poland)