Refine your search

Your search returned 216 results.

|
141.
Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov.

by Ganzha, V.G | Mayr, E.W | Vorozhtsov, E.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

142.
Agent-Oriented Software Engineering VII [Recurso electrónico] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli.

by Padgham, Lin | Zambonelli, Franco | 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

143.
Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

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

144.
Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz.

by Riel, Andreas | Oâ€{u3BEE}nor, Rory | Tichkiewitch, Serge | Messnarz, Richard | SpringerLink (Online service).

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

145.
Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase.

by Magedanz, Thomas | Gavras, Anastasius | Thanh, Nguyen Huu | Chase, Jeffry S | SpringerLink (Online service).

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

146.
Evolutionary and Biologically Inspired Music, Sound, Art and Design [Recurso electrónico] : First International Conference, EvoMUSART 2012, M©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Penousal Machado, Juan Romero, Adrian Carballal.

by Machado, Penousal | Romero, Juan | Carballal, Adrian.

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

147.
Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer.

by Alexander, Michael | D'Ambra, Pasqua | Belloum, Adam | Bosilca, George | Cannataro, Mario | Danelutto, Marco | Martino, Beniamino | Gerndt, Michael | Jeannot, Emmanuel | Namyst, Raymond | Roman, Jean | Scott, Stephen L | Traff, Jesper Larsson | Vallée, Geoffroy | Weidendorfer, Josef.

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

148.
Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer.

by Alexander, Michael | D'Ambra, Pasqua | Belloum, Adam | Bosilca, George | Cannataro, Mario | Danelutto, Marco | Martino, Beniamino | Gerndt, Michael | Jeannot, Emmanuel | Namyst, Raymond | Roman, Jean | Scott, Stephen L | Traff, Jesper Larsson | Vallée, Geoffroy | Weidendorfer, Josef.

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

149.
Software Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book.

by Gschwind, Thomas | Paoli, Flavio | Gruhn, Volker | Book, Matthias.

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

150.
Correct Reasoning [Recurso electrónico] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.

by Erdem, Esra | Lee, Joohyung | Lierler, Yuliya | Pearce, David.

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

151.
152.
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 | Philippsen, Michael.

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

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

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

155.
Distributed Computing and Networking [Recurso electrónico] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.

by Bononi, Luciano | Datta, Ajoy K | Devismes, Stéphane | Misra, Archan.

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

156.
Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

by Kuncak, Viktor | Rybalchenko, Andrey.

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

157.
Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, M©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bj©ırner, Andrei Voronkov.

by Bj©ırner, Nikolaj | Voronkov, Andrei.

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

158.
159.
Advances in Software Engineering Techniques [Recurso electrónico] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka.

by Szmuc, Tomasz | Szpyrka, Marcin | Zendulka, Jaroslav.

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

160.
Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.

by Clarke, Edmund | Virbitskaite, Irina | Voronkov, Andrei.

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

Powered by Koha