×


 x 

Shopping cart

Computer science

Results 12481 - 12504 of 16991

Computer science

Hardback. Surveys extended logic programming and shows how this language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 143 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 11. Weight in Grams: 910.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Number of pages
143
Condition
New
SKU
V9780792381426
ISBN
9780792381426
Hardback
Condition: New

€ 125.45

Hardback. Test functions (fault detection, diagnosis, error correction, repair, and more) that are applied concurrently while the system continues its intended function are defined as on-line testing. This book contains a selected set of articles that discuss many of the modern aspects of on-line testing. Editor(s): Nicolaidis, Michael; Zorian, Yervant; Pradhan, Dhiraj K. Series: Frontiers in Electronic Testing. Num Pages: 164 pages, biography. BIC Classification: TJFD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 264 x 187 x 16. Weight in Grams: 520.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Edition
Reprinted from THE JOURNAL OF ELECTRONIC TESTING,
Number of pages
164
Condition
New
SKU
V9780792381327
ISBN
9780792381327
Hardback
Condition: New

€ 127.29

Hardback. Brings together important contributions and the research results in Cellular Neural Networks and Analog VLSI. This title serves as a reference, providing insight into the challenging research issues in the field. Editor(s): Chua, Leon O.; Gulak, Glenn (University of Toronto, ON, Canada); Pierzchala, Edmund; Rodriguez-Vazquez, Angel. Num Pages: 107 pages, 70 black & white illustrations, 1 colour illustrations, biography. BIC Classification: TJF; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 8. Weight in Grams: 437.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Edition
Reprinted from ANALOG INTEGRATED CIRCUITS AND SIG
Number of pages
107
Condition
New
SKU
V9780792381259
ISBN
9780792381259
Hardback
Condition: New

€ 121.71

Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Edition
2 Rev ed
Number of pages
384
Condition
New
SKU
V9780792381150
ISBN
9780792381150
Hardback
Condition: New

€ 188.49

Paperback. Presents the different aspects of low power design for deep submicron electronics at various levels of abstraction from system level to circuit level and technology. This book aims to guide industrial and academic engineers and researchers in the selection of methods, technologies and tools and to provide a baseline for further developments. Editor(s): Nebel, Wolfgang; Mermet, Jean. Series: NATO Asi Series / NATO Asi Subseries E:. Num Pages: 580 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 33. Weight in Grams: 1920.
Format
Paperback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Edition
Softcover reprint of the original 1st ed. 1997
Number of pages
580
Condition
New
SKU
V9780792381037
ISBN
9780792381037
Paperback
Condition: New

€ 289.70

Hardback. Brings together contributions and research results in the area of parallel and distributed information systems. This book is intended as a reference, and provides insight into various research issues in the field. Editor(s): Naughton, Jeffrey F.; Weikum, Gerhard. Num Pages: 112 pages, biography. BIC Classification: UN; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 7. Weight in Grams: 343.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
112
Condition
New
SKU
V9780792380870
ISBN
9780792380870
Hardback
Condition: New

€ 124.50

Hardback. Embedded systems are usually composed of several interacting components such as custom or application specific processors, ASICs, memory blocks, and the associated communication infrastructure. This book addresses two active research areas of design automation: high-level synthesis and system-level synthesis. Num Pages: 370 pages, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 719.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
370
Condition
New
SKU
V9780792380825
ISBN
9780792380825
Hardback
Condition: New

€ 193.31

Hardback. Verilog-A is a hardware design language (HDL) for analog circuit and systems design. This book provides an introduction and starting place for students and practicing engineers with interest in understanding this level of simulation technology. It contains many examples that enhance the text material and provide a learning tool for the readers. Num Pages: 211 pages, 19 black & white illustrations, biography. BIC Classification: TJF; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 516.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
211
Condition
New
SKU
V9780792380443
ISBN
9780792380443
Hardback
Condition: New

€ 218.27

Hardback. This text examines the use of analytical tools developed for studying uncertainty analysis in engineering, control systems, and the sciences. It is the work of 38 contributors who have each written chapters on developed analytical methods and have applied them to uncertainty phenomena. Editor(s): Ayyub, Bilal M.; Gupta, Madan M. Series: International Series in Intelligent Technologies. Num Pages: 371 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 161 x 242 x 27. Weight in Grams: 706.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
371
Condition
New
SKU
V9780792380306
ISBN
9780792380306
Hardback
Condition: New

€ 244.94

Hardback. Robotic systems are characterized by the intersection of computer intelligence with the physical world. This title describes a fresh approach to the design of robotic systems. It is suitable for research workers, specialists and professionals in the areas of robotics, mechanical systems and computer engineering. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 182 pages, biography. BIC Classification: TJFM1; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1010.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
182
Condition
New
SKU
V9780792380252
ISBN
9780792380252
Hardback
Condition: New

€ 189.63

Hardback. Addresses the image feature selection issue in developing content-based image retrieval systems. This book discusses the four important issues in developing a complete content-based image retrieval system, and then demonstrates that image feature selection has significant impact on the remaining issues of system design. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 134 pages, biography. BIC Classification: UG; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 880.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
134
Condition
New
SKU
V9780792380153
ISBN
9780792380153
Hardback
Condition: New

€ 125.25

Hardback. Presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems. This book offers an introduction to the fundamentals of hardware/software co-design. It is suitable for teachers and students in an advanced course of hardware/software co-design. Num Pages: 396 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 763.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
396
Condition
New
SKU
V9780792380139
ISBN
9780792380139
Hardback
Condition: New

€ 193.94

Hardback. Presents a selection of the most representative contributions to the 2nd and 3rd IEEE Workshops on Signal Propagation on Interconnects (SPI). This book addresses the need of developers and researchers in the field of VLSI chip and package design. The papers in it cover a wide area of research directions. Editor(s): Grabinski, Hartmut. Num Pages: 236 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 15. Weight in Grams: 526.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
236
Condition
New
SKU
V9780792379973
ISBN
9780792379973
Hardback
Condition: New

€ 189.41

Hardback. Introduces queueing network models with finite capacity and various types of blocking mechanisms. This book gives the definition of the analytical model underlying these blocking queueing networks. It surveys various analytical solution methods and algorithms and their properties. It also presents various application examples of queueing networks. Series: International Series in Operations Research & Management Science. Num Pages: 255 pages, biography. BIC Classification: KJ; PBT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
255
Condition
New
SKU
V9780792379966
ISBN
9780792379966
Hardback
Condition: New

€ 127.60

hardcover. The building blocks of embedded systems-on-a-chip are complex IP components and programmable processor cores. This book provides methods and techniques to software and compiler developers, that help to make the necessary step from assembly programming to the use of compilers also in embedded system design. Num Pages: 216 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 14. Weight in Grams: 498.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Edition
2000th Edition
Number of pages
216
Condition
New
SKU
V9780792379898
ISBN
9780792379898
Hardback
Condition: New

€ 126.65

Hardback. Presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. This book discusses the proposed function/architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 248 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
248
Condition
New
SKU
V9780792379850
ISBN
9780792379850
Hardback
Condition: New

€ 127.40

Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
423
Condition
New
SKU
V9780792379683
ISBN
9780792379683
Hardback
Condition: New

€ 247.02

Hardback. The main emphasis of this text is on virtual enterprises and other networked organizations, with special focus on: supporting infrastructures and management of distributed business processes, intelligent multi-agent systems, knowledge management, human interfaces, and socio-economical aspects. Editor(s): Camarinha-Matos, Luis M.; Afsarmanesh, Hamideh; Erbe, Heinz-H. Series: IFIP Advances in Information and Communication Technology. Num Pages: 498 pages, biography. BIC Classification: KN; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1940.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
498
Condition
New
SKU
V9780792379584
ISBN
9780792379584
Hardback
Condition: New

€ 255.69

Hardback. Introduces the modeling language MOSEL (MOdeling, Specification and Evaluation Language). This book provides an introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 409 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
409
Condition
New
SKU
V9780792379515
ISBN
9780792379515
Hardback
Condition: New

€ 194.06

Hardback. Multimedia surveillance systems is a field that includes signal and image processing, communications and computer vision. The text covers surveillance requirements, including new digital sensors for real-time acquisition of surveillance data and low-level image processing algorithms. Editor(s): Foresti, Gina Luca; Mahonen, Petri; Regazzoni, Carlo S. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 289 pages, biography. BIC Classification: TNKS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 609.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
289
Condition
New
SKU
V9780792379270
ISBN
9780792379270
Hardback
Condition: New

€ 191.79

hardcover. Covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs). This book is accompanied by a CD-ROM that contains the Altera MAX+PLUS II development environment which is ready to compile and simulates all examples. Num Pages: 621 pages, biography. BIC Classification: TJFD; UK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 1216.
Format
Hardback
Publication date
2000
Publisher
Kluwer Boston Incorporated United States
Edition
2nd ed. 2000
Number of pages
621
Condition
New
SKU
V9780792379201
ISBN
9780792379201
Hardback
Condition: New

€ 243.47

Hardback. Knowledge discovery is an area of computer science that attempts to uncover interesting patterns in data that permit a computer to perform a task autonomously. This title provides a self-contained exposition of the key theory and algorithms that form the core of knowledge discovery from a soft computing perspective. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 326 pages, biography. BIC Classification: UKR; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1480.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
326
Condition
New
SKU
V9780792379188
ISBN
9780792379188
Hardback
Condition: New

€ 192.26

Hardback. Dictation systems, speech control of machinery, geographical information systems with speech input and output, and educational software with 'talking head' artificial tutorial agents are already on the market. This title presents some of the best practice in resource creation for speech input/output software and hardware. Editor(s): Gibbon, Dafydd; Mertins, Inge; Moore, Roger K. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 520 pages, biography. BIC Classification: UG; UN; UYQL; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 2070.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
520
Condition
New
SKU
V9780792379041
ISBN
9780792379041
Hardback
Condition: New

€ 258.08

Hardback. Image segmentation is a process for dividing an image into its constituent parts. This volume presents an algorithm that models the statistical dependence among image blocks by two dimensional hidden Markov models (HMMs). It is useful for researchers and engineers working in statistical signal processing or image processing. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 141 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 405.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
141
Condition
New
SKU
V9780792378990
ISBN
9780792378990
Hardback
Condition: New

€ 188.90

Subscribe to our newsletter

News on special offers, signed editions & more!