Results of search for 'se,phr:"Texts in Computer Science."'

21.

Image from Google Jackets

Theory of computation by

Kozen, Dexter C

Series: Texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: London: Springer, 2006

Availability: Items available for loan: DAU (1)Call number: 511.352 KOZ.

22.

Image from Google Jackets

Verification of sequential and concurrent programs by

Series: Graduate texts in computer science

Edition: 2nd ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 1997

Availability: Items available for loan: DAU (1)Call number: 005.14 APT.

23.

Image from Google Jackets

Exploring computer science with scheme by

Grillmeyer, Oliver

Series: Undergraduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 1997

Availability: Items available for loan: DAU (1)Call number: 004 GRI.

24.

Image from Google Jackets

First-order logic and automated theorem proving by

Fitting, Melvin

Series: Graduate texts in computer science

Edition: 2nd ed.

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 1996

Availability: Items available for loan: DAU (1)Call number: 511.3 FIT.

25.

Image from Google Jackets

Introduction to assembly language programming : from 8086 to Pentium processors by

Dandamudi, Sivarama P

Series: Undergraduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New Delhi: Springer-Verlag, 2003

Availability: Items available for loan: DAU (1)Call number: 005.265 DAN.

26.

Image from Google Jackets

Descriptive complexity by

Immerman, Neil

Series: Graduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1999

Availability: Items available for loan: DAU (1)Call number: 511.3 IMM.

27.

Image from Google Jackets

On concurrent programming by

Schneider, Fred B

Series: Graduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 1997

Availability: Items available for loan: DAU (1)Call number: 005.275 SCH.

28.

Image from Google Jackets

Specification of software systems by

Series: Graduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1998

Availability: Items available for loan: DAU (1)Call number: 005.1 ALA.

29.

Image from Google Jackets

Automata and computability by

Kozen, Dexter

Series: Undergraduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1997

Availability: Items available for loan: DAU (1)Call number: 511.3 KOZ.

30.

Image from Google Jackets

C programming : the essentials for engineering and scientists by

Brooks, David R

Series: Undergraduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 1999

Availability: Items available for loan: DAU (1)Call number: 005.133 BRO.

31.

Image from Google Jackets

Refinement calculus by

Back, Ralph-Johan

Series: Graduate texts in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 1998

Availability: Items available for loan: DAU (1)Call number: 005.14 BAC.

Resource Centre

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 31 results.

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 31 results.

Public lists