Author books / Книги автора Antonio Gramsci Quintin Hoare Geoffrey Nowell Smith » Page 16 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Antonio Gramsci Quintin Hoare Geoffrey Nowell Smith » Page 16

book Selections from the Prison Notebooks

Selections from the Prison Notebooks

pdf

Author: Antonio Gramsci Quintin Hoare Geoffrey Nowell Smith
Language: English
Year: 1971

00

27.01.2024

0

0

book Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

pdf

Author: Tony Hoare (auth.) Manfred Broy Alexandre V. Zamulin (eds.)
Language: English
Year: 2003

00

27.01.2024

1

0

book Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

pdf

Author: C. A. R. Hoare (auth.) Harald Kosch László Böszörményi Hermann Hellwagner (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Communicating Sequential Processes

Communicating Sequential Processes

djvu

Author: C. A. R. Hoare
Language: English
Year: 2003

00

27.01.2024

0

0

book Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

pdf

Author: Tony Hoare (auth.) Wolfgang Grieskamp Thomas Santen Bill Stoddart (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

pdf

Author: C. A. R. Hoare (auth.) Jeannette M. Wing Jim Woodcock Jim Davies (eds.)
Language: English
Year: 1999

00

27.01.2024

1

0

book ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

pdf

Author: C. A. R. Hoare He Jifeng (auth.) Rachid Guerraoui (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

djvu

Author: Ole-Johan Dahl (auth.) D. Bjørner C. A. R. Hoare H. Langmaack (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

djvu

Author: C. A. R. Hoare (auth.) Marie-Claude Gaudel James Woodcock (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Elements of Microcomputer Interfacing

Elements of Microcomputer Interfacing

djvu

Author: Dines Bjorner C.A.R. Hoare Hans Langmaack
Language: English
Year: 1990

00

27.01.2024

2

0