Online Public Access Catalogue

Your search returned 328 results.

Sort
Results
121.
122.
123.
124.
Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. by Series: Lecture Notes in Computer Science ; 5100
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: No items available.

125.
126.
127.
128.
129.
130.
131.
132.
Network Performance Engineering [electronic resource] : A Handbook on Convergent Multi-Service Networks and Next Generation Internet / edited by Demetres D. Kouvatsos. by Series: Lecture Notes in Computer Science ; 5233
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: No items available.

133.
134.
135.
136.
Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt. by Series: Lecture Notes in Computer Science ; 5663
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks
Online resources:
Availability: No items available.

137.
138.
139.
140.
Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper. by Series: Lecture Notes in Computer Science ; 5959
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks
Online resources:
Availability: No items available.

Pages