Results
|
3121.
|
|
|
3122.
|
Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 5382
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B64 2008.
|
|
3123.
|
|
|
3124.
|
|
|
3125.
|
Information Hiding [electronic resource] : 10th International Workshop, IH 2008, Santa Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers / edited by Kaushal Solanki, Kenneth Sullivan, Upamanyu Madhow. by Series: Lecture Notes in Computer Science ; 5284
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 S68 2005 .
|
|
3126.
|
|
|
3127.
|
|
|
3128.
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV / edited by Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain. by Series: Lecture Notes in Computer Science ; 3684
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: TK7801 K46 2005.
|
|
3129.
|
|
|
3130.
|
|
|
3131.
|
|
|
3132.
|
|
|
3133.
|
|
|
3134.
|
|
|
3135.
|
|
|
3136.
|
|
|
3137.
|
|
|
3138.
|
|
|
3139.
|
|
|
3140.
|
Numerical Analysis and Its Applications [electronic resource] : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers / edited by Zhilin Li, Lubin Vulkov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 3401
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: QA297 L5 2005.
|