Results
|
|
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan (eds.) by Deransart, Pierre | Jourdan, Martin, 1959- | Institut national de recherche en informatique et en automatique | Association française pour la cybernétique économique et technique | International Workshop on Attribute Grammars and Their Applications (1990. Paris, France). Series: Lecture notes in computer science ; 461Material type: Text; Format:
print
Publication details: Berlin ; New York : Springer-Verlag, c1990Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: Depósito-681.3.06/ATR.
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 3385Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3317Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 3330Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 3361Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Programming Multi-Agent Systems (vol. # 3346) [Recurso electrónico] / Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El by Bordini, Rafael H | Dastani, Mehdi | Dix, JÃơrgen | Seghrouchni, Amal El Fallah | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3346Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Scientific Engineering of Distributed Java Applications [Recurso electrónico] / 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers edited by Nicolas Guelfi, Gianna Reggio, A by Guelfi, Nicolas | Reggio, Gianna | Romanovsky, Alexander | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3409Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Law and the Semantic Web [Recurso electrónico] / Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications edited by Bran Selic, Richard Benjamins, Pompeu Casanovas, Aldo Gangemi. by Selic, Bran | Benjamins, Richard | Casanovas, Pompeu | Gangemi, Aldo | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3369Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Information Retrieval Technology (vol. # 3411) [Recurso electrónico] / Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers edited by Sung Hyon Myaeng, Kam-Fai Wong, Hong-Jiang Zhang, M by Myaeng, Sung Hyon | Wong, Kam-Fai | Zhang, Hong-Jiang | Zhou, Ming | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3411Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb by Mauri, Giancarlo | Paun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3365Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Knowledge Discovery in Inductive Databases (vol. # 3377) [Recurso electrónico] / Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers edited by Bart Goethals, Arno Siebes. by Goethals, Bart | Siebes, Arno | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3377Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Formal Approaches to Software Testing (vol. # 3395) [Recurso electrónico] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens | Nielsen, Brian | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3395Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Databases, Information Systems, and Peer-to-Peer Computing [Recurso electrónico] / Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers edited by Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, C by Ng, Wee Siong | Ooi, Beng Chin | Ouksel, Aris | Sartori, Claudio | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3367Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
|
Security in Pervasive Computing (vol. # 3934) [Recurso electrónico] / Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke. by Clark, John A | Brooke, Phillip J | Paige, Richard F | Polack, Fiona A.C | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3934Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|