Refine your search

Your search returned 126 results.

Sort
Results
Computer And Computing Technologies In Agriculture, Volume I [Recurso electrónico] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li.

by Li, Daoliang | SpringerLink (Online service).

Series: The International Federation for Information Processing ; 258Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available.

Innovation in Manufacturing Networks [Recurso electrónico] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23â€{u2D6C} 2008 / edited by Américo Azevedo.

by Azevedo, Américo | SpringerLink (Online service).

Series: IFIP â€{u0528}e International Federation for Information Processing ; 266Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2008Online access: Texto completo Availability: No items available.

Dependable Computing - EDCC 2005 [Recurso electrónico] / 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed KaÃØniche, András Pataricza.

by Dal Cin, Mario | KaÃØniche, Mohamed | Pataricza, András | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3463Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

E-Government Ict Professionalism and Competences Service Science [Recurso electrónico] / edited by Antonino Mazzeo, Roberto Bellini, Gianmario Motta.

by Mazzeo, Antonino | Bellini, Roberto | Motta, Gianmario | SpringerLink (Online service).

Series: IFIP International Federation for Information Processing ; 280Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available.

Computer And Computing Technologies In Agriculture, Volume II [Recurso electrónico] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li.

by Li, Daoliang | SpringerLink (Online service).

Series: The International Federation for Information Processing ; 259Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available.

Principles of Distributed Systems (vol. # 3974) [Recurso electrónico] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3974Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Principles of Distributed Systems (vol. # 4305) [Recurso electrónico] / 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman.

by Shvartsman, Alexander A | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4305Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Principles of Distributed Systems (vol. # 3544) [Recurso electrónico] / 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers edited by Teruo Higashino.

by Higashino, Teruo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3544Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Dependable Systems: Software, Computing, Networks [Recurso electrónico] / Research Results of the DICS Program edited by JÃơrg Kohlas, Bertrand Meyer, André Schiper.

by Kohlas, JÃơrg | Meyer, Bertrand | Schiper, André | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4028Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Formal Modeling and Analysis of Timed Systems (vol. # 4202) [Recurso electrónico] / 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene | Bouyer, Patricia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4202Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Leveraging Applications of Formal Methods [Recurso electrónico] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen.

by Maragria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4313Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Formal Modeling and Analysis of Timed Systems [Recurso electrónico] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-FranÃ{u00A7}ois Raskin, P. S. Thiagarajan.

by Raskin, Jean-FranÃ{u00A7}ois | Thiagarajan, P. S | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4763Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Formal Modeling and Analysis of Timed Systems (vol. # 3829) [Recurso electrónico] / Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings edited by Paul Pettersson, Wang Yi.

by Pettersson, Paul | Yi, Wang | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3829Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Formal Methods Applications and Technology [Recurso electrónico] / 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

by Brim, Lubos | Haverkort, Boudewijn | Leucker, Martin | Pol, Jaco van de | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4346Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek.

by Murphy, Amy L | Vitek, Jan | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4467Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4038Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Computer and Computing Technologies in Agriculture II, Volume 2 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao.

by Li, Daoliang | Zhao, Chunjiang | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology ; 294Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available.

Computer and Computing Technologies in Agriculture IV [Recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III / edited by Daoliang Li, Yande Liu, Yingyi Chen.

by Li, Daoliang | Liu, Yande | Chen, Yingyi | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology ; 346Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Online access: Texto completo Availability: No items available.

Computer and Computing Technologies in Agriculture II, Volume 1 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao.

by Li, Daoliang | Zhao, Chunjiang | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology ; 293Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available.

Computer and Computing Technologies in Agriculture II, Volume 3 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Chunjiang Zhao, Daoliang Li.

by Zhao, Chunjiang | Li, Daoliang | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology ; 295Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2009Online access: Texto completo Availability: No items available.

Pages

Powered by Koha