Principles and practice of constraint programming : 18th international conference, CP 2012 : Québec City, QC, Canada, October 8-12, 2012 : proceedings : Oct 2012, Québec City, Canada. (Lecture Notes in Computer Science ; 7514)

Principles and practice of constraint programming : 18th international conference, CP 2012 : Québec City, QC, Canada, October 8-12, 2012 : proceedings : Oct 2012, Québec City, Canada.

(Lecture Notes in Computer Science ; 7514)

Call No. (NDL): M17-13-1067
Bibliographic ID of National Diet Library: 024095819

Material type: 図書

Author: CP (Conference) (18th : 2012 : Québec, Québec)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xxii, 1015 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."The CP conference is the annual international conference on constraint programming." -- pref."For conference publicity I warml...

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642335587 (e-ISBN)
9783642335570
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Principles and practice of constraint programming : 18th international conference, CP 2012 : Québec City, QC, Canada, October 8-12, 2012 : proceedings : Oct 2012, Québec City, Canada.
Series Title: Lecture Notes in Computer Science ; 7514
Title Heading: Lecture notes in computer science ; 7514.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: CP (Conference) (18th : 2012 : Québec, Québec)
Milano, Michela.
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xxii, 1015 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Constraint programming (Computer science)--Congresses.
Computer science.
Computer software.
Logic design.
Electronic data processing.
Computational complexity.
Mathematical Logic and Formal Languages.
Numeric Computing.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
LCC: QA76.612
DDC: 005.1/16
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
"The CP conference is the annual international conference on constraint programming." -- pref.
"For conference publicity I warmly thank (...) in advertising the conference and the workshops (...) as Workshop Chair and put together an exciting program with five half-day workshops." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Source: SpringerLink
http://dx.doi.org/10.1007/978-3-642-33558-7
Holding library: 国立国会図書館
Call No.: M17-13-1067
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024095819
http://id.ndl.go.jp/bib/024095819
OCLC No.: 813972788
https://www.worldcat.org/oclc/813972788
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215