.png){kind=logo}
Computing
Results 1281 - 1300 of 30851
Computing
Paperback. This book, which grew out of the IMIX project funded by the Netherlands Organisation for Scientific Research, explores the development of a computer interface that listens, talks, and can answer medical questions. Editor(s): Bosch, Antal van den; Bouma, Gosse. Series: Theory and Applications of Natural Language Processing. Num Pages: 292 pages, 80 black & white tables, biography. BIC Classification: UNH; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642268229
- ISBN
- 9783642268229
Paperback
Condition: New
€ 127.70
€ 127.70
Paperback. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540434771
- ISBN
- 9783540434771
Paperback
Condition: New
€ 67.09
€ 67.09
Hardback. Human Aspects in Ambient Intelligence Editor(s): Bosse, Tibor; Cook, Diane J.; Neerincx, Mark; Sadri, Fariba. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 180 pages, 58 black & white illustrations, 20 black & white tables, 1 colour tables, biography. BIC Classification: UBH; UGK; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 180
- Condition
- New
- SKU
- V9789462390171
- ISBN
- 9789462390171
Hardback
Condition: New
€ 66.52
€ 66.52
Paperback. Editor(s): Bosse, Tibor; Joost, Broekens; Dias, Joao-Paulo; Van Der Zwaan, Janneke. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 167 pages, 34 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 279.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 167
- Condition
- New
- SKU
- V9783319129723
- ISBN
- 9783319129723
Paperback
Condition: New
€ 65.62
€ 65.62
Microfilm. Editor(s): Bossel, Hartmut (Universitat Gesamthochschule Kassel Germany); Metzler, Wolfgang (Johann Wolfgang Goethe-Universitat Frankfurt); Schafer, Heiner. Num Pages: black & white illustrations, bibliography. BIC Classification: PSAF; TQ; TVR; UYM; WNP. Category: (G) General (US: Trade). Dimension: 244 x 170 x 15. Weight in Grams: 445.
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540154754
- ISBN
- 9783540154754
Paperback
Condition: New
€ 72.65
€ 72.65
Paperback. This manual documents the outcome of the EC-sponsored project RACE Integrity Primitives Evaluation (R1040), RIPE. It offers advice to professionals seeking secure information systems by applying cryptographic techniques. Issues include security services and integrity mechanisms. Editor(s): Bosselaers, Antoon; Preneel, Bart. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: URD; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540606406
- ISBN
- 9783540606406
Paperback
Condition: New
€ 69.39
€ 69.39
Paperback. Editor(s): Bostrom, Henrik; Knobbe, Arno; Soares, Carlos; Papapetrou, Panagiotis. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 146 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 417
- Condition
- New
- SKU
- V9783319463483
- ISBN
- 9783319463483
Paperback
Condition: New
€ 67.81
€ 67.81
Automated Deduction in Geometry: 10th International Workshop, ADG 2014...
. Ed(S): Botana, Francisco; Quaresma, Pedro
paperback. Editor(s): Botana, Francisco; Quaresma, Pedro. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: PBCD; PBMS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 190
- Condition
- New
- SKU
- V9783319213613
- ISBN
- 9783319213613
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback / so. Editor(s): Botthof, Alfons; Hartmann, Ernst Andreas. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TD; TJFM1; UB; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662459140
- ISBN
- 9783662459140
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Bouabana-Tebibel, Thouraya; Rubin, Stuart H. Series: Advances in Intelligent Systems and Computing. Num Pages: 229 pages, 40 black & white illustrations, 21 colour illustrations, biography. BIC Classification: UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 229
- Condition
- New
- SKU
- V9783319313092
- ISBN
- 9783319313092
Paperback
Condition: New
€ 126.92
€ 126.92
Paperback. Editor(s): Bouabana-Tebibel, Thouraya; Rubin, Stuart H. Series: Advances in Intelligent Systems and Computing. Num Pages: 352 pages, 121 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 352
- Condition
- New
- SKU
- V9783319047164
- ISBN
- 9783319047164
Paperback
Condition: New
€ 128.03
€ 128.03
Paperback. Editor(s): Bouabana-Tebibel, Thouraya; Rubin, Stuart H. Series: Advances in Intelligent Systems and Computing. Num Pages: 305 pages, 113 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 305
- Condition
- New
- SKU
- V9783319165769
- ISBN
- 9783319165769
Paperback
Condition: New
€ 127.61
€ 127.61
Paperback. Editor(s): Bouajjani, Ahmed; Fauconnier, Hugues. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, 165 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 554
- Condition
- New
- SKU
- V9783319268491
- ISBN
- 9783319268491
Paperback
Condition: New
€ 69.04
€ 69.04
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 69.26
€ 69.26
Paperback. Presenting an overview of the field, this volume discusses computational aspects of queueing networks and their applications. The text examines both analytical and structural results of current research on the topic, presenting a valuable reference for students, researchers and professionals. Editor(s): Boucherie, Richard; Dijk, Nico M. van. Series: International Series in Operations Research & Management Science. Num Pages: 824 pages, 26 black & white tables, biography. BIC Classification: KJT; PBT; PBWH; UKN; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1133.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 824
- Condition
- New
- SKU
- V9781461427735
- ISBN
- 9781461427735
Paperback
Condition: New
€ 199.23
€ 199.23
Hardback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 404 pages, 47 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783790814545
- ISBN
- 9783790814545
Hardback
Condition: New
€ 202.24
€ 202.24
Hardback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 430 pages, 24 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 1760.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783790814552
- ISBN
- 9783790814552
Hardback
Condition: New
€ 202.69
€ 202.69
Paperback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 430 pages, 24 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 430
- Condition
- New
- SKU
- V9783790825046
- ISBN
- 9783790825046
Paperback
Condition: New
€ 195.49
€ 195.49
Technologies for Constructing Intelligent Systems 1
. Ed(S): Bouchon-Meunier, Bernadette; Gutierr...
paperback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 404 pages, 47 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Physica Verlag,Wien Austria
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 404
- Condition
- New
- SKU
- V9783662003299
- ISBN
- 9783662003299
Paperback
Condition: New
€ 195.25
€ 195.25
Hardback. This book draws on papers presented at the 2008 Conference on Information Processing and Management of Uncertainty (IPMU), held in Malaga, Spain. The conference brought together some of the world's leading experts in the study of uncertainty. Editor(s): Bouchon-Meunier, Bernadette; Magdalena, Luis; Ojeda-Aciego, Manuel; Verdegay, Jose-Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 265 pages, 41 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642107269
- ISBN
- 9783642107269
Hardback
Condition: New
€ 199.39
€ 199.39