|
|
|
|
| LEADER |
01538nmm a2200433 u 4500 |
| 001 |
EB001948013 |
| 003 |
EBX01000000000000001110915 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
210123 ||| eng |
| 020 |
|
|
|a 9780134394541
|
| 050 |
|
4 |
|a QA76.6
|
| 100 |
1 |
|
|a Knuth, Donald Ervin
|
| 245 |
0 |
0 |
|a The art of computer programming, Volume 4, fascicle 6: Satisfiability
|c Donald E. Knuth
|
| 246 |
3 |
1 |
|a Satisfiability
|
| 260 |
|
|
|a Boston, MA
|b Addison-Wesley/Pearson Education
|c 2015
|
| 300 |
|
|
|a 1 volume
|b illustrations
|
| 505 |
0 |
|
|a Includes bibliographical references and index
|
| 653 |
|
|
|a Algorithmes
|
| 653 |
|
|
|a Computer programming / fast
|
| 653 |
|
|
|a Algorithms
|
| 653 |
|
|
|a Computer programming / http://id.loc.gov/authorities/subjects/sh85107310
|
| 653 |
|
|
|a Programmation (Informatique)
|
| 653 |
|
|
|a algorithms / aat
|
| 653 |
|
|
|a Computer algorithms / http://id.loc.gov/authorities/subjects/sh91000149
|
| 653 |
|
|
|a computer programming / aat
|
| 653 |
|
|
|a Computer algorithms / fast
|
| 653 |
|
|
|a COMPUTERS / Programming / General / bisacsh
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b OREILLY
|a O'Reilly
|
| 490 |
0 |
|
|a Addison-Wesley series in computer science and information processing
|
| 776 |
|
|
|z 9780134397603
|
| 776 |
|
|
|z 0134397606
|
| 776 |
|
|
|z 9780134394572
|
| 776 |
|
|
|z 0134394577
|
| 776 |
|
|
|z 0134394542
|
| 776 |
|
|
|z 9780134394541
|
| 856 |
4 |
0 |
|u https://learning.oreilly.com/library/view/~/9780134394572/?ar
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.1
|