Computer science
Results 8017 - 8040 of 16995
Computer science
The Efficiency of Theorem Proving Strategies. A Comparative and Asympt...
Plaisted, David A.; Zhu, Yunshan
Paperback. Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Num Pages: 172 pages, 3 black & white illustrations, biography. BIC Classification: PBW; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 210 x 148 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2nd ed. 1999
- Number of pages
- 172
- Condition
- New
- SKU
- V9783528155742
- ISBN
- 9783528155742
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Translator(s): Kollar-Fiedrich, Ursula. Series Editor(s): Fedtke, Stephen. Series: Efficient Software Development. BIC Classification: UY. Dimension: 244 x 170. Weight in Grams: 298.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528155872
- ISBN
- 9783528155872
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Num Pages: 290 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2. Aufl. 1989
- Number of pages
- 290
- Condition
- New
- SKU
- V9783528163020
- ISBN
- 9783528163020
Paperback
Condition: New
€ 80.49
€ 80.49
Paperback / so. Series: Mathematische Grundlagen Der Informatik. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBF; PBW; UYM. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 2
- Condition
- New
- SKU
- V9783528167691
- ISBN
- 9783528167691
Paperback
Condition: New
€ 46.50
€ 46.50
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 123.46
€ 123.46
paperback. Series: Programmieren Von Taschenrechnern. Num Pages: black & white illustrations, bibliography. BIC Classification: KNTX; UK; UYZ. Category: (G) General (US: Trade). Dimension: 203 x 127 x 7. Weight in Grams: 132.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 3. Aufl. 1986
- Condition
- New
- SKU
- V9783528242961
- ISBN
- 9783528242961
Paperback
Condition: New
€ 83.36
€ 83.36
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PD; UGC; UYM. Category: (G) General (US: Trade). Dimension: 244 x 170 x 23. Weight in Grams: 708.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 3
- Condition
- New
- SKU
- V9783528245900
- ISBN
- 9783528245900
Paperback
Condition: New
€ 71.57
€ 71.57
Paperback / so. Num Pages: 528 pages, black & white illustrations, bibliography. BIC Classification: FX; UFM; UMX; UMZ; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 3
- Number of pages
- 528
- Condition
- New
- SKU
- V9783528254049
- ISBN
- 9783528254049
Paperback
Condition: New
€ 71.97
€ 71.97
Paperback. Num Pages: 318 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 535.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 4. Aufl. 1990
- Number of pages
- 318
- Condition
- New
- SKU
- V9783528345761
- ISBN
- 9783528345761
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback / so. Editor(s): Wohlleben, Rudolf. Series: Forschungsberichte Des Landes Nordrhein-Westfalen / Fachgrup. Num Pages: black & white illustrations, bibliography. BIC Classification: PBF; PBW; TB; UYM. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 1973
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Condition
- New
- SKU
- V9783531023236
- ISBN
- 9783531023236
Paperback
Condition: New
€ 78.78
€ 78.78
Paperback / so. Series: Forschungsberichte Des Landes Nordrhein-Westfalen. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TGB; UYD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 5. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 1975
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Condition
- New
- SKU
- V9783531024387
- ISBN
- 9783531024387
Paperback
Condition: New
€ 77.79
€ 77.79
paperback. Series: Forschungsberichte Des Landes Nordrhein-Westfalen / Fachgrup. Num Pages: black & white illustrations, bibliography. BIC Classification: TD; TGB; UYD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 5. Weight in Grams: 172.
- Format
- Paperback
- Publication date
- 1978
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 1978th Edition
- Condition
- New
- SKU
- V9783531027500
- ISBN
- 9783531027500
Paperback
Condition: New
€ 67.91
€ 67.91
paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: CF; DSB; UYQL. Category: (G) General (US: Trade). Dimension: 244 x 170 x 6. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 1981
- Publisher
- VS Verlag für Sozialwissenschaften Germany
- Edition
- 1981st Edition
- Condition
- New
- SKU
- V9783531029399
- ISBN
- 9783531029399
Paperback
Condition: New
€ 68.03
€ 68.03
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UG; UYQV. Category: (G) General (US: Trade). Dimension: 244 x 170 x 4. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783531030913
- ISBN
- 9783531030913
Paperback
Condition: New
€ 67.23
€ 67.23
Paperback. Num Pages: 48 pages, black & white illustrations, bibliography. BIC Classification: UDH; UY. Category: (G) General (US: Trade). Weight in Grams: 117.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 48
- Condition
- New
- SKU
- V9783531031811
- ISBN
- 9783531031811
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback / so. Series: Moderne Lehrtexte: Wirtschaftswissenschaften. Num Pages: 304 pages, black & white illustrations, bibliography. BIC Classification: KJM; UDB; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 1971
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9783531110783
- ISBN
- 9783531110783
Paperback
Condition: New
€ 80.25
€ 80.25
perfect. A revision of papers presented at the Tagung "Computer und Beteiligung," Fernuniversit'at Hagen, Nov. 1986. Editor(s): Kissler, Leo. Series: Sozialvertreagliche Technikgestaltung. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 399.
- Publication date
- 1988
- Publisher
- VS Verlag für Sozialwissenschaften Germany
- Edition
- 1988th Edition
- Condition
- New
- SKU
- V9783531120010
- ISBN
- 9783531120010
Paperback
Condition: New
€ 69.08
€ 69.08
Paperback / so. Editor(s): Prinzhorn, Martin. Series: Linguistische Berichte Sonderhefte. Num Pages: black & white illustrations, bibliography. BIC Classification: CFH; JF; UYQL. Category: (G) General (US: Trade). Dimension: 244 x 170 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Condition
- New
- SKU
- V9783531120386
- ISBN
- 9783531120386
Paperback
Condition: New
€ 65.00€ 55.95
€ 65.00
€ 55.95
Paperback / so. Series: Sozialvertreagliche Technikgestaltung. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; UYD. Category: (G) General (US: Trade). Dimension: 229 x 152 x 12. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783531120447
- ISBN
- 9783531120447
Paperback
Condition: New
€ 68.33
€ 68.33
Paperback / so. Editor(s): Klaus-Dieter, Jansen. Series: Sozialvertreagliche Technikgestaltung. Num Pages: 208 pages, black & white illustrations, bibliography. BIC Classification: KJM; UYD. Category: (G) General (US: Trade). Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 208
- Condition
- New
- SKU
- V9783531121062
- ISBN
- 9783531121062
Paperback
Condition: New
€ 68.31
€ 68.31
perfect. Series: Sozialvertreagliche Technikgestaltung. Num Pages: 345 pages, black & white illustrations, bibliography. BIC Classification: JF; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 533.
- Publication date
- 1990
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 1990th Edition
- Number of pages
- 345
- Condition
- New
- SKU
- V9783531122274
- ISBN
- 9783531122274
Paperback
Condition: New
€ 70.12
€ 70.12
Informations- Und Wissensverarbeitung in Den Sozialwissenschaften
. Ed(S): Best, Professor Of Sociology Heinric...
Paperback / so. Editor(s): Best, Professor of Sociology Heinrich (Professor of Sociology, University of Jena, Germany Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena); Endres-Niggemeyer, Brigitte; Herfurth, Matthias; Ohly, H Peter. Num Pages: 623 pages, black & white illustrations, bibliography. BIC Classification: GTC; JHB; UY. Category: (G) General (US: Trade). Dimension: 229 x 152 x 32. Weight in Grams: 1008.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Number of pages
- 623
- Condition
- New
- SKU
- V9783531125015
- ISBN
- 9783531125015
Paperback
Condition: New
€ 83.18
€ 83.18
Paperback. The papers are organized in topical sections on databases and data warehouses, information retrieval, information systems, multi-agent technologies and systems, evolutionary algorithms, system programming, and distributed and parallel processing. Editor(s): Yakhno, Tatyana. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540000099
- ISBN
- 9783540000099
Paperback
Condition: New
€ 69.87
€ 69.87
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Baaz, Matthias; Andrei, Voronkov
Paperback. Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning. Editor(s): Baaz, Matthias; Andrei, Voronkov. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 484 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540000105
- ISBN
- 9783540000105
Paperback
Condition: New
€ 70.28
€ 70.28