... IEEE International Symposium on Performance Analysis of Software and Systems.

SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /
Published: (1996)

Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings /
Published: (2002)

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings /
Published: (1995)

The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)

Software for Parallel Computation : Proceedings of the NATO Advanced Workshop on Software for Parallel Computation held at Cetraro, Cosenza, Italy, June 22-26, 1992 /
by: Kowalik, Janusz S.
Published: (1993)

SOFSEM 2001, theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt̕any, Slovak Republic, November 24-December 1, 2001 : proceedings /
Published: (2001)

Proceedings of the International Conference on Communication Software and Networks.

International journal of computer mathematics.
Published: (2016)

Proceedings of the ACM on measurement and analysis of computing systems.
Published: (2017)

Exploring RANDOMNESS /
by: Chaitin, Gregory J.
Published: (2001)

Radon and Projection Transform-Based Computer Vision : Algorithms, A Pipeline Architecture, and Industrial Applications /
by: Sanz, Jorge L. C.
Published: (1988)

Parallel Processing and Parallel Algorithms : Theory and Computation /
by: Roosta, Seyed H.
Published: (2000)

Models of Sharing Graphs : a Categorical Semantics of let and letrec /
by: Hasegawa, Masahito
Published: (1999)

Parsing Theory : Volume I Languages and Parsing /
by: Sippu, Seppo
Published: (1988)

High performance algorithms and software in nonlinear optimization /
Published: (1998)

ACM transactions on modeling and performance evaluation of computing systems.
Published: (2016)

Hardware-software co-synthesis of distributed embedded systems /
by: Yen, Ti-Yen, 1967-, et al.
Published: (1996)

IEEE transactions on multi-scale computing systems.
Published: (2015)

Software architecture : 2nd European workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005 : proceedings /
Published: (2005)

Introducing RavenDB : the database for modern data persistence /
by: Miličić, Dejan
Published: (2022)

RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /
Published: (1983)

Software-intensive cyber-physical systems.
Published: (2019)

Meet the expert : the benefits of open source and the risks of open core with Ben Bromhead and Danese Cooper.
Published: (2022)

Application Management /
Published: (2011)

Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System /
by: Benker, Hans
Published: (1999)

Lattice Functions and Equations /
by: Rudeanu, Sergiu
Published: (2001)

The Book of L /
by: Rozenberg, G.
Published: (1986)

Computability and Complexity Theory /
by: Homer, S. (Steven)
Published: (2001)

SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings /
by: Karlsson, Rolf
Published: (1988)

Selected Writings on Computing: A personal Perspective /
by: Dijkstra, Edsger W.
Published: (1982)

Maple V: Mathematics and its Applications : Proceedings of the Maple Summer Workshop and Symposium, Rensselaer Polytechnic Institute, Troy, New York, August 9-13,1994 /
by: Lopez, Robert J.
Published: (1994)

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings /
Published: (2003)

IEEE Symposium on Computers & Informatics.

Software specification methods : an overview using a case study /
Published: (2001)

Search and Planning Under Incomplete Information : a Study Using Bridge Card Play /
by: Frank, Ian
Published: (1998)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)