Тема, жанр, tags: Computer Science general » Page 290 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science general » Page 290

book TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

djvu

Author: Neil D. Jones Steven S. Muchnick (auth.)
Language: English
Year: 1978

00

26.01.2024

0

0

book Recent Advances in Intrusion Detection: 5th International Symposium, RAID 2002 Zurich, Switzerland, October 16–18, 2002 Proceedings

Recent Advances in Intrusion Detection: 5th International Symposium, RAID 2002 Zurich, Switzerland, October 16–18, 2002 Proceedings

pdf

Author: Kwong H. Yung (auth.) Andreas Wespi Giovanni Vigna Luca Deri (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Recent Advances in Intrusion Detection: 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003. Proceedings

Recent Advances in Intrusion Detection: 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003. Proceedings

pdf

Author: Marcus Tylutki Karl Levitt (auth.) Giovanni Vigna Christopher Kruegel Erland Jonsson (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book 5th Conference on Optimization Techniques Part I

5th Conference on Optimization Techniques Part I

djvu

Author: A. V. Balakrishnan (auth.) R. Conti A. Ruberti (eds.)
Language: English-French
Year: 1973

00

26.01.2024

0

0

book Plan-Based Control of Robotic Agents: Improving the Capabilities of Autonomous Robots

Plan-Based Control of Robotic Agents: Improving the Capabilities of Autonomous Robots

pdf

Author: Michael Beetz (eds.)
Language: English
Year: 2002

00

26.01.2024

3

0

book Massively Multi-Agent Technology: AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers

Massively Multi-Agent Technology: AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers

pdf

Author: Gaku Yamamoto Hideki Tai Hideyuki Mizuta (auth.) Nadeem Jamali Paul Scerri Toshiharu Sugawara (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

djvu

Author: E. W. Dijkstra (auth.) Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer E. W. Dijkstra A. Ershov M. Griffiths C. A. R. Hoare W. A. Wulf Prof. Dr. Klaus Samelson (eds.)
Language: English
Year: 1976

00

26.01.2024

0

0

book Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

pdf

Author: David A. Bader Bernard M. E. Moret Peter Sanders (auth.) Rudolf Fleischer Bernard Moret Erik Meineche Schmidt (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Formal Aspects of Cognitive Processes: Interdisciplinary Conference Ann Arbor, March 1972

Formal Aspects of Cognitive Processes: Interdisciplinary Conference Ann Arbor, March 1972

djvu

Author: Thomas Storer (auth.) Thomas Storer David Winter (eds.)
Language: English
Year: 1975

00

26.01.2024

0

0

book Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

pdf

Author: Tom Maibaum (auth.) Bernhard K. Aichernig Tom Maibaum (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0