Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).

by CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) | Jouannaud, Jean-Pierre | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (eds.).

by OPODIS (Conference) (15th : 2011 : Toulouse, France) | Anta, Antonio Fernández | Lipari, Giuseppe, 1971- | Roy, Matthieu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: OPODIS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Formal grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised selected papers / Philippe de Groote, Mark-Jan Nederhof (eds.).

by FG (Conference) (15th : 2010 : Copenhagen, Denmark) | De Groote, Philippe | Nederhof, Mark-Jan | FG (Conference) (16th : 2011 : Ljubljana, Slovenia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: FG 2010 | FG 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).

by RAMiCS (Conference) (13th : 2012 : Cambridge, England) | Kahl, W. (Wolfram) | Griffin, Timothy G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: RAMiCS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.).

by CPP 2012 (2012 : Kyoto, Japan) | Hawblitzel, Chris | Miller, Dale (Dale A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha