Cargando…

Foundations of software science and computational structures: 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, proceedings

Detalles Bibliográficos
Autor principal:	Seidl, Helmut
Lenguaje:	eng
Publicado:	Springer 2007
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756754

Ejemplares similares

Embedded software and systems: third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, proceedings
por: Lee, Yann-Hang, et al.
Publicado: (2007)

ASIASIM 2007: Asia simulation conference 2007, Seoul, Korea, October 10-12, 2007, proceedings
por: Park, Jin-Woo, et al.
Publicado: (2008)

Advances in artificial life: 9th European conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, proceedings
por: Almeida e Costa, Fernando
Publicado: (2007)

Business information systems: 10th international conference, BIS 2007, Poznan, Poland, April 25-27, 2007, proceedings
por: Abramowicz, Witold
Publicado: (2007)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

Architecture of computing systems - ARCS 2007: 20th international conference, Zurich, Switzerland, March 12-15, 2007, proceedings
por: Lukowicz, Paul, et al.
Publicado: (2007)

Evolutionary multi-criterion optimization: 4th international conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, proceedings
por: Obayashi, Shigeru, et al.
Publicado: (2007)

Fundamental approaches to software engineering: 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Egyed, Alexander, et al.
Publicado: (2015)

Fundamental approaches to software engineering: 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Huisman, Marieke, et al.
Publicado: (2017)

Creativity and HCI: selected contributions from HCIED 2007, March 29-30, 2007, Aveiro, Portugal
por: Kotzé, Paula, et al.
Publicado: (2008)

Advances in biometrics: international conference, ICB 2007, Seoul, Korea, August 27-29, 2007, proceedings
por: Lee, Seong-Whan, et al.
Publicado: (2007)

April-May 2007
Publicado: (2007)

25-April 2007
Publicado: (2007)

Proceedings of the Fifth International Conference on Fluid Mechanics (Shanghai, 2007)
por: Zhuang, F. G, et al.
Publicado: (2009)

January-March 2007
Publicado: (2007)

IEEE EUROCON 2007 Conference
Publicado: (2008)

Usability and internationalization HCI and culture: second international conference on usability and internationalization, UI-HCII 2007, held as part of HCI international 2007, Beijing, China, July 22-27, 2007, proceedings, part I
por: Aykin, Nuray
Publicado: (2007)

Principles of security and trust: 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Maffei, Matteo, et al.
Publicado: (2017)

Software process and product measurement: international conference, IWSM-MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, revised papers
por: Abran, Alain, et al.
Publicado: (2008)

Hybrid systems: 10th international workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, proceedings
por: Bemporad, Alberto, et al.
Publicado: (2007)

Intelligence and security informatics: Pacific Asia workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, proceedings
por: Yang, Christopher C, et al.
Publicado: (2007)

Interactive TV: 5th European conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007, proceedings
por: Cesar, Pablo, et al.
Publicado: (2007)

Artificial intelligence and innovations 2007: proceedings of the 4th IFIP international conference on artificial intelligence applications and innovations (AIAI2007)
por: Boukis, Christos, et al.
Publicado: (2007)

Advanced data mining and applications: third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 proceedings
por: Alhajj, Reda, et al.
Publicado: (2007)

Algorithmic learning theory: 18th international conference, ALT 2007, Sendai, Japan, October 1-4, 2007, proceedings
por: Hutter, Marcus, et al.
Publicado: (2007)

2007 Physics Education Research Conference
por: Hsu, Leon, et al.
Publicado: (2007)

International Conference on Nanoscience and Nanotechnology 2007
por: Bellucci, Stefano
Publicado: (2008)

Tools and algorithms for the construction and analysis of systems: 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Baier, Christel, et al.
Publicado: (2015)

AI 2007: 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2-6, 2007, proceedings
por: Orgun, Mehmet A, et al.
Publicado: (2007)

Applied cryptography and network security: 5th international conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, proceedings
por: Katz, Jonathan, et al.
Publicado: (2007)

Proceedings of the First International Conference on Toxicogenomics Integrated with Environmental Sciences (TIES-2007)
por: Bushel, Pierre R, et al.
Publicado: (2009)

Web information systems and technologies: third international conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, revised selected papers
por: Filipe, Joaquim, et al.
Publicado: (2008)

Minutes of the 87th LHCC meeting held on 21 and 22 March 2007
por: Tsesmelis, E, et al.
Publicado: (2007)

Network control and optimization: first EuroFGI international conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, proceedings
por: Chahed, Tijani, et al.
Publicado: (2007)

Abstracts of Papers Presented at the 2007 Pittsburgh Conference
por: Stockwell, Peter B.
Publicado: (2007)

Conference and Workshop on Perspective in Nonlinear Dynamic 2007
por: Gupte, Neelima, et al.
Publicado: (2008)

2007 International Conference on Frontiers of Characterization and Metrology
por: Seiler, David G, et al.
Publicado: (2007)

The Europa international foundation directory 2007
Publicado: (2007)

Programming languages and systems: 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, proceedings
por: Thiemann, Peter
Publicado: (2016)

Programming languages and systems: 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Vitek, Jan
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_qs6j202rci7qiiv2ek4ad0ebbe