Бібліотека БДМУ

Головна

Спрощенний режим

Опис

Бази даних

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ) - результати пошуку

Вид пошуку

К Н И Г И

Періодичні видання

Дисертації та автореферати

Фонд рідкісних видань

Електронна Навчальна література

Публікації засновників кафедр БДМУ

Нововведення у сфері охорони здоров'я

Календар пам'ятних дат

Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ)

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>S=Arithmetic and logic units, Computer.<.>)

Загальна кiлькiсть документiв : 9
Показанi документи с 1 за 9

    Seiffertt, John.
    Digital Logic for Computing [[electronic resource] /] : монография / John. Seiffertt ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 319 p. 254 illus. - Б. ц.
    Зміст:
1 The Digital Electronic Computer --
2 Boolean Algebra --
3 Logic Function Synthesis --
4 Basic Logic Function Minimization --
5 Advanced Logic Function Minimization --
6 Logic Gates --
7 Unsigned Arithmetic --
8 Signed Numbers --
9 Other Digital Representations --
10 Encoding Code --
11 Sequential Logic Elements --
12 Multiplexers and Comparators --
13 Decoders and Register Files --
14 Counters --
15 Datapaths --
16 Basic Computer Datapath --
17 State Machines --
18 Datapath Controllers --
19 State Machine Theory and Optimization --
20 Instruction Processor Design.
Рубрики: Arithmetic and logic units, Computer.
   Computer organization.
   Arithmetic and Logic Structures.
   Computer Systems Organization and Communication Networks.
Анотація: Providing a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems, Digital Logic for Computing uses logic design throughout to introduce computer design principles and embedded systems in a cohesive, design-driven framework, suitable for class or self-study. Covering the basics of digital logic through the lens of computer organization and programming, the reader should be able to design his or her own computer from the ground up. Illustrated throughout with drawings and diagrams, the core concepts and methods associated with the design and physical construction of digital electronic computers are presented in a clear and concise manner.

Перейти: https://doi.org/10.1007/978-3-319-56839-3

Дод.точки доступу:
Seiffertt, John. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Kneusel, Ronald T.
    Numbers and Computers [[electronic resource] /] : монография / Ronald T. Kneusel ; . - 2nd ed. 2017. - [S. l. : s. n.]. - XIII, 346 p. 68 illus., 12 illus. in color. - Б. ц.
    Зміст:
Number Systems --
Integers --
Floating Point --
Pitfalls of Floating-Point Numbers (and How to Avoid Them) --
Big Integers and Rational Arithmetic --
Fixed-Point Numbers --
Decimal Floating Point --
Interval Arithmetic --
Arbitrary Precision Floating-Point --
Other Number Systems.
Рубрики: Arithmetic and logic units, Computer.
   Numerical analysis.
   Arithmetic and Logic Structures.
   Numeric Computing.
Анотація: This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, in sufficient but not overwhelming detail, just what it is that computers do with numbers. Divided into two parts, the first deals with standard representations of integers and floating point numbers, while the second examines several other number representations. Details are explained thoroughly, with clarity and specificity. Each chapter ends with a summary, recommendations, carefully selected references, and exercises to review the key points. Topics covered include interval arithmetic, fixed-point numbers, big integers and rational arithmetic. This new edition has three new chapters: Pitfalls of Floating-Point Numbers (and How to Avoid Them), Arbitrary Precision Floating Point, and Other Number Systems. This book is for anyone who develops software including software engineers, scientists, computer science students, engineering students and anyone who programs for fun.

Перейти: https://doi.org/10.1007/978-3-319-50508-4

Дод.точки доступу:
Kneusel, Ronald T. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Streib, James T.
    Guide to Data Structures [[electronic resource] :] : a Concise Introduction Using Java / / James T. Streib, Soma, Takako. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 376 p. 43 illus., 9 illus. in color. - Б. ц.
    Зміст:
Preliminary Concepts --
Stacks Using Arrays --
Queues Using Arrays --
Lists Using Arrays --
Lists Using Objects and References --
Ordered Linked Lists --
Stacks and Queues Using References --
Binary Trees --
Sorting --
Heaps --
Hashing.
Рубрики: Data structures (Computer science).
   Arithmetic and logic units, Computer.
   Data Structures.
   Arithmetic and Logic Structures.
   Data Storage Representation.
Анотація: This accessible and engaging textbook/guide provides a concise introduction to data structures and associated algorithms. Emphasis is placed on the fundamentals of data structures, enabling the reader to quickly learn the key concepts, and providing a strong foundation for later studies of more complex topics. The coverage includes discussions on stacks, queues, lists, (using both arrays and links), sorting, and elementary binary trees, heaps, and hashing. This content is also a natural continuation from the material provided in the separate Springer title Guide to Java by the same authors. Topics and features: Reviews the preliminary concepts, and introduces stacks and queues using arrays, along with a discussion of array-based lists Examines linked lists, the implementation of stacks and queues using references, binary trees, a range of varied sorting techniques, heaps, and hashing Presents both primitive and generic data types in each chapter, and makes use of contour diagrams to illustrate object-oriented concepts Includes chapter summaries, and asks the reader questions to help them interact with the material Contains numerous examples and illustrations, and one or more complete program in every chapter Provides exercises at the end of each chapter, as well as solutions to selected exercises, and a glossary of important terms This clearly-written work is an ideal classroom text for a second semester course in programming using the Java programming language, in preparation for a subsequent advanced course in data structures and algorithms. The book is also eminently suitable as a self-study guide in either academe or industry. Dr. James T. Streib is a Professor of Computer Science at Illinois College, Jacksonville, IL, USA. Dr. Takako Soma is an Associate Professor of Computer Science at the same institution.

Перейти: https://doi.org/10.1007/978-3-319-70085-4

Дод.точки доступу:
Soma, Takako.; Streib, James T. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Discrete Geometry for Computer Imagery [[electronic resource] :] : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings / / ed.: Kropatsch, Walter G., Artner, Nicole M., Janusch, Ines. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 400 p. 171 illus. - Б. ц.
    Зміст:
Geometric transforms --
Discrete tomography --
Discrete modeling and visualization --
Morphological analysis --
Discrete shape representation, recognition and analysis --
Discrete and combinatorial topology --
Discrete models and tools --
Models for discrete geometry.
Рубрики: Computer graphics.
   Optical data processing.
   Pattern recognition.
   Computer science—Mathematics.
   Algorithms.
   Arithmetic and logic units, Computer.
   Computer Graphics.
   Image Processing and Computer Vision.
   Pattern Recognition.
   Math Applications in Computer Science.
   Algorithm Analysis and Problem Complexity.
   Arithmetic and Logic Structures.
Анотація: This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017. The 28 revised full papers presented together with 3 invited talks were carefully selected from 36 submissions. The papers are organized in topical sections on geometric transforms; discrete tomography; discrete modeling and visualization; morphological analysis; discrete shape representation, recognition and analysis; discrete and combinatorial topology; discrete models and tools; models for discrete geometry.

Перейти: https://doi.org/10.1007/978-3-319-66272-5

Дод.точки доступу:
Kropatsch, Walter G. \ed.\; Artner, Nicole M. \ed.\; Janusch, Ines. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Stabilization, Safety, and Security of Distributed Systems [[electronic resource] :] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / / ed.: Spirakis, Paul., Tsigas, Philippas. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 496 p. 82 illus. - Б. ц.
    Зміст:
Proof-Labeling Schemes: Broadcast, Unicast and in Between --
Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs --
The Dynamics and Stability of Probabilistic Population Processes --
Self-stabilizing Distributed Stable Marriage --
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping --
Self-Tuning Eventually-Consistent Data Stores --
An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks --
An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults --
Fault-Induced Dynamics of Oblivious Robots on a Line --
Relaxed Data Types as Consistency Conditions --
Ant-Inspired Dynamic Task Allocation via Gossiping --
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility --
Robust Routing Made Easy --
Generalized Paxos Made Byzantine (and Less Complex) --
ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms --
How to Simulate Message-passing Algorithms in mobile agent systems with faults --
A Self-Stabilizing General De Bruijn Graph --
Constant-Time Complete Visibility for Asynchronous Robots with Lights --
On Security Analysis of Proof-of-Elapsed-Time (PoET) --
Brief Announcement: Federated Code Auditing and Delivery for MPC --
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees --
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation --
Universally Optimal Gathering under Limited Visibility --
Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights --
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin --
Scalable Funding of Bitcoin Micropayment Channel Networks --
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem --
Space-Optimal Proportion Consensus with Population Protocols --
Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion --
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios --
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness --
TorBricks: Blocking-Resistant Tor Bridge Distribution --
Cover Time in Edge-Uniform Stochastically-Evolving Graphs --
Bitcoin a Distributed Shared Register --
Broadcast Encryption with Both Temporary and Permanent Revocation --
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights --
Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. .
Рубрики: Computer communication systems.
   Special purpose computers.
   Architecture, Computer.
   Artificial intelligence.
   Operating systems (Computers).
   Arithmetic and logic units, Computer.
   Computer Communication Networks.
   Special Purpose and Application-Based Systems.
   Computer System Implementation.
   Artificial Intelligence.
   Operating Systems.
   Arithmetic and Logic Structures.
Анотація: This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

Перейти: https://doi.org/10.1007/978-3-319-69084-1

Дод.точки доступу:
Spirakis, Paul. \ed.\; Tsigas, Philippas. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    High Performance Computing for Computational Science – VECPAR 2016 [[electronic resource] :] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / ed. Dutra, Ines. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 272 p. 133 illus. - Б. ц.
    Зміст:
Applications --
Performance modeling and analysis --
Low level support.-Environments/libraries to support parallelization.
Рубрики: Computer science—Mathematics.
   Computers.
   Software engineering.
   Computer simulation.
   Computer system failures.
   Arithmetic and logic units, Computer.
   Mathematics of Computing.
   Theory of Computation.
   Software Engineering/Programming and Operating Systems.
   Simulation and Modeling.
   System Performance and Evaluation.
   Arithmetic and Logic Structures.
Анотація: This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016. The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on applications; performance modeling and analysis; low level support; environments/libraries to support parallelization.

Перейти: https://doi.org/10.1007/978-3-319-61982-8

Дод.точки доступу:
Dutra, Ines. \ed.\; Camacho, Rui. \ed.\; Barbosa, Jorge. \ed.\; Marques, Osni. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Patch-Based Techniques in Medical Imaging [[electronic resource] :] : third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / / ed. Wu, Guorong. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 168 p. 59 illus. - Б. ц.
    Зміст:
Multi-atlas segmentation --
Segmentation --
Alzheimer’s disease --
Reconstruction, denoising, super-resolution --
Tumor, lesion --
Classification, retrival.
Рубрики: Optical data processing.
   Health informatics.
   Artificial intelligence.
   Arithmetic and logic units, Computer.
   Mathematical statistics.
   Image Processing and Computer Vision.
   Health Informatics.
   Artificial Intelligence.
   Arithmetic and Logic Structures.
   Probability and Statistics in Computer Science.
Анотація: This book constitutes the refereed proceedings of the Third International Workshop on Patch-Based Techniques in Medical Images, Patch-MI 2017, which was held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 18 regular papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on multi-atlas segmentation; segmentation; Alzheimer’s disease; reconstruction, denoising, super-resolution; tumor, lesion; and classification, retrival.

Перейти: https://doi.org/10.1007/978-3-319-67434-6

Дод.точки доступу:
Wu, Guorong. \ed.\; Munsell, Brent C. \ed.\; Zhan, Yiqiang. \ed.\; Bai, Wenjia. \ed.\; Sanroma, Gerard. \ed.\; Coupe, Pierrick. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Databases Theory and Applications [[electronic resource] :] : 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25–28, 2017, Proceedings / / ed.: Huang, Zi., Xiao, Xiaokui., Cao, Xin. - 1st ed. 2017. - [S. l. : s. n.]. - XXVII, 286 p. 81 illus. - Б. ц.
    Зміст:
Spatial databases --
Query processing --
Similarity search --
Data mining --
AI for big data --
Potpourri --
Demo papers.
Рубрики: Database management.
   Data mining.
   Information storage and retrieval.
   Artificial intelligence.
   Application software.
   Arithmetic and logic units, Computer.
   Database Management.
   Data Mining and Knowledge Discovery.
   Information Storage and Retrieval.
   Artificial Intelligence.
   Information Systems Applications (incl. Internet).
   Arithmetic and Logic Structures.
Анотація: This book constitutes the refereed proceedings of the 28th Australasian Database Conference, ADC 2017, held in Brisbane, QLD, Australia, in September 2017. The 20 full papers presented together with 2 demo papers were carefully reviewed and selected from 32 submissions. The mission of ADC is to share novel research solutions to problems of today’s information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research and development work. The topics of the presented papers are related to all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.

Перейти: https://doi.org/10.1007/978-3-319-68155-9

Дод.точки доступу:
Huang, Zi. \ed.\; Xiao, Xiaokui. \ed.\; Cao, Xin. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

    Computer Vision Systems [[electronic resource] :] : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / / ed.: Liu, Ming., Chen, Haoyao., Vincze, Markus. - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 655 p. 355 illus. - Б. ц.
    Зміст:
Visual Control --
Visual Navigation --
Visual Inspection --
Image Processing --
Human Robot Interaction --
Stereo System --
Image Retrieval --
Visual Detection --
Visual Recognition --
System Design --
3D Vision / Fusion.
Рубрики: Optical data processing.
   Special purpose computers.
   Artificial intelligence.
   Computer communication systems.
   Arithmetic and logic units, Computer.
   Image Processing and Computer Vision.
   Special Purpose and Application-Based Systems.
   Artificial Intelligence.
   Computer Communication Networks.
   Arithmetic and Logic Structures.
Анотація: This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017. The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo system, image retrieval, visual detection, visual recognition, system design, and 3D vision / fusion.

Перейти: https://doi.org/10.1007/978-3-319-68345-4

Дод.точки доступу:
Liu, Ming. \ed.\; Chen, Haoyao. \ed.\; Vincze, Markus. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)