-
Computers'89 : Konf. Conference with international participation, Bratislava, 6.- 8. sept. 1989
-
Mathematical Logic for Computer Science
-
Mathematical logic and computer science /
-
Logic in Computer Science : Modelling and Reasoning about Systems
-
Proceedings of the 3rd international workshop on software configuration management : Konf. Trondheim, Norway, 12.- 14. Juny 1991 /
-
Eurographics '89 : Konf. Proceedings of the European Computer Graphics Conference and Exhibition, Hamburg, F.R.G, 4-8 September,1989
-
Fast Software Encryption. 3rd International Workshop : Proceedings : Cambridge, UK, February 21-23, 1996
-
Distributed algorithms. 3rd int. workshop, Nice, France, September 26-28, 1989. Proc /
-
The Logic of Computer Arithmetic
-
3rd Central European Conference in Regional Science international conference proceedings
-
Experiences with distributet systems : International workshop : Konf. Kaiserslautern, FRG, 28.- 30. Sept.1987 /
-
Computer Integrated Manufacturing. Proceed.of the 3rd CIM Europe Conference
-
<The> logical Basis for Computer Programming
-
Digital logic and computer design /
-
Computer-aided logic design /
-
Logical Design of digital computers
-
Hypercube and distributed computers : Proceedings of the first European workshop : Konf. Rennes, France, 4.- 6. Oct. 1989 /
-
WIKT 2008 Proceedings: 3rd Workshop on Intelligent and Knowledge Oriented Technologies, Smolenice, 6.-7. november 2008
-
Book of Abstracts of the 33rd Workshop Cycles and Colourings 2025 : Nový Smokovec, August 31 - September 5, 2025/
-
The Logical Basis for Computer Programming. Volume 2 /
-
The logical basis for computer programming : Vol.II /
-
Workshop on the microarchitecture of computer systems
-
Engineering and related sciences. Tempus workshop : Proceedings : Konf. Tempus Workshop, Bratislava, Slovakia, 17.- 20. April 1996
-
Public Key Cryptography. 3rd International Workshop on Practice and Theory in Public Key Cryptosystems : Proceedings. PKC 2000. Melbourne, Australia January 18-20, 2000