Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /

Table of Contents: “…principles and theory for OBJ-0, a language to express and execute algebraic …”
Full Text (via Springer)

Algebraic and Logic Programming : International Workshop Gaussig, GDR, November 14-18, 1988 Proceedings /

Table of Contents: “…in logic-functional programming languages -- H. Hussmann: Nondeterministic …”
Full Text (via Springer)

ECOOP '88, European Conference on Object-Oriented Programming Oslo, Norway, August 15-17, 1988, proceedings /

Table of Contents: “…Object-Oriented Database Programming Language""; ""PCLOS: A Flexible Implementation …”
Full Text (via Springer)

Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15...

Full Text (via Springer)

Perspectives of system informatics third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /

Table of Contents: “…Structuring Functional-Logic Programs -- Language Tools and Programming Systems …”
Full Text (via Springer)

Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised selected papers /

Full Text (via Springer)

Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers /

Table of Contents: “…Approach to Making C Programs Secure Progress Report -- Securing Programs …”
Full Text (via Springer)

Fundamental approaches to software engineering : 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Table of Contents: “…of Object-Oriented Programming -- Concurrent and Distributed Systems Automated …”
Full Text (via Springer)

PRICAI 2022 : trends in artificial intelligence : 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, proceedi...

Full Text (via Springer)