Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 14
book Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
pdf
00
06.02.2024
0
0
Read online
book Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
pdf
00
06.02.2024
0
0
Read online
book OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
pdf
00
06.02.2024
0
0
Read online
book Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
pdf
00
06.02.2024
0
0
Read online
book SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
pdf
00
06.02.2024
0
0
Read online
book Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
pdf
00
06.02.2024
0
0
Read online
book Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
pdf
00
06.02.2024
0
0
Read online
book Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
pdf
00
06.02.2024
0
0
Read online
book Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
pdf
00
06.02.2024
2
0
Read online
book Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
pdf
00
06.02.2024
1
0
Read online
1 ... 10 11 12 13 14 15 16 17 18 ... 379