Springer Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)

92% match

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings: 2607 (Lecture Notes in Computer Science, 2607)

Springer

£85.48 08 Mar 2026

91% match

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)

Springer

£84.75 28 Feb 2026

91% match

Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings: 2747 (Lecture Notes in Computer Science, 2747)

Springer

£85.66 08 Mar 2026

91% match

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)

Springer

£44.52 10 Mar 2026

91% match

STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings: 2285 (Lecture Notes in Computer Science, 2285)

Springer

£79.87 11 Mar 2026

91% match

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2619)

Springer

£32.35 09 Mar 2026

91% match

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings: 2475 (Lecture Notes in Computer Science, 2475)

Springer

£62.29 28 Feb 2026

90% match

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)

Springer

£85.11 30 Mar 2026

90% match

Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings: 1969 (Lecture Notes in Computer Science, 1969)

Springer

£89.99 08 Mar 2026

90% match

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) (Discrete Mathematics and Theoretical Computer Science)

Springer

£81.07 16 Feb 2026

90% match

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings: 1912 (Lecture Notes in Computer Science, 1912)

Springer

£44.19 12 Feb 2026

90% match

History of Computing: Software Issues: International Conference on the History of Computing, ICHC 2000 April 5–7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany

Springer

£42.42 09 Feb 2026

90% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)

Springer

£76.18 28 Feb 2026

90% match

Mathematical Software: Proceedings of the First International Congress of Mathematical Software, Beijing, China 17-19 August 2002

Scientific Publishing

£100.38 09 Mar 2026

90% match

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A K Peters/CRC Press

£86.99 27 Feb 2026

90% match

The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, ... Information and Communication Technology, 60)

Springer

£144.98 10 Mar 2026

90% match

The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, ... Information and Communication Technology, 60)

Springer

£138.72 24 Jan 2026

90% match

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Springer

£154.95 13 Jan 2026

90% match

Computing and Combinatorics: 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings: 2387 (Lecture Notes in Computer Science, 2387)

Springer

£85.16 08 Mar 2026

90% match

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Springer

£103.89 09 Mar 2026

90% match

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

Springer

£85.57 14 Feb 2026

90% match

Springer Automata, Languages and Programming ICALP 2002

Springer

£83.86 18 Apr 2026

90% match

Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014): 285 (Advances in Intelligent Systems and Computing, 285)

Springer

£147.94 12 Jan 2026

90% match

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Springer

£44.83 07 Mar 2026