- Bazy danych (2436)
- Bezpieczeństwo (63)
- Certyfikaty (1193)
- Fotografia (16759)
- Grafika (2204)
- Inne (72975)
- Internet (1820)
- Oprogramowanie (818)
- Programowanie (8013)
- Sieci (1274)
- Sprzęt komputerowy (999)
- Systemy operacyjne (1726)
- Teoria informatyki (11796)
--- Cybernetyka (77)
--- Expert Systems (220)
--- Informatyka (3458)
--- Inżynieria komputerowa (436)
--- Logic Design (395)
--- Management Information Systems (562)
--- Sztuczna inteligencja (2668)
--- Technika informacyjna (3596)
--- Teoria informacji (218)
--- Teoria maszyn (166)
Computer-Aided Reasoning: Acl2 Case Studies
Kaufmann, Matt Manolios, Panagiotis Moore, J. Strother
| kategorie: | Teoria informatyki | Sztuczna inteligencja | |
| isbn-13: | 9781441949813 |
| isbn-10: | 144194981X |
| druk na żądanie: | tak |
| wydawca: | Springer |
| język: | Angielski |
| seria: | 4 |
| rok wydania: | 2011 |
| wydanie: | 2000 |
| ilość stron: | 360 |
| waga: | 0.5 (kg) |
| oprawa: | miękka |
| wymiary: | 15.60 x 23.39 x 1.88 (cm) |
| wolumenów: | 1 |
1644.22 zł (netto: 1565.92 vat: 5%)
|    
| |
Termin realizacji zamówienia - ok. 3 tygodni | ||
Twój koszyk jest pusty
Książki nowe
Codzienna aktualizacja bazy
(cen i dostępności)
Realizacja zamówienia:
ok. 3 tygodni
Książki używane
Wycena na życzenie
Realizacja zamówienia:
ok. 4-8 tygodni
Książki są sprowadzane
z zagranicy
Przedpłata, dla firm FV 14 dni
Nie wysyłamy za pobraniem
Codzienna aktualizacja bazy
(cen i dostępności)
Realizacja zamówienia:
ok. 3 tygodni
Książki używane
Wycena na życzenie
Realizacja zamówienia:
ok. 4-8 tygodni
Książki są sprowadzane
z zagranicy
Przedpłata, dla firm FV 14 dni
Nie wysyłamy za pobraniem
- Apress
- No Starch Press
- SAMS
- Microsoft Press
- Pogue Press
- Packt Publishing
- John Wiley & Sons
- Network Theory
- New Riders Publishing
- Lark Books
- Morgan Kaufmann
- Syngress Publishing
- Elsevier Science & Technology
- O'Reilly Media
- Sybex
- Wrox Press
- McGraw-Hill
© 1997-2012 DolnySlask.com Agencja Internetowa