Results of search for 'se,phr:"Lecture notes in computer science ;"'

141.

Image from Google Jackets

Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap by

Series: ; 2757 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2003

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

142.

Image from Google Jackets

Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings by

Series: ; 2839 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

143.

Image from Google Jackets

Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015, Proceedings by

Tai, Xue-Cheng

Series: ; 8932 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Switzerland: Springer, 2015

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

144.

Image from Google Jackets

Information hiding: First international workshop, Cambridge, U.K., May 30 - June 1, 1996. Proceedings by

Anderson, Ross

Series: Lecture notes in computer science ; 1174 | Lecture notes in computer science

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: 004 AND.

145.

Image from Google Jackets

Disconnected operation in a distributed file system by

Kistler, James Jay

Series: Lecture notes in computer science ; 1002 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 1996

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

146.

Image from Google Jackets

Audio system for technical readings by

Raman, T. V

Series: ; 1410 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 1998

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

147.

Image from Google Jackets

Efficient checking of polynomials and proofs and the hardness of approximation problems by

Sudan, Madhu

Series: ; 1001 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 1995

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

148.

Image from Google Jackets

High-dimensional indexing : transformational approaches to high-dimensional range similarity searches by

Yu, Cui

Series: ; 2341 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 2003

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

149.

Image from Google Jackets

Informatics : 10 years back, 10 years ahead by

Series: ; 2000 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2001

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

150.

Image from Google Jackets

Object-oriented information systems: 9th International conference, OOIS 2003 Geneva, Switzerland, September 2-5, 2003: Proceedings by

Konstantas, Dimitri

Series: ; 2817 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

151.

Image from Google Jackets

Information Networking : Networking Technologies for Enhanced Internet Services by

Kahng, Hyun-Kook

Series: ; 2662 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer-Verlag, 2003

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

152.

Image from Google Jackets

Human-Computer Interaction with Mobile Devices and Services : 5th International Symposium, Mobile HCI 2003 Udine, Italy, September 8-11, 2003 : Proceedings by

Chittaro, Luca

Series: ; 2795 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

153.

Image from Google Jackets

Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings by

Series: ; 2747 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

154.

Image from Google Jackets

SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings by

Series: ; 2708 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

155.

Image from Google Jackets

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers by

Leuschel, Michael

Series: ; 2664 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

156.

Image from Google Jackets

Applied algebra, algebraic algorithms, and error-correcting codes by

Series: ; 2643 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer-Verlag, 2003

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

157.

Image from Google Jackets

Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings by

Series: ; 3603 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2005

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

158.

Image from Google Jackets

Multilingual Information Access for Text, Speech and Images : Fifth Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers by

Series: ; 3491 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2005

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

159.

Image from Google Jackets

Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers by

Higashino, Teruo

Series: ; 3544 | Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: New York: Springer, 2005

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

160.

Image from Google Jackets

Model-based testing of reactive systems by

Series: Lecture notes in computer science

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Berlin: Springer, 2005

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

Resource Centre

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 274 results.

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 274 results.

Public lists