UCSC Library OPAC

Your search returned 561 results.

Sort
Results
Lending  Book
An extended entity relationship model :fundamentala and programatics : lecture notes in computer science by Language: English
Publication details: Springer-verlag:Budapest ; 1994
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004.21 G53.

Refrence  Book
Financial Cryptography: Lecture Notes in Computer Science : proceedings by Language: English
Publication details: Springer: Tokyo ; 1998
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.8 H36.

Refrence  Book
FME 2001 Formal Methods for increasing software productivity :Lecture notes in computer science:Proceedings by Language: English
Publication details: Springer: Tokyo ; 2001
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 O43.

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
Formal approaches to agent-based systems :Lecture notes in artificial intelligence : Papers by Language: English
Publication details: Springer: Tokyo ; 2000
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 006.3 F56.

Lending  Book
Formal foundations for software engineering methods : 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.11 H81.

Lending  Book
Formal Models of agents :Lecture notes in computer science: Papers by Language: English
Publication details: Springer: Tokyo ; 1999
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 006.3 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
Formal Techniques in Real Time and Fault Tolerant Systems : lecture notes in computer scienc : Proceedings e by Language: English
Publication details: Springer: Tokyo ; 2000
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 F56.

Refrence  Book
Formal Techniques in Real-Time and Fault -Tolerant Systems : 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: Reference Collection 005.12 J55.

Lending  Book
Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1998
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 F56.

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
Foundations and tools for Neural Modeling : lecture notes in computer science:Proceedings by Language: English
Publication details: Springer: ; 1999
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.32 F58.

Refrence  Book
Foundations of Computer Vision : Computational Geometry, Visual Image Structures and Object Shape Detection by Language: English
Publication details: Switzerland: Springer International Publishing AG ; 2017
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.37 P27.

Lending  Book
Foundations of ingelligent systems : Lecture notes in artificial intelligence : Proceedings by Language: English
Publication details: Springer: Tokyo ; 1999
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 006.3 F58.

Refrence  Book
Foundations of Intelligent Systems : Lecture Notes in Artificial Intelligence:Proceedings by Language: English
Publication details: Springer: Tokyo ; 2000
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.3 R17.

Lending  Book
Foundations of intelligent systems : 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 006.3 F58.

Lending  Book
Foundations of software science and computation structures :Lecture notes in computer science : Proceedings by Language: English
Publication details: Springer: Tokyo ; 2001
Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 004 F58.

Refrence  Book
Foundations of Software Science and Computation Structures : Lecture Notes in Computer Science :Proceedings by Language: English
Publication details: Springer: ; 1998
Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004 N38.

Pages
© 2026 All rights reserved. UCSC