Picture 1 of 1
Lecture Notes in Computer Science Ser.: Practical Aspects of Declarative Langua…
Condition:
Postage:
Located in: Kankakee, Illinois, United States
Delivery:
Estimated between Fri, 31 May and Fri, 7 Jun to 43230
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller information
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:302222193221
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- ISBN
- 9783319196855
- EAN
- 9783319196855
- Publication Year
- 2015
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, or, USA, June 18-19, 2015. Proceedings
- Item Length
- 9.3in
- Publisher
- Springer International Publishing A&G
- Item Width
- 6.1in
- Item Weight
- 89.1 Oz
- Number of Pages
- X, 149 Pages
About this product
Product Information
Ontology-Driven Data Semantics Discovery for Cyber-Security.- State Space Planning Using Transaction Logic.- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule.- Declaratively Solving Google Code Jam Problems with Picat.- Reactive Single-Page Applications with Dynamic Dataflow.- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.- Implementation and Performance of Probabilistic Inference.- A Haskell Implementation of a Rule-Based Program Transformation for C Programs.- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization.- Programming Microcontrollers in OCaml: the OCaPICProject.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3319196855
ISBN-13
9783319196855
eBay Product ID (ePID)
211552828
Product Key Features
Publication Name
Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, or, USA, June 18-19, 2015. Proceedings
Format
Trade Paperback
Language
English
Publication Year
2015
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
X, 149 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
89.1 Oz
Additional Product Features
Series Volume Number
9131
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.76.C65
Table of Content
Ontology-Driven Data Semantics Discovery for Cyber-Security.- State Space Planning Using Transaction Logic.- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule.- Declaratively Solving Google Code Jam Problems with Picat.- Reactive Single-Page Applications with Dynamic Dataflow.- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.- Implementation and Performance of Probabilistic Inference.- A Haskell Implementation of a Rule-Based Program Transformation for C Programs.- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization.- Programming Microcontrollers in OCaml: the OCaPICProject.
Copyright Date
2015
Topic
Programming Languages / General, Programming / General, Computer Science, Compilers
Dewey Decimal
005.131
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Computers
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:302222193221
Postage and handling
Item location:
Kankakee, Illinois, United States
Post to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, New Zealand, Nicaragua, Niger, Nigeria, Norway, Oman, Pakistan, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Kitts-Nevis, Saint Lucia, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Spain, Sri Lanka, Suriname, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Uganda, United Arab Emirates, United Kingdom, United States, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Samoa, Yemen, Zambia, Zimbabwe
Excludes:
Barbados, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Reunion, Russian Federation, Ukraine, Venezuela
Postage and handling | To | Service | Delivery*See Delivery notes |
---|---|---|---|
Free postage | United States | Economy Postage (USPS Media MailTM) | Estimated between Fri, 31 May and Fri, 7 Jun to 43230 |
Handling time |
---|
Will usually post within 2 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #302222193221
Sales Tax for an item #302222193221
Seller collects sales tax for items shipped to the following states:
State | Sales Tax Rate |
---|
Return policy
Return policy details |
---|
The seller will not accept returns for this item. |
Seller feedback (1,623)
.***. (128)- Feedback left by buyer.
Past 6 months
Verified purchase
Thank you! Just as described!
w***9 (1688)- Feedback left by buyer.
Past 6 months
Verified purchase
Thank you!
e***e (1212)- Feedback left by buyer.
Past 6 months
Verified purchase
Great communication!