|
1.
|
Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
2.
|
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; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
3.
|
Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
4.
|
Computer Architecture [Recurso electrónico] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort. by Varbanescu, Ana Lucia | Molnos, Anca | Nieuwpoort, Rob. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
5.
|
|
|
6.
|
Progress in Artificial Intelligence [Recurso electrónico] / 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings edited by Carlos Bento, Amilcar Cardoso, Gael Dias. by Bento, Carlos | Cardoso, Amilcar | Dias, Gael | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
7.
|
Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael | Konev, Boris | Lisitsa, Alexei | van der Hoek, Wiebe | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
8.
|
Refinement Techniques in Software Engineering [Recurso electrónico] / First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures edited by Ana Cavalcanti, Augusto Sampaio, by Cavalcanti, Ana | Sampaio, Augusto | Woodcock, Jim | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
9.
|
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; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
10.
|
OpenMP in a Heterogeneous World [Recurso electrónico] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. MÃ{uCB25}r, Marco Rorro. by Chapman, Barbara M | Massaioli, Federico | MÃ{uCB25}r, Matthias S | Rorro, Marco. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
11.
|
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; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
12.
|
|
|
13.
|
Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, M | Hoekstra, A.G | Priol, T | Reinefeld, A | Sloot, P.M.A | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
14.
|
Advances in Grid and Pervasive Computing [Recurso electrónico] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois. by Li, Ruixuan | Cao, Jiannong | Bourgeois, Julien. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
15.
|
Engineering Societies in the Agents World VII [Recurso electrónico] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers. Gregory M. P. O'Hare, Alessandro Ricci, Michael J. O'Gr by O'Hare, Gregory M. P | Dikenelli, Oguz | O'Grady, Michael J | Ricci, Alessandro | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
16.
|
Engineering Societies in the Agents World VI [Recurso electrónico] / 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro by Dikenelli, Oguz | Gleizes, Marie-Pierre | Ricci, Alessandro | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
17.
|
|
|
18.
|
Generative and Transformational Techniques in Software Engineering [Recurso electrónico] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers edited by Ralf LÃÞmmel, João Saraiva, Joost Visser. by LÃÞmmel, Ralf | Saraiva, João | Visser, Joost | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
19.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. by Noriega, Pablo | Boella, Guido | Boissier, Olivier | Dignum, Virginia | Fornara, Nicoletta | Matson, Eric | Vázquez-Salceda, Javier | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
20.
|
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [Recurso electrónico] / 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo by Abrahamsson, Pekka | Marchesi, Michele | Succi, Giancarlo | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|