UCSC Library OPAC

Your search returned 3689 results.

Sort
Results
Refrence  Book
Practice and theory of automated timetabling : lecture notes in computer science:Papers by Language: English
Publication details: Springer: Tokyo ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004 B86.

Refrence  Book
Forrmal Methods for industrial applications :Specifying and programming the Steam Boiler Control : lecture notes in computer science :( With CD) by Language: English
Publication details: Springer: ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 F56.

Refrence  Book
Formal systems specification :The RPC-memory specification case study : lecture notes in computer science by Language: English
Publication details: Springer: ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004.53 F56.

Lending  Book
Numerical Analysis and its applications : lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004 N85.

Refrence  Book
Intelligent Agent Systems : Lecture Notes in Computer Science : Theoretical and practical Issues by Language: English
Publication details: Springer: Tokyo ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.3 C18.

Lending  Book
Typed lambda calculi and applications Proceedings:Lecture notes in Computer Science by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004.0151 T96.

Refrence  Book
The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 B59.

Refrence  Book
Mobile Agents : Lecture Notes In Computer Science by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004.33 R57.

Refrence  Book
New Trends in Formal Languages : Lecture Notes in Computer Science : Control, Cooperation, and Combinatiorics by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 P18.

Lending  Book
ECOOP 97 -Object-oriented programming :lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.117 O14.

Lending  Book
Evolvable systems: from biology to hardware :Lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004 E85.

Refrence  Book
Structures in Logic and Computer Science : Lecture Notes in Computer Science by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004 M91.

Refrence  Book
Randomization and Approximation Techniques in Computer Science : lecture notes in computer science:Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004 R54.

Lending  Book
Theorem proving in higher order logics :Lecture notes in computer science:Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004 T32.

Refrence  Book
Fundamentals of Computation Theory : Lecture Notes in Computer Science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 C34.

Refrence  Book
Multi-Agent Systems Methodologies and Applications : Lecture Notes in Computer Science : Papers by Language: English
Publication details: Springer: ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.3 Z31.

Refrence  Book
Mathematical foundations of computer science 1997: lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004 P63.

Refrence  Book
Evolutionary Computing : Lecture Notes in Computer Science : Papers by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.3 C56.

Refrence  Book
FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science by Language: English
Publication details: Springer: Tokyo ; 1997
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 F37.

Lending  Book
Logical Aspects of Computational Linguistics: Lecture notes in computer science : Papers by Language: English
Publication details: Springer: Tokyo ; 1996
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 006.3 L53.

Pages