Тема, жанр, tags: Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Processor Architectures » Page 1488 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Programming Languages Compilers Interpreters,Processor Architectures » Page 1488

book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

pdf

Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Python scripting for computational science

Python scripting for computational science

pdf

Author: Hans Petter Langtangen (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

pdf

Author: Jie Wu (auth.) Minyi Guo Laurence Tianruo Yang (eds.)
Language: English
Year: 2003

00

26.01.2024

1

0

book Stopped random walks: limit theorems and applications

Stopped random walks: limit theorems and applications

pdf

Author: Allan Gut (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Online Algorithms: The State of the Art

Online Algorithms: The State of the Art

djvu

Author: Amos Fiat Gerhard J. Woeginger (auth.) Amos Fiat Gerhard J. Woeginger (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

pdf

Author: Thomas Fahringer Bernhard Scholz (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Principles of programming languages

Principles of programming languages

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Extreme Programming and Agile Processes in Software Engineering: 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004. Proceedings

Extreme Programming and Agile Processes in Software Engineering: 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004. Proceedings

pdf

Author: Johan Andersson Geoff Bache (auth.) Jutta Eckstein Hubert Baumeister (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings

Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings

pdf

Author: Guoliang Chen (auth.) Xiaotie Deng John E. Hopcroft Jinyun Xue (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0