Afbeelding 1 van 1
Lecture Notes in Computer Science Ser.: Practical Aspects of Declarative Langua…
Objectstaat:
Verzendkosten:
Bevindt zich in: Kankakee, Illinois, Verenigde Staten
Levering:
Geschatte levering tussen za, 22 jun en za, 29 jun tot 43230
Retourbeleid:
Betalingen:
Winkel met vertrouwen
Verkopergegevens
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:302222193221
Specificaties
- Objectstaat
- ISBN
- 9783319196855
- EAN
- 9783319196855
- Subject Area
- Computers
- Publication Name
- Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, or, USA, June 18-19, 2015. Proceedings
- Item Length
- 9.3 in
- Publisher
- Springer International Publishing A&G
- Subject
- Programming Languages / General, Programming / General, Computer Science, Compilers
- Publication Year
- 2015
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 89.1 Oz
- Number of Pages
- X, 149 Pages
Over dit 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
Subject
Programming Languages / General, Programming / General, Computer Science, Compilers
Publication Year
2015
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Subject Area
Computers
Number of Pages
X, 149 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
89.1 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
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
Dewey Decimal
005.131
Dewey Edition
23
Illustrated
Yes
Objectbeschrijving van de verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:302222193221
Verzending en verwerking
Objectlocatie:
Kankakee, Illinois, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Slovenië, Slowakije, Solomoneilanden, Spanje, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Verenigde Staten, Vietnam, Wallis en Futuna, Westelijk Samoa, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Russische Federatie, Réunion, Venezuela
Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
---|---|---|---|
Gratis verzending | Verenigde Staten | Voordelige verzending (USPS Media MailTM) | Geschatte levering tussen za, 22 jun en za, 29 jun tot 43230 |
Verwerkingstijd |
---|
Wordt doorgaans binnen 2 werkdagen na ontvangst van betaling verzonden. |
Belasting |
---|
Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.302222193221
Btw voor objectnr.302222193221
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
Staat/provincie | Btw-tarief |
---|
Retourbeleid
Details retourbeleid |
---|
De verkoper accepteert geen retourzendingen voor dit object. |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.629)
f***x (376)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
GOOD SELLER!
n***t (3164)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
A++++++
n***t (3164)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
A++++++