Practical aspects of declarative languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, proceedings /

Bibliographic Details
Main Author:	Van Hentenryck, Pascal
Format:
Language:	eng
Published:	New York, NY : Springer, 2006
Subjects:	Programming languages (Electronic computers)

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
by: VMCAI 2006 (2006 : Charleston, S.C.), et al.
Published: (2006)

Pacific Symposium on Biocomputing 2006 : Hawaii, USA, 3-7 January 2006 /
by: Pacific Symposium on Biocomputing (2006 : Maui, Hawaii), et al.
Published: (2006)

COMPSTAT 2006 - proceedings in computational statistics : 17th symposium held in Rome, Italy, 2006 /
by: Rizzi, Alfredo, et al.
Published: (2006)

Proceedings of the conference on advances in mechanical engineering (AIME-2006), Januari 20-21, 2006 /
by: Conference on advances in mechanical engineering : (2006), et al.
Published: (2006)

Proceedings of the 14th International Symposium on Bioluminescence and Chemiluminescence : chemistry, biology and applications, San Diego USA 15-19 October 2006 /
by: International Symposium on Bioluminescence and Chemiluminescence (14th : 2006 : San Diego, Calif.), et al.
Published: (2007)

Chinese spoken language processing : 5th international symposium, ISCSLP 2006, Singapore, December 13-16, 2006 proceedings /
by: International Symposium on Chinese Spoken Language Processing (5th : 2006 : Singapore), et al.
Published: (2006)

Coastal engineering 2006 : proceedings of the 30th international conference : San Diego, California, USA, 3-8 September 2006 /
by: International Conference on Coastal Engineering (30th : 2006 : San Diego, Calif.) 542031, et al.
Published: (c200)

Proceedings of the International Symposium of the International Society for rock mechanics on Eurock 2006 : multiphysics coupling and long term behaviour in rock mechanics, 9th-12th May 2006, Liege, Belgium /
by: International Symposium of the International society for rock mechanics, Eurock 2006 (2006, Liege, Belgium), et al.
Published: (2006)

The Graz Declaration on Disability and Ageing 2006
by: Germain Weber
Published: (2009-06-01)

STAIRS 2006 : proceedings of the third starting AI researchers' symposium /
by: Starting Artificial Intelligence Researchers Symposium (3rd : 2006 : [Riva, Italy), et al.
Published: (2006)

Database and XML technologies : 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006 : proceedings /
by: International XML Database Symposium (4th : 2006 : Seoul, Korea), et al.
Published: (2006)

North American tunneling 2006 : proceedings of the North American tunneling conference 2006 ;10-15 June 2006, Chicago, USA /
by: Proceedings of the North American Tunneling 2006 Conference (2006 : Chicago, USA), et al.
Published: (2006)

Computer vision - ACCV 2006 : 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I /
by: Asian Conference on Computer Vision (7th : 2006 : Hyderabad, India), et al.
Published: (2006)

Advances in biometrics : international conference, ICB 2006, Hong Kong, China, January 5-7, 2006 : proceedings /
by: ICB 2006 ( 2006 : Hong Kong, China), et al.
Published: (2006)

Biomedical simulation : third international symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006 : proceedings /
by: ISBMS 2006 (3rd : 2006 : Zurich, Switzerland), et al.
Published: (2006)

PADLs : supporting digital scholarship in digital libraries
by: Goh, Dion Hoe-Lian
Published: (2009)

Scientific bases for the preparation of heterogeneous catalysts : proceedings of the 9th international symposium, Louvain-la-Neuve, Belgium, September 10-14, 2006 /
by: 390083 Gaigneaux, E., et al.
Published: (2006)

North American tunneling 2006 [electronic resource] : proceedings of the North American tunneling conference 2006 ;10-15 June 2006, Chicago, USA /
by: Proceedings of the North American Tunneling 2006 Conference (2006 : Chicago, USA), et al.
Published: (2006)

Recent progress in mesostructured materials : proceedings of the 5th International mesostructured materials symposium (IMMS 2006) Shanghai /
by: Zhao, Dongyuan, et al.
Published: (2007)

Planetary nebulae in our galaxy and beyond : proceedings of the 234th symposium of the International Astronomical Union held in Waikoloa Beach, Hawaii, USA, April 3-7, 2006 /
by: International Astronomical Union. Symposium (234th : 2006 : Waikoloa, Hawaii), et al.
Published: (2006)

International symposium on ICT for rural development 2006, 19-20 April 2006, Kota Samarahan, Sarawak, Malaysia : proceedings /
by: International Symposium on ICT for Rural Development (2006 : Sarawak, Malaysia), et al.
Published: (2006)

Piezoelectricity, acoustic waves and device applications : proceedings of the 2006 Symposium, Zhejiang University, China, 14-16, December 2006 /
by: Symposium on Piezoelectricity, Acoustic Waves and Device Applications (2nd : 2006 : Zhejiang University, China), et al.
Published: (2007)

Ubiquitous computing systems : third international symposium, UCS 2006, Seoul, Korea, October 11-13, 2006 : proceedings /
by: UCS 2006 (2006 : Seoul, Korea), et al.
Published: (2006)

Service-Oriented Computing ICSOC 2006 [electronic resource]: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops: Proceedings/
by: International Workshop on Engineering Service-oriented Applications: Design and Composition (2nd : 2006 : Chicago, Ill.), et al.
Published: (2007)

Web and wireless geographical information systems : 6th international symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006 : proceedings /
by: W2GIS 2006 (2006 : Hong Kong, China), et al.
Published: (2006)

TRI-Ada `88 : proceedings of TRI-Ada `88, October 24-27, 1988, Charleston Civic Center, Charleston, West Virginia
Published: (1988)

Advances in knowledge discovery and data mining : 10th Asia-Pacific Conference, PAKDD 2006, Singapore, April 9-12, 2006 : proceedings /
by: Pacific-Asia Conference on Knowledge Discovery and Data Mining (10th : 2006 : Singapore), et al.
Published: (2006)

Forensic engineering : proceedings of the 4th congress, October 6-9, 2006, Cleveland, Ohio /
by: Forensic Engineering Congress (4th : 2006 : Cleveland, Ohio), et al.
Published: (2007)

Rock mechanics in underground construction : ISRM International Symposium 2006 : 4th Asian Rock Mechanics Symposium, 8 - 10 November 2006, Singapore /
by: Leung, C. F., et al.
Published: (2006)

Proceedings of the 4th Annual Fundamentals Science Seminar, AFSS 2006, 6-7 June 2006 /
by: Annual Fundamental Science Seminar (2006 : Johor Bahru), et al.
Published: (2006)

Joint public/private development : the case of Charleston Center, Charleston, South Carolina
by: Davis, Howard Wilson
Published: (2012)

9th Advances in Reliability Technology Symposium : proceedings
by: Advances in Reliability Technology Symposium (9th : 1986 : Bradford)
Published: (1986)

Computational life sciences II : second international symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006 : proceedings /
by: CompLife 2006 (2006 : Cambridge, England), et al.
Published: (2006)

PADL: A Modeling and Deployment Language for Advanced Analytical Services
by: Josu Díaz-de-Arcaya, et al.
Published: (2020-11-01)

Rock mechanics in underground construction [compact disc] : ISRM International Symposium 2006 : 4th Asian Rock Mechanics Symposium, 8 - 10 November 2006, Singapore /
by: Leung, C. F., et al.
Published: (2006)

The Biological and Anthropogenic Soundscape of an Urbanized Port – the Charleston Harbor Estuary, South Carolina, USA
by: Lindsey Transue, et al.
Published: (2023-01-01)

The Biological and Anthropogenic Soundscape of an Urbanized Port - the Charleston Harbor Estuary, South Carolina, USA.
by: Lindsey Transue, et al.
Published: (2023-01-01)

Catalyst deactivation 2001 : proceedings of the 9th International Symposium Lexington, KY, USA, 7-10 October 2001 /
by: Spivey, James J., et al.
Published: (2001)

Practical aspects of declarative languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, proceedings /

Similar Items

Similar Items