Refine your search

Your search returned 504 results. Subscribe to this search

|
161. Mathematics of Program Construction [Recurso electrónico] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Log in to add tags. Add to cart
162. Computational Science and Its Applications - CCSA 2012 [Recurso electrónico] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

163. Computational Science and Its Applications - ICCSA 2012 [Recurso electrónico] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

164. Application and Theory of Petri Nets [Recurso electrónico] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

165. Computational Science and Its Applications - ICCSA 2012 [Recurso electrónico] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

166. Pattern Recognition [Recurso electrónico] : 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings / edited by Jesús Ariel Carrasco-Ochoa, José Francisco MartÃ{uE97A}-Trinidad, José Arturo Olvera López, Kim L. Boyer. by Carrasco-Ochoa, Jesús Ariel. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

167. Algorithm Theory - SWAT 2012 [Recurso electrónico] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings / edited by Fedor V. Fomin, Petteri Kaski. by Fomin, Fedor V. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

168. Controlled Natural Language [Recurso electrónico] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E. Fuchs. by Rosner, Michael. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

169. Natural Language Processing and Information Systems [Recurso electrónico] : 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings / edited by Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans Wortmann. by Bouma, Gosse. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

170. Information Technologies in Biomedicine [Recurso electrónico] : Third International Conference, ITIB 2012, Gliwice, Poland, June 11-13, 2012. Proceedings / edited by Ewa Pietka, Jacek Kawa. by Pietka, Ewa. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

171. Multicore Software Engineering, Performance, and Tools [Recurso electrónico] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

172. Pervasive Computing [Recurso electrónico] : 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / edited by Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, Antonio KrÃ{u7972}. by Kay, Judy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

173. Diagrammatic Representation and Inference [Recurso electrónico] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / edited by Philip Cox, Beryl Plimmer, Peter Rodgers. by Cox, Philip. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

174. Scientific and Statistical Database Management [Recurso electrónico] : 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings / edited by Anastasia Ailamaki, Shawn Bowers. by Ailamaki, Anastasia. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

175. Logical Aspects of Computational Linguistics [Recurso electrónico] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky. by Béchet, Denis. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

176. Combinatorial Pattern Matching [Recurso electrónico] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye. by Kärkkäinen, Juha. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

177. Multidisciplinary Information Retrieval [Recurso electrónico] : 5th International Retrieval Facility Conference, IRFC 2012, Vienna, Austria, July 2-3, 2012 Proceedings / edited by Michail Salampasis, Birger Larsen. by Salampasis, Michail. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

178. Applied Cryptography and Network Security [Recurso electrónico] : 10th International Conference, ACNS 2012, Singapore, June 26-29, 2012. Proceedings / edited by Feng Bao, Pierangela Samarati, Jianying Zhou. by Bao, Feng. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

179. Image Analysis and Recognition [Recurso electrónico] : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I / edited by Aurélio Campilho, Mohamed Kamel. by Campilho, Aurélio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

180. Image Analysis and Recognition [Recurso electrónico] : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II / edited by Aurélio Campilho, Mohamed Kamel. by Campilho, Aurélio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha