Lecture Notes in Computer Science - Böcker
Visar alla böcker i serien Lecture Notes in Computer Science. Handla med fri frakt och snabb leverans.
16 110 produkter
16 110 produkter
- Nyhet
Del 16297 - Lecture Notes in Computer Science
Knowledge Graphs
14th International Joint Conference, IJCKG 2025, Heraklion, Crete, Greece, October 15–17, 2025, Proceedings
Häftad, Engelska, 2026
900 kr
Del 170 - Lecture Notes in Computer Science
7th International Conference on Automated Deduction
Proceedings
Häftad, Engelska, 1984
1 096 kr
Skickas inom 10-15 vardagar
The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .
Del 319 - Lecture Notes in Computer Science
VLSI Algorithms and Architectures
3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings
Häftad, Engelska, 1988
1 064 kr
Skickas inom 10-15 vardagar
From the Foreword: "The papers in this volume were presented at the Aegean Workshop on Computing: VLSI Algorithms and Architectures (AWOC 88), organized by the Computer Technology Institute in Patras in cooperation with ACM, EATCS, IEEE and the General Secretariat of Research and Technology (Ministry of Industry, Energy & technology of Greece). They were selected from 119 abstracts submitted in response to the program committee's call for papers and to additional invitations from John Reif. AWOC 88 took place in Corfu, Greece, June 28-July 1, 1988. AWOC 88 is the third meeting in the International Workshop on Parallel Computing & VLSI series; the first meeting took place in Amalfi, Italy, 1984, and the second at Loutraki, Greece, 1986."
475 kr
Skickas inom 10-15 vardagar
Cryptology is the art and science of secure communication over insecure channels. The primary aim of this book is to provide a self-contained overview of recent cryptologic achievements and techniques in a form that can be understood by readers having no previous acquaintance with cryptology. It can thus be used as independent reading by whoever wishes to get started on the subject. An extensive bibliography of 250 references is included to help the reader deepen his or her understanding and go beyond the topics treated here. This book can also be used as preliminary material for an introductory course on cryptology. Despite its simplicity, it covers enough state-of-the-art material to be nevertheless of interest to the specialist. After a survey of the main secret and public key techniques, various applications are discussed. The last chapter describes 'quantum cryptography', a revolutionary approach to cryptography that remains secure even against an opponent with unlimited computingpower. Quantum crytography is based on the principles of quantum physics.
Del 327 - Lecture Notes in Computer Science
Software Engineering Education
SEI Conference 1988 Fairfax, Virginia, USA, April 28-29, 1988. Proceedings
Häftad, Engelska, 1988
520 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 1988 SEI Conference on Software Engineering Education. The Software Engineering Institute (SEI) is a United States government-funded research and development center operated by Carnegie Mellon University. Its principal responsibility is to accelerate the reduction to practice of modern software engineering techniques and methods. An annual activity of the SEI is the SEI Conference on Software Engineering Education. The purpose of the conference is to promote enhanced software engineering education in the academic, industrial, and government educational communities, and to promote interactions among educators in these three communities. The 1988 conference included refereed papers, panel discussions, reports and demonstrations from the SEI. Special emphasis was placed on master's degree level software engineering curricula, the content of software engineering courses, and the introduction of software engineering into undergraduate computer science curricula. The proceedings contain fifteen refereed papers, the keynote address, and a report on curriculum recommendations from the SEI. This volume is particularly useful to software engineering and computer science educators in both the academic and industrial communities.
Del 336 - Lecture Notes in Computer Science
Error Detection and Recovery in Robotics
Häftad, Engelska, 1989
536 kr
Skickas inom 10-15 vardagar
Robotics is the science that attempts to forge an intelligent, computational connection between perception and action. Perhaps the most fundamental problems in robotics today are uncertainty and error in control, sensing, and modelling. In this monograph the author provides what is perhaps the first systematic treatment of the uncertainty problem. This book descibes the theory he developed for planning compliant motions for tasks such as robotic assembly. The planner can synthesize robot control programs that are robust in the face of uncertainty in the control system, the robot sensors, and variation in the geometry of the assembly. Perhaps the deepest contribution lies in a new theory of Error Detection and Recovery (EDR). While EDR is largely motivated by the problem of uncertainty its applicability may be quite broad. EDR has been a persistent but ill-defined theme in AI and robotics research. The author gives a constructive, geometric definition for EDR strategies, and shows how they may be computed. This theory represents an elegant mathematical attack on the problem of error detection and recovery based on geometric and physical reasoning. Finally, algorithms for the automatic synthesis of EDR strategies are described, and new results on their computational complexity are analyzed.
Del 374 - Lecture Notes in Computer Science
Cray X-MP/Model 24
A Case Study in Pipelined Architecture and Vector Processing
Häftad, Engelska, 2001
552 kr
Skickas inom 10-15 vardagar
This book examines the issues relevant to the design of vector and pipelined computer systems using the Cray X-MP/24. The purpose of the book is to help the readers arrive at a deep understanding of how vector processing systems really work. These insights will be useful to the scientist who would like to obtain maximum performance from a vector machine, to the computer science student, and to the compiler writer. The book can also be used to supplement a regular textbook in a graduate or senior level course in computer architecture. The book looks at the overall design of the Cray X-MP and then explores the operation of the machine by looking at detailed timings of various instructions and code segments. It examines such issues as instruction issues and buffering, handling of jump instructions, use of registers to hold intermediate results, memory conflicts resulting from vectorization, optimal vectorization of multiple statement loops, and synchronization problems with multi-tasking.Detailed Gantt charts are provided to guide the reader through the timing issues.
Del 376 - Lecture Notes in Computer Science
Software Engineering Education
SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989. Proceedings
Häftad, Engelska, 1989
552 kr
Skickas inom 10-15 vardagar
This volume is a record of two events held in Pittsburgh, Pennsylvania as part of the SEI Software Engineering Education and Training Week in July 18-21, 1989. The first section includes 15 refereed papers presented at the Third SEI Conference on Software Engineering Education and the SEI Education Program's annual revised report on Master Software Engineering curriculum recommendations. The second part contains unrefereed position papers submitted by participants in the SEI Workshop on an Undergraduate Software Engineering Curriculum. The annual SEI Conference on Software Engineering Education brings together educators from universities, industry and government to discuss problems and issues of mutual interest. Its goals are to stimulate new educational approaches, to provide a forum for discussions of mutual problems, and to evaluate promising new ideas. The topics of the papers are industry issues and programs, teaching software maintenance, undergraduate software engineering education and related topics.
552 kr
Skickas inom 10-15 vardagar
Del 408 - Lecture Notes in Computer Science
Hardware Specification, Verification and Synthesis: Mathematical Aspects
Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Häftad, Engelska, 1990
536 kr
Skickas inom 10-15 vardagar
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.
Del 423 - Lecture Notes in Computer Science
Software Engineering Education
SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings
Häftad, Engelska, 1990
552 kr
Skickas inom 10-15 vardagar
Del 425 - Lecture Notes in Computer Science
Algebraic Logic and Universal Algebra in Computer Science
Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Häftad, Engelska, 2000
536 kr
Skickas inom 10-15 vardagar
Del 435 - Lecture Notes in Computer Science
Advances in Cryptology - CRYPTO '89
Proceedings
Häftad, Engelska, 1990
552 kr
Skickas inom 10-15 vardagar
CRYPTO is a conference devoted to all aspects of cryptologic research. It is held each year at the University of California at Santa Barbara. Annual meetings on this topic also take place in Europe and are regularly published in this Lecture Notes series under the name of EUROCRYPT. This volume presents the proceedings of the ninth CRYPTO meeting. The papers are organized into sections with the following themes: Why is cryptography harder than it looks?, pseudo-randomness and sequences, cryptanalysis and implementation, signature and authentication, threshold schemes and key management, key distribution and network security, fast computation, odds and ends, zero-knowledge and oblivious transfer, multiparty computation.
Del 442 - Lecture Notes in Computer Science
Mathematical Foundations of Programming Semantics
5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings
Häftad, Engelska, 1990
536 kr
Skickas inom 10-15 vardagar
This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are related to those presented in the book: programming language semantics, including algebraic, denotational and operational semantics, logics of programs, specification techniques, etc., and the relevant areas of mathematics research, including category theory, domain theory, ordered structures and lattice theory, and metric space methods. The papers included in the book represent the latest results in various facets of this rather broad research area, and this is the first time some of the ideas contained in these works are appearing in print.
Del 448 - Lecture Notes in Computer Science
Fault-Tolerant Distributed Computing
Häftad, Engelska, 1990
552 kr
Skickas inom 10-15 vardagar
The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians and practitioners by inviting speakers and choosing topics so as to present a broad overview of the field. This volume contains 22 papers stemming from the workshop, most of them revised and rewritten, presenting research results in distributed systems and fault-tolerant architectures and systems. The volume should be of use to students, researchers and developers.
Del 507 - Lecture Notes in Computer Science
Computing in the 90's
The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings
Häftad, Engelska, 1991
1 096 kr
Skickas inom 10-15 vardagar
The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research in data structures, algorithms (both parallel and sequential), database and VLSI design. Artificial intelligence has received the most attention. The 1989 proceedings of the Great Lakes Computer Science Conference consists of 64 papers. Artificial Intelligence, with 11 papers, is the field which was widely attended.
Del 14617 - Lecture Notes in Computer Science
Research in Computational Molecular Biology
28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29–May 2, 2024, Proceedings
Häftad, Engelska, 2024
1 923 kr
Kommande
This book constitutes the proceedings of the 28th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2024, held in Cambridge, MA, USA, during April 29–May 2, 2024.The 57 full papers included in this book were carefully reviewed and selected from 352 submissions. They were organized in topical sections as follows: theoretical and foundational algorithm contributions and more applied directions that engage with new technologies and intriguing biological questions.
Del 14758 - Lecture Notes in Computer Science
Research in Computational Molecular Biology
28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29–May 2, 2024, Proceedings
Häftad, Engelska, 2024
1 487 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 28th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2024, held in Cambridge, MA, USA, during April 29–May 2, 2024. The 57 full papers included in this book were carefully reviewed and selected from 352 submissions.
Del 11063 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
Del 11064 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part II
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
Del 11065 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part III
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
Del 11066 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part IV
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics
Del 11067 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics
Del 11068 - Lecture Notes in Computer Science
Cloud Computing and Security
4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics
Del 11145 - Lecture Notes in Computer Science
DNA Computing and Molecular Programming
24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 24th International Conference on DNA Computing and Molecular Programming, DNA 24, held in Jinan, China, in October 2018.The 12 full papers presented were carefully selected from 14 submissions. Research in DNA computing aims to draw together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers were sought in all areas related to biomolecular computing, including: algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; information storage; studies of fault tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; and applications in engineering, physics, chemistry, biology, and medicine.
Del 11057 - Lecture Notes in Computer Science
Digital Libraries for Open Knowledge
22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings
Häftad, Engelska, 2018
824 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, held in Porto, Portugal, in September 2018. The 51 full papers, 17 short papers, and 13 poster and tutorial papers presented in this volume were carefully reviewed and selected from 81 submissions. The general theme of TPDL 2018 was Digital Libraries for Open Knowledge. The papers present a wide range of the following topics: Metadata, Entity Disambiguation, Data Management, Scholarly Communication, Digital Humanities, User Interaction, Resources, Information Extraction, Information Retrieval, Recommendation.
KI 2018: Advances in Artificial Intelligence
41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Häftad, Engelska, 2018
536 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions.
Del 10733 - Lecture Notes in Computer Science
Studies on Speech Production
11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 11th International Seminar on Speech Production, ISSP 2017, held in Tianjin, China, In October 2017.The 20 revised full papers included in this volume were carefully reviewed and selected from 68 submissions. They cover a wide range of speech science fields including phonology, phonetics, prosody, mechanics, acoustics, physiology, motor control, neuroscience, computer science and human interaction. The papers are organized in the following topical sections: emotional speech analysis and recognition; articulatory speech synthesis; speech acquisition; phonetics; speech planning and comprehension, and speech disorder.
Del 11074 - Lecture Notes in Computer Science
Machine Learning for Medical Image Reconstruction
First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018.The 17 full papers presented were carefully reviewed and selected from 21 submissions. The papers are organized in the following topical sections: deep learning for magnetic resonance imaging; deep learning for computed tomography, and deep learning for general image reconstruction.
Del 11022 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.