-
- Australia
- Canada
- UK
- USA
- Afghanistan
- Albania
- Algeria
- American Samoa
- Andorra
- Angola
- Anguilla
- Antarctica
- Antigua and Barbuda
- Argentina
- Armenia
- Aruba
- Australia
- Austria
- Azerbaijan
- Bahamas
- Bahrain
- Bangladesh
- Barbados
- Belarus
- Belgium
- Belize
- Benin
- Bermuda
- Bhutan
- Bolivia
- Bosnia and Herzegovina
- Botswana
- Brazil
- British Indian Ocean Territory
- Brunei Darussalam
- Bulgaria
- Burkina Faso
- Burundi
- Cambodia
- Cameroon
- Canada
- Cape Verde
- Cayman
- Central African R
- Chad
- Chile
- China
- Cocos (Keeling)
- Colombia
- Comoros
- Congo, The DR
- Congo, Rep of
- Cook Is
- Costa Rica
- Cote d'Ivoire
- Croatia/Hrvatska
- Cuba
- Cyprus
- Czech Repu
- Denmark
- Djibouti
- Dominica
- Dominican R
- Timor-Leste
- Ecuador
- Egypt
- El Salvador
- Equatorial Guinea
- Eritrea
- Estonia
- Ethiopia
- Falklands (Malvinas)
- Fiji
- Finland
- France
- French Guiana
- French Polynesia
- French Southern Territories
- Gabon
- Gambia
- Georgia
- Germany
- Ghana
- Gibraltar
- Greece
- Greenland
- Grenada
- Guadeloupe
- Guam
- Guatemala
- Guernsey
- Guinea
- Guinea-Bissau
- Guyana
- Haiti
- Heard and McDonald Is
- Holy See (Vatican City State)
- Honduras
- Hong Kong
- Hungary
- Iceland
- India
- Indonesia
- Iran
- Iraq
- Ireland
- Isle of Man
- Israel
- Italy
- Jamaica
- Japan
- Jersey
- Jordan
- Kazakhstan
- Kenya
- Kiribati
- Korea, DPR
- Korea, Repub of
- Kuwait
- Kyrgyzstan
- Lao
- Latvia
- Lebanon
- Lesotho
- Liberia
- Libyan Arab Jamahiriya
- Liechtenstein
- Lithuania
- Luxembourg
- Montenegro
- Macau
- Macedonia
- Madagascar
- Malawi
- Malaysia
- Maldives
- Mali
- Malta
- Marshall Is
- Martinique
- Mauritania
- Mauritius
- Mayotte
- Mexico
- Micronesia, Federal State of
- Moldova
- Monaco
- Mongolia
- Montserrat
- Morocco
- Mozambique
- Myanmar
- Namibia
- Nauru
- Nepal
- Netherlands
- Netherlands Antilles
- New Caledonia
- New Zealand
- Nicaragua
- Niger
- Nigeria
- Niue
- Norway
- Oman
- Pakistan
- Palau
- Palestinian Territories
- Panama
- Papua New Guinea
- Paraguay
- Peru
- Philippines
- Pitcairn
- Poland
- Portugal
- Puerto Rico
- Qatar
- Reunion
- Romania
- Russian Federation
- Rwanda
- Serbia
- St Kitts and Nevis
- Snt Lucia
- Sa Vincent and the Grenadines
- San Marino
- Sao Tome and Principe
- Saudi Arabia
- Senegal
- Seychelles
- Sierra Leone
- Singapore
- Slovak R
- Slovenia
- Solomons
- Somalia
- South Africa
- South Georgia and the South Sandwich
- Spain
- Sri Lanka
- S Helena
- S Pierre and Miquelon
- Sudan
- Suriname
- Svalbard and Jan Mayen
- Swaziland
- Sweden
- Switzerland
- Syria
- Taiwan
- Tajikistan
- Tanzania
- Thailand
- Togo
- Tokelau
- Tonga
- Trinidad and Tobago
- Tunisia
- Turkey
- Turkmenistan
- Turks and Caicos
- Tuvalu
- Uganda
- Ukraine
- Unitd Arab Emirates
- UK
- USA
- Uruguay
- Uzbekistan
- Vanuatu
- Venezuela
- Vietnam
- Virgin Is, British
- Virgin Is, U.S.
- Wallis and Futuna
- Western Sahara
- Western Samoa
- Yemen
- Yugoslavia
- Zambia
- Zimbabwe
- Gift certificates
- Academic eBooks
- My account
- Help
- Wishlist
- Feedback
- Sign up
The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
The Calculus of Computation
Springer 2007; US$ 39.99Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories. more...
Logic for Computer Science and Artificial Intelligence
Wiley 2013; US$ 197.00Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified... more...
Logic in Computer Science
Cambridge University Press 2004; US$ 70.00This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated. more...
Specification and Verification of Declarative Open Interaction Models
Springer 2010; US$ 95.00Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension... more...
- 1
- Page
Top 10 Computer Science bestsellers:
