Results
|
141.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn. by Series: Lecture Notes in Computer Science ; 3834
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
142.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture Notes in Computer Science ; 3855
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
143.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3835
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
144.
|
|
|
145.
|
|
|
146.
|
|
|
147.
|
|
|
148.
|
|
|
149.
|
|
|
150.
|
|
|
151.
|
|
|
152.
|
|
|
153.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers / edited by Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn. by Series: Lecture Notes in Computer Science ; 3277
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
154.
|
Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink. by Series: Lecture Notes in Computer Science ; 3599
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
155.
|
|
|
156.
|
|
|
157.
|
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern. by Series: Lecture Notes in Computer Science ; 3354
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
158.
|
|
|
159.
|
|
|
160.
|
|