Refine your search

Your search returned 147 results. Subscribe to this search

|
101. Advances in New Technologies, Interactive Interfaces and Communicability [Recurso electrónico] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers / edited by Francisco Cipolla-Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller. by Cipolla-Ficarra, Francisco. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Log in to add tags. Add to cart
102. Large-Scale Complex IT Systems. Development, Operation and Management [Recurso electrónico] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan. by Calinescu, Radu. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

103. Applications of Graph Transformations with Industrial Relevance [Recurso electrónico] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy SchÃ{u2CAC} Dániel Varró, Gergely Varró. by SchÃ{u2CAC} Andy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

104. Hardware and Software: Verification and Testing [Recurso electrónico] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, Jo©Ä{uF80C}ouren©ʹo, Onn Shehory. by Eder, Kerstin. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

105. Search Computing [Recurso electrónico] : Broadening Web Search / edited by Stefano Ceri, Marco Brambilla. by Ceri, Stefano. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

106. Formal Methods and Software Engineering [Recurso electrónico] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi. by Aoki, Toshiaki. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

107. Service-Oriented Computing [Recurso electrónico] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu. by Liu, Chengfei. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

108. Simulation, Modeling, and Programming for Autonomous Robots [Recurso electrónico] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

109. Implementation and Application of Functional Languages [Recurso electrónico] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Gill, Andy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

110. Model-Based Engineering of Embedded Systems [Recurso electrónico] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald H©Å{uEBA9}nger, Reinhold Achatz, Manfred Broy. by Pohl, Klaus. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

111. Testing Software and Systems [Recurso electrónico] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

112. Advances in Multimedia Information Processing- PCM 2012 [Recurso electrónico] : 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings / edited by Weisi Lin, Dong Xu, Anthony Ho, Jianxin Wu, Ying He, Jianfei Cai, Mohan Kankanhalli, Ming-Ting Sun. by Lin, Weisi. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

113. Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. by HÃ{u8BAC}e, Reiner. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

114. Multi-Agent Systems [Recurso electrónico] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss. by Cossentino, Massimo. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

115. Internet and Distributed Computing Systems [Recurso electrónico] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / edited by Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang. by Xiang, Yang. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

116. Ambient Intelligence [Recurso electrónico] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings / edited by Fabio Paternò, Boris Ruyter, Panos Markopoulos, Carmen Santoro, Evert Loenen, Kris Luyten. by Paternò, Fabio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

117. Multiple Access Communications [Recurso electrónico] : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings / edited by Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume Barcelo, Roman Maslennikov, Periklis Chatzimisios, David Malone. by Bellalta, Boris. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

118. Web Information Systems Engineering - WISE 2012 [Recurso electrónico] : 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings / edited by X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang. by Wang, X. Sean. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

119. Advances in Information Technology [Recurso electrónico] : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. by Papasratorn, Borworn. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

120. Middleware 2012 [Recurso electrónico] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings / edited by Priya Narasimhan, Peter Triantafillou. by Narasimhan, Priya. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha