|
|
1.
|
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia | 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
|
|
|
2.
|
Embedded Software and Systems [Recurso electrónico] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings edited by Yann-Hang LeeHeung-Nam Kim, Jong Kim, Yongwan Park et al. by Lee, Yann-Hang | Kim, Heung-Nam | Kim, Jong | Kim, Sung Won | Park, Yongwan | Yang, Laurence T | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
|
3.
|
Web Reasoning and Rule Systems [Recurso electrónico] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo | de Sainte Marie, Christian | Pan, Jeff Z | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Quantum Independent Increment Processes II [Recurso electrónico] / Structure of Quantum Lévy Processes, Classical Probability, and Physics edited by Ole E. Barndorff-NielsenUwe Franz, Rolf Gohm, Burkhard KÃơmmerer et al. by Barndorff-Nielsen, Ole E | Schuermann, Michael | Franz, Uwe | Gohm, Rolf | KÃơmmerer, Burkhard | ThorbjÃŗnsen, Steen | 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.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
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
|
|
|
17.
|
|
|
|
18.
|
Combinatorial Geometry and Graph Theory [Recurso electrónico] / Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano. by Akiyama, Jin | Baskoro, Edy Tri | Kano, Mikio | 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
|
|
|
19.
|
|
|
|
20.
|
Machine Learning for Multimodal Interaction (vol. # 3361) [Recurso electrónico] / First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers edited by Samy Bengio, Hervé Bourlard. by Bengio, Samy | Bourlard, Hervé | 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
|