introduction to Computer Science Mathematics

Edition

1st

ISBN/ISSN

0070322767

Collation

-

Series Title

-

Call Number

A10

automata , Languages and programming

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity,…

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS series reports state-of-art result in computer science research , development , and education, at a high level and in both printed and electronic form .

Tools and Algorithms for the construction and Analysys of Systems

9th International Conference, TACAS 2003 Held as part of the joint European Conferences on Theory and practice of software ETAPS, 2003 Warsaw, Poland, April 2003, Proceeding

Compiler Construction

12th International Conference, CC 2003 Held as part of the joint European Conferences on theory and practice of software ETAPS 2003 , Warsaw, Poland, April , 2003 , Proceedings

Programming Languages and Systems

12th European Symposium on programming, ESOP 2003 Held as part of the joint European Conferenes on theory and practice of software, ETAPS 2003 Warsaw, Poland, April 2003, Proceedings

Geometry, Morphology and Computatioal Imaging

11th international workshop on theoretical foundatons of Computer vision Dagstuhl Castle, Germany , April 2002

Linux In a Nutshell

Edition

Fifth Edition

ISBN/ISSN

9780596009304

Collation

xiv, 925 p. : ill. ; 23 cm.

Series Title

In a Nutshell

Call Number

005.4/32-22 Ell l