0 ratings
รายการ #:
200523301
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, No, (Paperback)
รายการ #:
200523301
THB 5000
รายละเอียดราคา
ไม่รวมค่าจัดส่งและค่าธรรมเนียมศุลกากร ( ค่าจัดส่งและค่าธรรมเนียมศุลกากรจะคำนวณตอนชำระเงิน )
*สินค้าทั้งหมดจะนำเข้าจาก สหรัฐอเมริกา
0 ratings
เขียนรีวิว
มีสินค้า
นำเข้าจาก USA ร้านค้า
จำนวน:
เหลือเพียง 12 รายการในสต็อก
สั่งซื้อตอนนี้และรับสินค้าประมาณ วันพุธ, ตุลาคม 28
การทำธุรกรรมที่ปลอดภัย
Ubuy ทำงานอย่างหนักเพื่อปกป้องความปลอดภัยและความเป็นส่วนตัวของคุณ ระบบรักษาความปลอดภัยการชำระเงินขั้นสูงของเราช่วยให้ข้อมูลของคุณเป็นความลับ โดยการเข้ารหัสข้อมูลระหว่างการส่งโดยใช้โปรโตคอล AES (Advanced Encryption Standards) และ SSL (Secure Socket Layer) รายละเอียดการชำระเงินของคุณปลอดภัย 100% เนื่องจากเราไม่แบ่งปันข้อมูลการชำระเงินของคุณกับผู้ขายบุคคลที่สาม
พันธมิตรด้านโลจิสติกส์ชั้นนำของเรา
This book presents 45 revised full papers addressing all current issues in automated reasoning, computational logic, and programming languages.
Fast
Shipping
คืนสินค้าฟรี*
แพ็คสินค้าอย่างปลอดภัย
สินค้าแท้ 100%
ผ่านมาตรฐาน PCI DSS
ได้รับการรับรอง ISO 27001
Note: Step Down Voltage Transformer required for using electronics products of สหรัฐอเมริกา store (110-120). Recommended power converters ซื้อเลย.
รายละเอียดสินค้า
- 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) |
ข้อมูลผลิตภัณฑ์
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, No, (Paperback)
มีข้อสงสัย? คุยกับเรา
คำถามและคำตอบของลูกค้า
-
คำถาม:
จะซื้อ Logic for Programming, Artificial Intelligence, and ทางออนไลน์จาก Ubuy ได้อย่างไร
คำตอบ: ซื้อสินค้า Logic for Programming, Artificial Intelligence, and ทางออนไลน์จาก Ubuy ได้ง่ายๆ. คุณเพียงแค่ต้องค้นหาสินค้า เลือกวิธีการจัดส่งของคุณในขณะที่ทำการชำระเงิน และส่งไปยังสถานที่ของคุณ -
คำถาม:
Logic for Programming, Artificial Intelligence, and มีให้ช็อปออนไลน์ใน Thailand หรือไม่
คำตอบ: ใช่ ที่ Ubuy Thailand ผลิตภัณฑ์นี้มีให้คุณเลือกซื้อในราคาที่เหมาะสม. Logic for Programming, Artificial Intelligence, and ไม่มีให้บริการในพื้นที่ แต่คุณสามารถไว้วางใจเราด้วยบริการจัดส่งด่วนของเรา -
คำถาม:
ใช้เวลานานแค่ไหนในการรับสินค้าหลังจากทำการสั่งซื้อ?
คำตอบ: เวลาจัดส่งของผลิตภัณฑ์ที่คุณสั่งซื้อจะแตกต่างกันไปตามสิ่งที่คุณสั่งซื้อและวิธีการจัดส่งที่คุณเลือก. เวลาจัดส่งโดยประมาณจะระบุไว้ในขั้นตอนการชำระเงิน ดังนั้นโปรดอย่ากังวลขณะช้อปปิ้ง
Iliano Cervesato All Books Editorial Review
ไม่พบรีวิวจากกองบรรณาธิการ
ความคิดเห็นและคะแนนจากลูกค้า
1 การให้คะแนนของลูกค้า
-
5 ดาว
100%
-
4 ดาว
0%
-
3 ดาว
0%
-
2 ดาว
0%
-
1 ดาว
0%
แบ่งปันความคิดของคุณกับลูกค้าท่านอื่น
แชร์ความคิดของคุณกับลูกค้ารายอื่น
ประวัติราคาสินค้า
ข้อมูลสำคัญ
- ข้อจำกัด: สำหรับสินค้าที่จัดส่งระหว่างประเทศ โปรดทราบว่าการรับประกันจากผู้ผลิตอาจไม่มีผลบังคับใช้ บริการหลังการขายจากผู้ผลิตอาจไม่สามารถใช้งานได้ คู่มือผลิตภัณฑ์ คำแนะนำการใช้งาน และคำเตือนด้านความปลอดภัยอาจไม่ได้จัดทำเป็นภาษาของประเทศปลายทาง สินค้า (รวมถึงเอกสารประกอบ) อาจไม่ได้ออกแบบให้สอดคล้องกับมาตรฐาน ข้อกำหนด และข้อบังคับด้านฉลากของประเทศปลายทาง และสินค้าอาจไม่สอดคล้องกับแรงดันไฟฟ้าและมาตรฐานทางไฟฟ้าอื่น ๆ ของประเทศปลายทาง (ซึ่งอาจต้องใช้ปลั๊กแปลงไฟหรือเครื่องแปลงแรงดันไฟฟ้าตามความเหมาะสม) ผู้รับสินค้ามีหน้าที่รับผิดชอบในการตรวจสอบว่าสินค้าดังกล่าวสามารถนำเข้าประเทศปลายทางได้อย่างถูกต้องตามกฎหมาย เมื่อสั่งซื้อสินค้าจาก Ubuy หรือบริษัทในเครือ ผู้รับสินค้าจะถือเป็นผู้นำเข้าตามกฎหมาย (Importer of Record) และต้องปฏิบัติตามกฎหมายและข้อบังคับทั้งหมดของประเทศปลายทาง
- ผลิตภัณฑ์บางรายการใน Ubuy ไม่ได้มีไว้เพื่อขาย เนื่องจาก Ubuy เป็นเครื่องมือค้นหาระดับโลก ผลิตภัณฑ์อยู่ภายใต้กฎระเบียบด้าน การส่งออก/การค้า
THB 5000
สั่งซื้อตอนนี้และรับสินค้าประมาณ วันพุธ, ตุลาคม 28
สินค้านี้ไม่ถูกจำกัดในประเทศของฉัน (หากสินค้านี้ไม่ถูกจำกัดในประเทศของคุณ กรุณาคลิกลิงก์ด้านบน ทีมงานของเราจะตรวจสอบและเปิดให้สั่งซื้อ)
จำนวน:
เหลือเพียง 12 รายการในสต็อก
การทำธุรกรรมที่ปลอดภัย
ได้รับการรับรอง PCI DSS และ ISO 27001:2022 พร้อมการชำระเงินแบบเข้ารหัสและการคุ้มครองผู้ซื้อเต็มรูปแบบทุกคำสั่งซื้อ
พันธมิตรด้านโลจิสติกส์ชั้นนำของเรา
การจัดส่งข้ามพรมแดนที่เร็วที่สุด
คุณสมบัติและประโยชน์
- Refereed proceedings from the 15th International Conference on Logic for Programming, AI, and Reasoning.
- Includes 45 selected and revised full papers from 153 submissions.
- Covers topics like automata, linear arithmetic, verification, and knowledge representation.
- Incorporates three invited talks from leading experts.
- Published in November 2008, with a comprehensive page count of 714.
- Essential resource for professionals in automated reasoning and computational logic.
การรับประกันจาก Ubuy
ช้อปสบายใจไร้กังวล ด้วยสินค้าของแท้ 100% ระบบชำระเงินปลอดภัยได้มาตรฐาน PCI DSS การปกป้องข้อมูลด้วยมาตรฐาน ISO 27001 การจัดส่งข้ามพรมแดนที่รวดเร็วที่สุด คืนสินค้าฟรี และบรรจุภัณฑ์ที่ปลอดภัยในทุกคำสั่งซื้อ*