|
661.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
662.
|
Web engineering
by Mosley, Nile | Mendes, Emilia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.7 MEN] (1).
|
|
663.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
664.
|
Embedded security in cars : securing current and future automotive IT applications
by Lemke, Kerstin | Paar, Christof | Wolf, Marko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 629.27 LEM] (1).
|
|
665.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
666.
|
Nanotechnology: science and computation.
by Chen, Junghuei | Chen, Junghuei | Jonoska, Natasa | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 620.5 CHE] (1).
|
|
667.
|
Advanced man-machine interaction : fundamentals and implementation
by Kraiss, Karl-Friedrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.019 KRA] (2).
|
|
668.
|
Socionics : scalability of complex social systems (LNAI - 3413)
by Fischer, Klaus | Fischer, Klaus | Florian, Michael | Malsch, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 FIS] (1).
|
|
669.
|
Fuzzy probability and statistics
by Buckley, James J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: Springer, 2006Availability: Items available for loan: [Call number: 519.2 BUC] (1).
|
|
670.
|
Formal models of communicating systems : languages, automata and monadic second-order logic
by Bollig, Benedikt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.35 BOL] (1).
|
|
671.
|
Concurrent zero knowledge
by Rosen, Alon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.8 ROS] (1).
|
|
672.
|
Information and self-organization : a macroscopic approach to complex systems
by Haken, Hermann. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 003.7 HAK] (1).
|
|
673.
|
Algorithmic information theory: mathematics of digital information processing
by Seibt, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 006.31 SEI] (1).
|
|
674.
|
Knowledge representation techniques : a rough set approach
by Doherty, Patrick | Lukaszewicz, Witold | Skowron, Andrzej | Szalas, Andrzej. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 006.3 DOH] (1).
|
|
675.
|
Lectures on data security : modern cryptology in theory and practice
by Damgard, Ivan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1990Availability: Items available for loan: [Call number: 004 DAM] (1).
|
|
676.
|
Stochastic differential equations
by Oksendal, Bernt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 515.35 OKS] (1).
|
|
677.
|
Applied algebra, algebraic algorithms, and error-correcting codes
by Fossorier, Marc | Hoholdt, Tom | Poli, Alain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 FOS] (1).
|
|
678.
|
Testing of communicating systems: 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France May 26-28, 2003 proceedings
by Hogrefe, Dieter | Wiles, Anthony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 HOG] (1).
|
|
679.
|
Advances in Web Intelligence
by Menasalvas, Ernestina | Menasalvas, Ernestina | Segovia, Javier | Segovia, Javier | Szczepaniak, Piotr S | Szczepaniak, Piotr S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
|
|
680.
|
Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings
by Wimmer, Maria A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 WIM] (1).
|