Lecture Notes in Computer Science - Böcker

7th International Conference on Automated Deduction

Proceedings

VLSI Algorithms and Architectures

3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings

Modern Cryptology

A Tutorial

Software Engineering Education

SEI Conference 1988 Fairfax, Virginia, USA, April 28-29, 1988. Proceedings

Error Detection and Recovery in Robotics

Cray X-MP/Model 24

A Case Study in Pipelined Architecture and Vector Processing

Software Engineering Education

SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989. Proceedings

Advances in Cryptology - CRYPTO '88

Proceedings

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Software Engineering Education

SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings

Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Advances in Cryptology - CRYPTO '89

Proceedings

Mathematical Foundations of Programming Semantics

5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings

Fault-Tolerant Distributed Computing

Computing in the 90's

The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings

Research in Computational Molecular Biology

28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29–May 2, 2024, Proceedings

Research in Computational Molecular Biology

28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29–May 2, 2024, Proceedings

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part I

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part II

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part III

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part IV

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

DNA Computing and Molecular Programming

24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Digital Libraries for Open Knowledge

22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

KI 2018: Advances in Artificial Intelligence

41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

Studies on Speech Production

11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers

Machine Learning for Medical Image Reconstruction

First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings