Results
|
821.
|
|
|
822.
|
|
|
823.
|
|
|
824.
|
|
|
825.
|
|
|
826.
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Series: Lecture Notes in Computer Science ; 7421
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
827.
|
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi. by Series: Lecture Notes in Computer Science ; 7207
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
828.
|
|
|
829.
|
|
|
830.
|
|
|
831.
|
|
|
832.
|
|
|
833.
|
|
|
834.
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. by Series: Lecture Notes in Computer Science ; 7177
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
835.
|
Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 7456
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
836.
|
|
|
837.
|
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder. by Series: Lecture Notes in Computer Science ; 7399
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
838.
|
|
|
839.
|
|
|
840.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori. by Series: Lecture Notes in Computer Science ; 7486
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|