Your search returned 276 results.

Sort
Results
141.
142.
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: Items available for loan: Central Library (1).

143.
Practical Aspects of Declarative Languages [electronic resource] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / edited by Andy Gill, Terrance Swift. by Series: Lecture Notes in Computer Science ; 5418
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: Items available for loan: Central Library (1).

144.
Service-Oriented Computing - ICSOC 2007 Workshops [electronic resource] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers / edited by Elisabetta Nitto, Matei Ripeanu. by Series: Lecture Notes in Computer Science ; 4907
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: Items available for loan: Central Library (1).

145.
146.
Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers / edited by Flaminio Squazzoni. by Series: Lecture Notes in Computer Science ; 5466
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: Items available for loan: Central Library (1).

147.
148.
149.
Complex Sciences [electronic resource] : First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2 / edited by Jie Zhou. by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 5
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: Items available for loan: Central Library (1).

150.
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: Items available for loan: Central Library (1).

151.
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann. by Series: Lecture Notes in Computer Science ; 5584
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: Items available for loan: Central Library (1).

152.
Digital Human Modeling [electronic resource] : Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Vincent G. Duffy. by Series: Lecture Notes in Computer Science ; 5620
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: Items available for loan: Central Library (1).

153.
154.
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: Items available for loan: Central Library (1).

155.
156.
157.
158.
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: Items available for loan: Central Library (1).

159.
160.
Pages

Maintained by VTU Library