Тема, жанр, tags: Processor Architectures,Special Purpose and Application-Based Systems,Software Engineering,Logics an » Page 104 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Processor Architectures,Special Purpose and Application-Based Systems,Software Engineering,Logics an » Page 104

book Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

djvu

Author: John Lygeros Datta N. Godbole Shankar Sastry (auth.) Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

djvu

Author: Eugene Asarin (auth.) Thomas A. Henzinger Shankar Sastry (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book From Natural to Artificial Neural Computation: International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings

From Natural to Artificial Neural Computation: International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings

djvu

Author: Stephen Grossberg (auth.) José Mira Francisco Sandoval (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

djvu

Author: Limor Fix Fred B. Schneider (auth.) Hans Langmaack Willem-Paul de Roever Jan Vytopil (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

djvu

Author: Flaviu Cristian (auth.) Bengt Jonsson Joachim Parrow (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book EURO-PAR '95 Parallel Processing: First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings

EURO-PAR '95 Parallel Processing: First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings

djvu

Author: Greg Papadopoulos (auth.) Seif Haridi Khayri Ali Peter Magnusson (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings

Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings

djvu

Author: Donald W. Dearholt (auth.) V. W. Porto N. Saravanan D. Waagen A. E. Eiben (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Exploitation of Fine-Grain Parallelism

Exploitation of Fine-Grain Parallelism

djvu

Author: Günter Böckle (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Distributed Memory Computing: 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings

Distributed Memory Computing: 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings

djvu

Author: Justin Rattner (auth.) Arndt Bode (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

djvu

Author: Colin Stirling (auth.) Akinori Yonezawa Takayasu Ito (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0