Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	FroCoS 2007 (2007 : Liverpool, England), Konev, Boris, Wolter, Frank., SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Logic, Symbolic and mathematical Computer science
Online Access:	http://dx.doi.org/10.1007/978-3-540-74621-8

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)

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)

Distributed Computing [electronic resource]: 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007: Proceedings/
by: DISC 2007 (2007 : Limassol, Cyprus), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

Advanced parallel processing technologies [electronic resources]: 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings/
by: APPT 2007 (2007 : Guangzhou, China), et al.
Published: (2007)

Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
by: SAGA 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007: Proceedings /
by: FAW 2007 (2007 : Lanzhou Shi, China), et al.
Published: (2007)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
by: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), et al.
Published: (2007)

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007: Proceedings /
by: ISBRA 2007 (2007 : Atlanta, Ga.), et al.
Published: (2007)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), et al.
Published: (2007)

Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)

Algorithms - ESA 2007 [electronic resources]: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007: Proceedings/
by: ESA 2007 (2007 : Elat, Israel), et al.
Published: (2007)

Advances in rule interchange and applications [electronic resources]: international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 : proceedings/
by: RuleML 2007 (2007 : Orlando, Fla.), et al.
Published: (2007)

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /
by: SARA 2007 (2007 : Whistler, B.C.), et al.
Published: (c200)

Stabilization, safety, and security of distributed systems [electronic resource]: 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings/
by: SSS 2007 (2007 : Paris, France), et al.
Published: (2007)

String Processing and Information Retrieval [electronic resource]: 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings/
by: SPIRE 2007 (2007 : Santiago, Chile), et al.
Published: (2007)

Smart sensing and context [electronic resource]: second European conference, EuroSSC 2007, Kendal, England, October 23-25, 2007 : proceedings/
by: EuroSSC 2007 (2007 : Kendal, England), et al.
Published: (2007)

Proceeding of Liverpool Singularities Symposium II [papers]/
by: Symposium on Singularities of Smooth Manifolds and Maps, University of Liverpool, Liverpool, September 1969-August 1970, et al.
Published: (1971)

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 : proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Dependable Computing [electronic resource]: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007: Proceedings/
by: LADC 2007 (2007 : Morelia, Michoacan de Ocampo, Mexico), et al.
Published: (2007)

HCI and usability for medicine and health care [electronic resource] : third symposium of the workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November 22, 2007 : proceedings/
by: USAB 2007 (2007 : Graz, Austria), 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)

International Symposium on Fundamentals of Software Engineering [electronic resource]: international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings/
by: International Symposium on Fundamentals of Software Engineering (2nd : 2007 : Tehran, Iran), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Advances in Databases and Information Systems [electronic resources]: 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007: Proceedings/
by: ADBIS 2007 (2007 : Varna, Bulgaria), et al.
Published: (2007)

Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007: Proceedings /
by: IWSOS 2007 (2007 : Keswick, Cumbria, England), et al.
Published: (2007)

Smart graphicsh[electronic resource]: 8th international symposium, SG 2007, Kyoto, Japan, June 25-27, 2007 : proceedings/
by: International Symposium on Smart Graphics (8th : 2007 : Kyoto, Japan), 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)

Comparative Genomics [electronic resource] : RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007: Proceedings /
by: RCG 2007 (2007 : San Diego, Calif.), 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)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), 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)

Embedded and ubiquitous computing [electronic resource]: international conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007 : proceedings/
by: EUC 2007 (2007 : Taipei, Taiwan), et al.
Published: (2007)

Multimedia content analysis and mining [electronic resources]: international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings/
by: MCAM 2007 (2007 : Weihai, China), et al.
Published: (2007)

High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007: Proceedings /
by: HPCC 2007 (2007 : Houston, Tex.), et al.
Published: (2007)

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007: Proceedings /
by: COSIT 2007 (2007 : Melbourne, Vic.), et al.
Published: (2007)

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)