|
1.
|
Theoretical Computer Science [Recurso electrónico] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone. by Calude, Cristian S | Sassone, Vladimiro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Online access: Texto completo Availability: No items available
|
|
2.
|
Computer Science -- Theory and Applications [Recurso electrónico] / First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings edited by Dima Grigoriev, John Harrison, Edward A. by Grigoriev, Dima | Harrison, John | Hirsch, Edward A | 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.
|
Mathematical Modeling and Computational Science [Recurso electrónico] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján BuÃ{u2861}, Michal HnatiÃ{u17C0} by Adam, Gheorghe | BuÃ{u2861}, Ján | HnatiÃ{u17EC} Michal. 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
|
|
4.
|
Theoretical Computer Science (vol. # 3701) [Recurso electrónico] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings edited by Mario Coppo, Elena Lodi, G. Michele Pinna. by Coppo, Mario | Lodi, Elena | Pinna, G. Michele | 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
|
|
5.
|
Computer Science - Theory and Applications [Recurso electrónico] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings. Volker Diekert, Mikhail V. Volkov, Andrei by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | 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
|
|
6.
|
Mathematical Foundations of Computer Science 2006 [Recurso electrónico] / 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings edited by Rastislav Královic, Pawel Urzyczyn. by Královic, Rastislav | Urzyczyn, Pawel | 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
|
|
7.
|
Advanced Computer Science and Information Technology [Recurso electrónico] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings / edited by G. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay. by Tomar, G. S | Chang, Ruay-Shiung | Gervasi, Osvaldo | Kim, Tai-hoon | Bandyopadhyay, Samir Kumar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available
|
|
8.
|
|
|
9.
|
Foundations of Software Science and Computational Structures [Recurso electrónico] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 Ì{u1498}£ April 1, 2012. Proceedings / edited by Lars Birkedal. by Birkedal, Lars. 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
|
|
10.
|
|
|
11.
|
|
|
12.
|
Database Theory and Application, Bio-Science and Bio-Technology [Recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song. by Zhang, Yanchun | Cuzzocrea, Alfredo | Ma, Jianhua | Chung, Kyo-il | Arslan, Tughrul | Song, Xiaofeng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
Unconventional Computation (vol. # 4135) [Recurso electrónico] / 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg et al. by Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Rozenberg, Grzegorz | Stepney, Susan | 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.
|
Unconventional Computation (vol. # 3699) [Recurso electrónico] / 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez et al by Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Pérez-Jiménez, Mario de Jesus | Rozenberg, Grzegorz | 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
|
|
18.
|
|
|
19.
|
|
|
20.
|
|