Refine your search

Your search returned 106 results.

|
61.
Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay.

by Rahaman, Hafizur | Chattopadhyay, Sanatan | Chattopadhyay, Santanu.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

62.
Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers / edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park.

by Korakis, Thanasis | Li, Hongbin | Tran-Gia, Phuoc | Park, Hong-Shik.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

63.
Applied Parallel and Scientific Computing [Recurso electrónico] : 10th International Conference, PARA 2010, Reykjav©Æk̄, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristj©Å{uE80A}©Ä{uE873}son.

by J婀{uE873}son, Kristj婁{uEB80}.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

64.
Object-Oriented Technology. ECOOP 2004 Workshop Reader [Recurso electrónico] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Ãs̃tvold.

by Malenfant, Jacques | Ãs̃tvold, Bjarte M | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

65.
Euro-Par 2007 Parallel Processing [Recurso electrónico] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc Bougé, Thierry Priol.

by Kermarrec, Anne-Marie | Bougé, Luc | Priol, Thierry | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

66.
Parallel Computing Technologies [Recurso electrónico] / 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings edited by Malyshkin Victor.

by Victor, Malyshkin | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

67.
Euro-Par 2006 Parallel Processing [Recurso electrónico] / 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner.

by Nagel, Wolfgang E | Lehner, Wolfgang | Walter, Wolfgang V | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

68.
Network and Parallel Computing [Recurso electrónico] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni.

by Park, James J | Zomaya, Albert | Yeo, Sang-Soo | Sahni, Sartaj.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

69.
Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad | Sirjani, Marjan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

70.
Formal Methods for Model-Driven Engineering [Recurso electrónico] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.

by Bernardo, Marco | Cortellessa, Vittorio | Pierantonio, Alfonso.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

71.
VLSI-SoC: Forward-Looking Trends in IC and Systems Design [Recurso electrónico] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / edited by Jos©â{uD80C}. Ayala, David Atienza Alonso, Ricardo Reis.

by Ayala, Jos婉{uD80C} | Atienza Alonso, David | Reis, Ricardo.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

72.
NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.

by Goodloe, Alwyn E | Person, Suzette.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

73.
Computer-Aided Innovation (CAI) [Recurso electrónico] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / edited by Gaetano Cascini.

by Cascini, Gaetano | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available

74.
Systems and Virtualization Management. Standards and New Technologies [Recurso electrónico] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold.

by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available

75.
IT Innovation for Adaptability and Competitiveness [Recurso electrónico] / edited by Brian Fitzgerald, Eleanor Wynn.

by Fitzgerald, Brian | Wynn, Eleanor | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2004Online access: Texto completo Availability: No items available

76.
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.

by Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available

77.
Open Source Software: New Horizons [Recurso electrónico] : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 â€{u02B5}ne 2, 2010. Proceedings / edited by PÃ{u2803}{u7972}falk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey, John Noll.

by Ã{u7972}falk, PÃ{u2B80} | Boldyreff, Cornelia | González-Barahona, Jesús M | Madey, Gregory R | Noll, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Online access: Texto completo Availability: No items available

78.
Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova.

by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

79.
Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Ta

by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

80.
Computational Science and Its Applications - ICCSA 2006 (vol. # 3984) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan

by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha