Computer science
Results 97 - 120 of 1965
Computer science
Hardback. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9780792378495
- ISBN
- 9780792378495
Hardback
Condition: New
€ 256.36
€ 256.36
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 133.28
€ 133.28
Hardback. Contains refereed papers from the 15th Annual Symposium on High Performance Computing. This book features these papers that cover both fundamental and applied topics in HPC: parallel algorithms, distributed systems and architectures, distributed memory and performance, high level applications, tools and solvers, and more. Editor(s): Kent, Robert D.; Sands, Todd W. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 351 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 351
- Condition
- New
- SKU
- V9781402073892
- ISBN
- 9781402073892
Hardback
Condition: New
€ 201.29
€ 201.29
Hardback. Editor(s): Kidwell, David A.; Aha, David W. Num Pages: 424 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 779.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 424
- Condition
- New
- SKU
- V9780792345848
- ISBN
- 9780792345848
Hardback
Condition: New
€ 202.46
€ 202.46
hardcover. Brings together theoreticians and practitioners to report their experience with making semantics explicit in business specifications, business designs, and system specifications. This book includes both theoretical and very pragmatic papers based on specified foundations addressing different aspects of a single problem. Editor(s): Kilov, Haim; Baclawski, Kenneth. Num Pages: 338 pages, biography. BIC Classification: KJQ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402014802
- ISBN
- 9781402014802
Hardback
Condition: New
€ 200.81
€ 200.81
Design and Analysis of Distributed Embedded Systems
. Ed(S): Kleinjohann, Bernd; Kim, K.H.; Klein...
Hardback. Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication. Editor(s): Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim. Series: IFIP Advances in Information and Communication Technology. Num Pages: 298 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9781402071560
- ISBN
- 9781402071560
Hardback
Condition: New
€ 199.87
€ 199.87
Paperback. Current and New Directions in Discourse and Dialogue Editor(s): Kuppevelt, Jan van; Smith, Ronnie W. Series: Text, Speech and Language Technology. Num Pages: 381 pages, biography. BIC Classification: CFG; UYQ. Category: (G) General (US: Trade). Dimension: 233 x 155 x 22. Weight in Grams: 566.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 381
- Condition
- New
- SKU
- V9781402016158
- ISBN
- 9781402016158
Paperback
Condition: New
€ 199.22
€ 199.22
Computing Tools for Modeling, Optimization and Simulation
. Ed(S): Laguna, Manuel; Gonzalez-Velarde, Jo...
Hardback. Reflects the need for preserving the marriage between operations research and computing in order to create more efficient and powerful software tools. This book includes 17 papers that cover a range of topics related to the interface between operations research and computer science. Editor(s): Laguna, Manuel; Gonzalez-Velarde, Jose Luis. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 325 pages, biography. BIC Classification: GPFC; KJ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 325
- Condition
- New
- SKU
- V9780792377184
- ISBN
- 9780792377184
Hardback
Condition: New
€ 255.76
€ 255.76
Hardback. Deals with the design of database systems for real-time applications, called real-time database systems (RTDBS), where transactions are associated with deadlines on their completion times, and some of the data objects in the database are associated with temporal constraints on their validity. Editor(s): Lam, Kam-Yiu; Kuo, Tei-Wei. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 289 pages, biography. BIC Classification: UN; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 289
- Condition
- New
- SKU
- V9780792372189
- ISBN
- 9780792372189
Hardback
Condition: New
€ 255.42
€ 255.42
Hardback. This work is divided into five parts: technology overviews; acoustic modelling of fundamental speech units and lexical modelling of words and pronunciations; flexibility and robustness; search; and algorithm and implementational aspects for recognition-system realization. Editor(s): Lee, Chin-Hui; Soong, Frank K. (AT&T Bell Laboratories, Murray Hill, NJ, USA); Paliwal, Kuldip. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 518 pages, biography. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 518
- Condition
- New
- SKU
- V9780792397069
- ISBN
- 9780792397069
Hardback
Condition: New
€ 259.87
€ 259.87
Hardback. Consists seven papers originally presented at the Fifth Workshop on Interaction between Compilers and Computer Architectures (INTERACT-5). This volume explores developments and ideas for better integration of the interaction between compilers and computer architectures in designing modern processors and computer systems. Editor(s): Lee, Gyungho; Yew, Pen-Chung. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 143 pages, biography. BIC Classification: UMC; UYF. Category: (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 143
- Condition
- New
- SKU
- V9780792373704
- ISBN
- 9780792373704
Hardback
Condition: New
€ 130.79
€ 130.79
Confluence of Computer Vision and Computer Graphics
. Ed(S): Leonardis, Ales; Solina, Franc; Bajc...
Hardback. Proceedings of the NATO Advanced Research Workshop, Ljubljana, Republic of Slovenia, 29-31 August 1999 Editor(s): Leonardis, Ales; Solina, Franc; Bajcsy, Ruzena. Series: NATO Science Partnership Subseries: 3. Num Pages: 352 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 352
- Condition
- New
- SKU
- V9780792366119
- ISBN
- 9780792366119
Hardback
Condition: New
€ 74.67
€ 74.67
Hardback. Divided into parts, this book describes the common sensor network challenge problem. It explains the different technical approaches to the common challenge problem. It provides results on the formal analysis of a number of approaches taken to address the challenge problem. It focuses on both practical systems and their theoretical analysis. Editor(s): Lesser, Victor; Ortiz, Charles L. (Artificial Intelligence Center, SRI International, Menlo Park, USA); Tambe, Milind. Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. Num Pages: 367 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 724.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 367
- Condition
- New
- SKU
- V9781402074998
- ISBN
- 9781402074998
Hardback
Condition: New
€ 201.68
€ 201.68
Hardback. Reflects the developments in neural networks and fuzzy logic, and their application in intelligent systems. This book is suitable for both researchers and engineers, as well as for graduate students. Editor(s): Li, Hua; Gupta, Madan M. Series: International Series in Intelligent Technologies. Num Pages: 450 pages, biography. BIC Classification: PBWX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 450
- Condition
- New
- SKU
- V9780792395751
- ISBN
- 9780792395751
Hardback
Condition: New
€ 196.79
€ 196.79
Hardback. This book covers computer-aided three-dimensional tissue modeling, tissue classification and tissue fabrication and implantation. Reviews rapid prototyping and direct digital fabrication for cell and organs, construction of tissue analogs and more. Editor(s): Liebschner, Michael A.K.; Kim, Daniel H., MD. Series: Methods in Molecular Biology. Num Pages: 360 pages, 19 black & white tables, biography. BIC Classification: MQW; TCB; UY. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 891.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Humana Press Inc. United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9781617797637
- ISBN
- 9781617797637
Hardback
Condition: New
€ 130.70
€ 130.70
Hardback. Demonstrates the importance of integrating contemporary compilation technology with a supporting computer architecture to enhance system performance. This book explores three different aspects of this interaction. It examines the interaction of compiler and the architecture at the instruction level on uniprocessors with multiple function units. Editor(s): Lilja, David J.; Bird, Peter L. Num Pages: 285 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 285
- Condition
- New
- SKU
- V9780792394518
- ISBN
- 9780792394518
Hardback
Condition: New
€ 133.54
€ 133.54
Hardback. The ability to analyze and understand massive data sets lags far behind the ability to gather and store the data. To meet this challenge, knowledge discovery and data mining (KDD) is growing as an emerging field. This volume brings researchers and practitioners together to report developments and focuses on the development of instance selection. Editor(s): Liu, Huan; Motoda, H. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 416 pages, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 416
- Condition
- New
- SKU
- V9780792372097
- ISBN
- 9780792372097
Hardback
Condition: New
€ 202.85
€ 202.85
Hardback. Social computing, the study of social behavior and context based on computational systems, facilitates behavioral modeling in model building, analysis, pattern mining, anticipation, and prediction. This book presents material from the second interdisciplinary workshop focused on employing social computing for behavioral modeling and prediction. Editor(s): Liu, Huan; Salerno, John J.; Young, Michael J. Num Pages: 264 pages, 100 black & white illustrations, 100 black & white tables, biography. BIC Classification: JHBC; PBUH; PBW; UND; UNF; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9781441900555
- ISBN
- 9781441900555
Hardback
Condition: New
€ 202.73
€ 202.73
Hardback. Bridges the gap between the technical and social aspects of information systems and information technology. This title deals with communication and pragmatics, and organisational systems. It focuses on organisational systems, which may or may not include a computer system as a component. Editor(s): Liu, Kecheng; Clarke, Rodney J. (Dept. of Information Systems, Wollongong University, Australia); Andersen, Peter Bogh; Stamper, Ronald K. Series: Information and Organization Design Series. Num Pages: 256 pages, biography. BIC Classification: KJQ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780792375098
- ISBN
- 9780792375098
Hardback
Condition: New
€ 133.04
€ 133.04
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Maragos, Petros; Butt, Muhammad Akma...
Hardback. Provides the image analysis community with a sampling from the developments in the theoretical (deterministic and stochastic) and computational aspects of mathematical morphology and its applications to image and signal processing. This book consists of the papers presented at the ISMM'96. Editor(s): Maragos, Petros; Butt, Muhammad Akmal; Schafer, Ronald W. Series: Computational Imaging and Vision. Num Pages: 488 pages, black & white illustrations. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 863.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792397335
- ISBN
- 9780792397335
Hardback
Condition: New
€ 373.65
€ 373.65
Hardback. Modern electronics is driven by the explosive growth of digital communications and multi-media technology. Research efforts have emerged on the edge between software compilation and hardware synthesis, to develop high-quality code generation tools for embedded processors. This work provides a survey of these developments. Editor(s): Marwedel, Peter; Goossens, Gert. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 298 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9780792395775
- ISBN
- 9780792395775
Hardback
Condition: New
€ 255.21
€ 255.21
Hardback. The European Computing Conference offers a unique forum for establishing new collaborations. This volume presents a collection of papers covering recent advances in computer engineering, systems theory, and computational methods. Editor(s): Mastorakis, Nikos; Mladenov, Valeri; Kontargyri, Vassiliki T. Series: Lecture Notes in Electrical Engineering. Num Pages: 752 pages, 39 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1179.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 752
- Condition
- New
- SKU
- V9780387848181
- ISBN
- 9780387848181
Hardback
Condition: New
€ 264.85
€ 264.85
Paperback. Covering the latest developments in clinical omics, this volume details the algorithms currently used in publicly available software tools. It looks at statistics, algorithms, automated data retrieval, and experimental consideration in the various omics areas. Editor(s): Matthiesen, Rune, PhD (University of Southern Denmark, Odense, Denmark). Series: Methods in Molecular Biology. Num Pages: 390 pages, 63 black & white illustrations, 14 black & white tables, biography. BIC Classification: PSA; PSB; PSF; UY. Category: (G) General (US: Trade). Dimension: 254 x 178 x 20. Weight in Grams: 758.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Humana Press Inc. United States
- Edition
- annotated ed
- Number of pages
- 390
- Condition
- New
- SKU
- V9781617796708
- ISBN
- 9781617796708
Paperback
Condition: New
€ 183.95
€ 183.95
Integrating Functional and Temporal Domains in Logic Design
. Ed(S): McGeer, Patrick C.; Brayton, Robert ...
Hardback. Editor(s): McGeer, Patrick C.; Brayton, Robert K. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 212 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780792391630
- ISBN
- 9780792391630
Hardback
Condition: New
€ 132.38
€ 132.38