Foundations of software science and computational structures [electronic resource]: 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/

Foundations of software science and computational structures [electronic resource]: 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/

Show other versions (1)

57

Bibliographic Details
Main Authors:	FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Computer software Logic, Symbolic and mathematical System analysis
Online Access:	http://dx.doi.org/10.1007/978-3-540-71389-0

Similar Items

Foundations of software science and computational structures [electronic resource] : 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/
by: FOSSACS 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 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 /
by: FASE 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 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/
by: FASE 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Wired / wireless internet communications : 5th international conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007 : proceedings /
by: WWIC 2007 (2007 : Coimbra, Portugal), et al.
Published: (2007)

Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /
by: SAT 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Foundations of Software Science and Computation Structures − 16th International Conference‚ FOSSACS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings
Published: (2013)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
by: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), et al.
Published: (2007)

Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007: Proceedings /
by: ECAL 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: Proceedings /
by: International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal), et al.
Published: (2007)

Affective Computing and Intelligent Interaction [electronic resource] : Second International Conference, ACII 2007 Lisbon, Portugal, September 12-14, 2007 Proceedings /
by: ACII 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Virtual reality : second international conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
by: ICVR 2007 (2007 : Beijing, China), et al.
Published: (2007)

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007: Proceedings /
by: ICESS 2007 (2007 : Daegu, Korea), et al.
Published: (2007)

Advances in fracture and damage mechanics VI : proceedings of the 6th International Conference on Fracture and Damage Mechanics, FDM 2007, 17-19 July 2007 Portugal /
by: International Conference on Fracture and Damage Mechanics (6th : 2007 : Madeira, Portugal), et al.
Published: (2007)

Software process dynamics and agility [electronic resource]: International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings/
by: International Conference on the Software Process (2007 : Minneapolis, Minn.), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings /
by: BIRD 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: EHAWC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Computational vision and medical image processing : VipIMAGE 2007 : proceedings of Vipimage 2007 - Firstveccomas thematic conference on computational vision and medical image processing, Porto, portugal, 17-19 October 2007 /
by: Conference on computational vision and medical image procesing (1st : 2007 : Porto, Portugal), et al.
Published: (2008)

On the move to meaningful internet systems 2007 [electronic resource]: CoopIS, DOA, ODBASE, GADA, and IS : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings/
by: OTM Confederated International Conferences (2007 : Vila Moura, Portugal), et al.
Published: (2007)

On the move to meaningful internet systems 2007 [electronic resource]: CoopIS, DOA, ODBASE, GADA, and IS : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings/
by: OTM Confederated International Conferences (2007 : Vila Moura, Portugal), et al.
Published: (2007)

Software architectures, components and applications : third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007 : revised selected papers /
by: International Conference on quality of software architetures, QoSA2007, (3th. : July, 2007 : Medford, MA, USA), et al.
Published: (2007)

Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
by: ARCS 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007: Proceedings /
by: PROFES 2007 (2007 : Riga, Latvia), et al.
Published: (2007)

Artificial Neural Networks - ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007: Proceedings, Part I /
by: International Conference on Artificial Neural Networks (European Neural Network Society) (17th : 2007 : Porto, Portugal), et al.
Published: (2007)

Artificial Neural Networks - ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007: Proceedings, Part II /
by: International Conference on Artificial Neural Networks (European Neural Network Society) (17th : 2007 : Porto, Portugal), et al.
Published: (2007)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
by: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), et al.
Published: (2008)

Evolutionary Multi-Criterion Optimization [electronic resource] : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings /
by: EMO 2007 (2007 : Sendai-shi, Miyagi-ken, Japan), et al.
Published: (2007)

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource]: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers /
by: SEAFOOD 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
by: FSE 2007 (2007 : Luxembourg, Luxembourg), et al.
Published: (2007)

Anaphora: Analysis, Algorithms and Applications [electronic resources]: 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers/
by: Discourse Anaphora and Anaphor Resolution Colloquium (6th : 2007 : Lagos, Portugal), et al.
Published: (2007)

Agile processes in software engineering and eXtreme programming [electronic resources]: 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings/
by: XP 2007 (2007 : Como, Italy), et al.
Published: (2007)

Foundations of Augmented Cognition [electronic resource] : Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: International Conference on Augmented Cognition (3rd : 2007 : Beijing, China), et al.
Published: (2007)

Current issues of physics in Malaysia : National Physics Conference 2007 : PERFIK 2007, Kuala Terengganu, Malaysia, 26-28 December 2007 /
by: National Physics Conference (2007 : Kuala Terengganu, Malaysia), et al.
Published: (c200)

Digital human modeling : First International Conference on Digital Human Modeling, ICDHM 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
by: International Conference on Digital Human Modeling (1st : 2007 : Beijing, ChinDuffy, Vincent D.), et al.
Published: (2007)

Proceedings of the International Conference on Engineering and ICT (ICEI 2007), Melaka, 27-28 Nov. 2007 [electronic resource] /
by: International Conference on Engineering and ICT (ICEI 2007) (2007 : Universiti Teknikal Malaysia, Melaka), et al.
Published: (2007)