.png){kind=logo}
Computer science
Results 14977 - 15000 of 16593
Computer science
Paperback. This volume constitutes the proceedings of the 1st International Conference on Temporal Logic, held in Bonn, Germany in July 1994. It provides reports of all aspects of temporal logic research relevant to general computer science and artificial intelligence. Editor(s): Gabbay, Dov M.; Ohlbach, Hans Jurgen. Series: Lecture Notes in Computer Science. Num Pages: 564 pages, biography. BIC Classification: UYA; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 564
- Condition
- New
- SKU
- V9783540582410
- ISBN
- 9783540582410
Paperback
Condition: New
€ 136.28
€ 136.28
Paperback. Series: Studies in Linguistics and Philosophy. Num Pages: 424 pages, biography. BIC Classification: 2ZX; HPL; PDA; UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 22. Weight in Grams: 595.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 424
- Condition
- New
- SKU
- V9789048145843
- ISBN
- 9789048145843
Paperback
Condition: New
€ 195.34
€ 195.34
Hardback. Temporal Points of View Editor(s): Campos, Margarita Vazquez; Gutierrez, Antonio Manuel Liz. Series: Studies in Applied Philosophy, Epistemology and Rational Ethics. Num Pages: 284 pages, 5 black & white illustrations, biography. BIC Classification: HPK; HPL; PDA; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319198149
- ISBN
- 9783319198149
Hardback
Condition: New
€ 67.77
€ 67.77
Paperback. Num Pages: 512 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 512
- Condition
- New
- SKU
- V9781461287018
- ISBN
- 9781461287018
Paperback
Condition: New
€ 141.22
€ 141.22
Paperback. Ideal for engineering students with some knowledge of matrix algebra, this text bridges the gap between tensor algebra and the treatment of linear transformations in classical linear algebra. This revised second edition has additional examples and exercises. Num Pages: 247 pages, 13 black & white illustrations, 3 black & white tables, biography. BIC Classification: PBF; PHD; PHU; TG; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 2nd ed. 2009
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642101038
- ISBN
- 9783642101038
Paperback
Condition: New
€ 72.46
€ 72.46
hardcover. This wide-ranging volume, with contributions from leading experts, is an overview of cutting-edge research into the newest tensor processing techniques and how it can be applied to different domains related to computer vision and image processing. Editor(s): Aja-Fernandez, Santiago; Garcia, Rodrigo de Luis; Tao, Dacheng; Li, Xuelong. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 479 pages, 16 black & white tables, biography. BIC Classification: UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2009th Edition
- Number of pages
- 479
- Condition
- New
- SKU
- V9781848822986
- ISBN
- 9781848822986
Hardback
Condition: New
€ 196.96
€ 196.96
Paperback / so. Series: Unitext: La Matematica Per il 3+2. Num Pages: 323 pages, black & white illustrations, bibliography. BIC Classification: PBCD; PBD; PBF; PBV; PBW; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 472.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Verlag Italy
- Number of pages
- 323
- Condition
- New
- SKU
- V9788847054738
- ISBN
- 9788847054738
Paperback
Condition: New
€ 61.80
€ 61.80
Hardback. Terahertz biomedical imaging can simultaneously acquire both image and spectral information. This book presents advanced digital image processing algorithms for Terahertz biomedical imaging, to assist screening, diagnosis, and treatment. Num Pages: 316 pages, 21 black & white tables, biography. BIC Classification: MQW; TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461418207
- ISBN
- 9781461418207
Hardback
Condition: New
€ 129.17
€ 129.17
Paperback. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540528371
- ISBN
- 9783540528371
Paperback
Condition: New
€ 67.31
€ 67.31
Hardback. Terminological Ontologies presents the main challenges affecting the discovery systems of information infrastructures to manage terminological models, while introducing a combination of research tools and applications in Semantic Web technologies. Series: Semantic Web and Beyond. Num Pages: 198 pages, biography. BIC Classification: UKR; UND; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 21. Weight in Grams: 478.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9781441969804
- ISBN
- 9781441969804
Hardback
Condition: New
€ 131.75
€ 131.75
Paperback. Terminological Ontologies presents the main challenges affecting the discovery systems of information infrastructures to manage terminological models, while introducing a combination of research tools and applications in Semantic Web technologies. Series: Semantic Web and Beyond. Num Pages: 198 pages, biography. BIC Classification: UNH; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9781461426448
- ISBN
- 9781461426448
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 76 pages, 11 black & white illustrations, 7 colour illustrations, biography. BIC Classification: TGPR; TJK; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 4. Weight in Grams: 134.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 76
- Condition
- New
- SKU
- V9783319064390
- ISBN
- 9783319064390
Paperback
Condition: New
€ 72.53
€ 72.53
Paperback. This book introduces new techniques for detecting and diagnosing small-delay defects in integrated circuits. It details effective and scalable methodologies for screening and diagnosing small-delay defects. Num Pages: 230 pages, 51 black & white tables, biography. BIC Classification: TDPB; TJFC; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 230
- Condition
- New
- SKU
- V9781489989529
- ISBN
- 9781489989529
Paperback
Condition: New
€ 149.91
€ 149.91
Hardback. Talks about test resource partitioning and optimization techniques for plug-and-play system-on-a-chip (SOC) test automation. This book aims to position test resource partitioning in the context of SOC test automation. It presents various techniques for the partitioning and optimization of the three major SOC test resources. Series: Frontiers in Electronic Testing. Num Pages: 244 pages, biography. BIC Classification: TJFD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 244
- Condition
- New
- SKU
- V9781402071195
- ISBN
- 9781402071195
Hardback
Condition: New
€ 132.53
€ 132.53
Paperback. This book offers an in-depth evaluation of agile methods. It proves the benefits of agile software development, provides in-depth insights into experimental methods in the context of agile development and details various validity threats in empirical studies. Num Pages: 265 pages, 92 black & white tables, biography. BIC Classification: UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642425264
- ISBN
- 9783642425264
Paperback
Condition: New
€ 72.46
€ 72.46
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Leung, Victor C. M.; Chen, Min; Wan,...
Paperback. Editor(s): Leung, Victor C. M.; Chen, Min; Wan, Jiafu; Zhang, Yin. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 522 pages, 261 black & white illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 522
- Condition
- New
- SKU
- V9783319133256
- ISBN
- 9783319133256
Paperback
Condition: New
€ 69.19
€ 69.19
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Li, Hongbin; Tran...
Paperback. Constitutes the proceedings of the 7th International ICST Conference, TridentCom 2011, held in Shanghai, China, in April 2011. This title focuses on topics such as future Internet testbeds, future wireless testbeds, federated and large scale testbeds, network and resource virtualization, and more. Editor(s): Korakis, Thanasis; Li, Hongbin; Tran-Gia, Phuoc (Universitat Wurzburg); Park, Hong-Shik. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 331 pages, 169 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642292729
- ISBN
- 9783642292729
Paperback
Condition: New
€ 67.33
€ 67.33
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Zink, Michael; Ot...
Paperback. Editor(s): Korakis, Thanasis; Zink, Michael; Ott, Maximilian. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 445 pages, 224 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642355752
- ISBN
- 9783642355752
Paperback
Condition: New
€ 68.44
€ 68.44
Testbeds and Research Infrastructures for the Development of Networks ...
. Ed(S): Wei, Guiyi; Xiang, Yang; Lin, Xiaodo...
Paperback. Editor(s): Wei, Guiyi; Xiang, Yang; Lin, Xiaodong; Lorenz, Pascal. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 179 pages, 101 black & white illustrations, biography. BIC Classification: UF; UR; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 179
- Condition
- New
- SKU
- V9783319495798
- ISBN
- 9783319495798
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. This book provides a detailed reference for Logica's industry-leading TestFrame(R) methodology, which enables organizations to develop and execute their tests in a structured way. It offers much hands-on advice and documentation templates. Num Pages: 184 pages, biography. BIC Classification: KJMV6; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 184
- Condition
- New
- SKU
- V9783642101588
- ISBN
- 9783642101588
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. Testing and Validation of Computer Simulation Models Series: Simulation Foundations, Methods and Applications. Num Pages: 266 pages, biography. BIC Classification: PBWH; UYM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 567.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 266
- Condition
- New
- SKU
- V9783319150987
- ISBN
- 9783319150987
Hardback
Condition: New
€ 128.39
€ 128.39
Hardback. Num Pages: 180 pages, 16 black & white illustrations, 102 colour illustrations, 50 colour tables, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2018
- Number of pages
- 180
- Condition
- New
- SKU
- V9783319547138
- ISBN
- 9783319547138
Hardback
Condition: New
€ 127.73
€ 127.73
Paperback. Editor(s): El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina. Series: Lecture Notes in Computer Science. Num Pages: 283 pages, 69 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 283
- Condition
- New
- SKU
- V9783319259444
- ISBN
- 9783319259444
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Editor(s): Nielsen, Brian; Weise, Carsten. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 273 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642346903
- ISBN
- 9783642346903
Paperback
Condition: New
€ 66.95
€ 66.95