Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vlsi-Soc: From Systems To Silicon [Recurso electrónico] : Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia / edited by Ricardo Reis, Adam Osseiran, Hans-Joerg Pfleiderer. por Reis, Ricardo | Osseiran, Adam | Pfleiderer, Hans-Joerg | SpringerLink (Online service). Series IFIP International Federation for Information Proc, 1868-4238 ; ; 240Tipo de material:  Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Springer-Verlag US, 2007Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Modelling and Scientific Computation [Recurso electrónico] : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings / edited by P. Balasubramaniam, R. Uthayakumar. por Balasubramaniam, P | Uthayakumar, R. Series Communications in Computer and Information Science, 1865-0929 ; ; 283Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
The Impact of Virtual, Remote, and Real Logistics Labs [Recurso electrónico] : First International Conference, ImViReLL 2012 Bremen, Germany, February 28226}0ÑØ̕£ March 1, 2012 Proceedings / edited by Dieter Uckelmann, Bernd Scholz-Reiter, Ingrid RÃ{u79E5}, Bonghee Hong, Antonio Rizzi. por Uckelmann, Dieter | Scholz-Reiter, Bernd | RÃ{u79E5}, Ingrid | Hong, Bonghee | Rizzi, Antonio. Series Communications in Computer and Information Science, 1865-0929 ; ; 282Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
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. por Zhao, Chunjiang | Li, Daoliang | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 295Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Springer-Verlag US, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Information Technology [Recurso electrónico] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings / edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. por Papasratorn, Borworn | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 114Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
Software and Data Technologies [Recurso electrónico] : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert. por Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 10Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.
|
|
|
|
Computer Networks [Recurso electrónico] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings / edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera. por Kwiecien, Andrzej | Gaj, Piotr | Stera, Piotr. Series Communications in Computer and Information Science ; 291Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 17Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
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. por Papasratorn, Borworn | Charoenkitkarn, Nipon | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak. Series Communications in Computer and Information Science ; 344Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
|