Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, No, (Paperback)
USA mağazasından ithal edildi
Ubuy, güvenliğiniz ve gizliliğiniz için yoğun çaba sarf etmektedir. Gelişmiş ödeme güvenlik sistemimiz, iletim sırasında bilgilerinizi AES (Gelişmiş Şifreleme Standartları) ve SSL (Güvenli Soket Katmanı) protokolleri kullanarak şifreleyerek gizliliği sağlar. Ödeme bilgileriniz, üçüncü taraf satıcılarla paylaşılmadığı için %100 güvende.
Hızlı
Kargo
Ücretsiz
İade*
Güvenli Paketleme
%100 Orijinal Ürünler
PCI DSS Uyumlu
ISO 27001 Sertifikalı
Ürün Detayları
- This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
| Publication date | November, 2008 |
| Author | Iliano Cervesato |
| Book format | Paperback |
| Genre | Computing & Internet |
| Pages | 714 |
| Age group | Adult |
| Series title | No Series |
| Fiction/nonfiction | Non-Fiction |
| Publisher | Springer |
| Educational level | Higher |
| Subgenre | Software Development & Engineering |
| Original languages | English |
| Recording time | 0 min |
| Is collectible | N |
| Bisac subject heading | Computers |
| Edition | 2008 Edition |
| Language | English |
| Pub date | 2008-11-13 |
| Item Weight | 2 lbs (910 grams) |
ÜRÜN AÇIKLAMASI
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, No, (Paperback)
Önemli bilgi
- Sınırlamalar : Uluslararası olarak gönderilen ürünler için, üretici garantisinin geçerli olmayabileceğini lütfen unutmayın; üretici servis seçenekleri mevcut olmayabilir; ürün kılavuzları, talimatlar ve güvenlik uyarıları hedef ülke dillerinde olmayabilir; ürünler (ve beraberindeki malzemeler) varış ülkesi standartlarına, spesifikasyonlarına ve etiketleme gerekliliklerine uygun olarak tasarlanmayabilir; ve ürünler hedef ülke voltajına ve diğer elektrik standartlarına uygun olmayabilir (uygunsa bir adaptör veya dönüştürücü kullanılmasını gerektirir). Alıcı, ürünün yasal olarak hedef ülkeye ithal edilebildiğinden emin olmaktan sorumludur. Ubuy veya bağlı kuruluşlarından sipariş verirken, alıcı kayıtlı ithalatçıdır ve varış ülkesinin tüm yasa ve düzenlemelerine uymalıdır.
- Ubuy küresel bir arama motoru olduğundan, Ubuy'da listelenen tüm ürünler satılık değildir. Ürünler ihracat/ticaret düzenlemelerine tabidir.
Şu anda stokta yok.
Bu ürünün tekrar stokta olup olmayacağıını veya ne zaman olacağını bilmiyoruz.
Bu ürün ülkemde kısıtlı değil. (Bu ürün ülkenizde kısıtlı değilse lütfen yukarıdaki bağlantıya tıklayın, böylece ekibimiz inceleyecek ve izin verecektir).
PCI DSS uyumlu ve ISO 27001:2022 sertifikalı olup, her siparişte şifrelenmiş ödeme ve tam alıcı koruması sunar.
Ubuy Güvencesi
%100 orijinal ürünler, PCI DSS uyumlu ödeme güvenliği, ISO 27001 sertifikalı veri koruması, en hızlı sınır ötesi teslimat, ücretsiz iade * ve her siparişte güvenli paketleme ile kaygısız alışverişin keyfini çıkarın.