Your search returned 40 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Computer performance engineering : 7th European performance engineering workshop : proceedings, EPEW, Bertinoro, Italy, Sept. 23-24, 2010 (e-book)

by Aldini, Alessandro ...[et al.] [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6342 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Distributed computing : 24th international symposium : proceedings, DISC, Cambridge, MA, USA, Sept. 13-15, 2010 (e-book)

by Lynch, Nancy A [Editor] | Shvartsman, Alexander A [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6343 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book)

by Chatterjee, Krishnendu [Editor] | Henzinger, Thomas A [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6246 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal methods for industrial critical systems : 15th international workshop : proceedings, FMICS, Antwerp, Belgium, Sept. 20-21, 2010. (e-book)

by Kowalewski, Stefan [Editor] | Roveri, Marco [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6371 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Integrated formal methods : 8th international conference : proceedings, IFM, Nancy, France, Oct. 11-14, 2010 (e-book)

by Méry, Dominique [Editor] | Merz, Stephan [Editor].

Series: Lecture notes in computer science ; v.6396 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Runtime verification : first international conference : proceedings, RV, St. Julians, Malta, Nov. 1-4, 2010 (e-book)

by Barringer, Howard ...[et al.] [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6418 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal verification of object-oriented software : international conference, FoVeOOS, Paris, France, June 28-30, 2010 (e-book)

by Beckert, Bernhard [Editor] | Marché, Claude [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6528 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book)

by Armando, Alessandro [Editor] | Lowe, Gavin [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6186 | LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha