|
|
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 Logic [Recurso electrónico] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. by Duparc, Jacques | Henzinger, Thomas A | 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
|
|
|
3.
|
|
|
|
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.
|
|
|
|
6.
|
|
|
|
7.
|
Algebra and Coalgebra in Computer Science [Recurso electrónico] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Fiadeiro, José Luis | Harman, Neil | Roggenbach, Markus | Rutten, Jan | 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
|
|
|
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.
|
Algebra and Coalgebra in Computer Science [Recurso electrónico] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Mossakowski, Till | Haveraaen, Magne | Montanari, Ugo | 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
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
Conditionals, Information, and Inference [Recurso electrónico] / International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm RÃœdder. by Kern-Isberner, Gabriele | Kulmann, Friedhelm | RÃœdder, Wilhelm | 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
|
|
|
17.
|
|
|
|
18.
|
Deontic Logic and Artificial Normative Systems [Recurso electrónico] / 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings edited by Lou Goble, John-Jules Ch. Mey by Goble, Lou | Meyer, John-Jules Ch | 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.
|
Scalable Uncertainty Management [Recurso electrónico] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian. by Prade, Henri | Subrahmanian, V. S | 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.
|
Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa by Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | 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
|