Results
|
4561.
|
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Series: Lecture Notes in Computer Science ; 4010
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
4562.
|
|
|
4563.
|
|
|
4564.
|
|
|
4565.
|
|
|
4566.
|
|
|
4567.
|
Advances in Biometric Person Authentication [electronic resource] : International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings / edited by Stan Z. Li, Zhenan Sun, Tieniu Tan, Sharath Pankanti, Gérard Chollet, David Zhang. by Series: Lecture Notes in Computer Science ; 3781
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7882.B56 L53 2005.
|
|
4568.
|
|
|
4569.
|
Conditionals, Information, and Inference [electronic resource] : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers / edited by Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann. by Series: Lecture Notes in Computer Science ; 3301
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q387 K47 2005.
|
|
4570.
|
|
|
4571.
|
|
|
4572.
|
|
|
4573.
|
|
|
4574.
|
|
|
4575.
|
|
|
4576.
|
|
|
4577.
|
|
|
4578.
|
|
|
4579.
|
|
|
4580.
|
|