Тема, жанр, tags: Programming Languages Compilers Interpreters,Programming Techniques,Data Structures,Computing Method » Page 13 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Programming Techniques,Data Structures,Computing Method » Page 13

book Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

pdf

Author: Amina Aslam Laurie Hendren (auth.) Keith Cooper John Mellor-Crummey Vivek Sarkar (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

pdf

Author: Patricia Bouyer Nicolas Markey Ocan Sankur (auth.) Parosh Aziz Abdulla Igor Potapov (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

pdf

Author: Adam Brandenburger H. Jerome Keisler (auth.) Bob Coecke Luke Ong Prakash Panangaden (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

pdf

Author: Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare (auth.) Nir Piterman Scott A. Smolka (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

pdf

Author: Gwendoline Fox Juliette Thuilier (auth.) Daniel Lassiter Marija Slavkovik (eds.)
Language: English
Year: 2012

00

06.02.2024

2

0

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

Author: Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Jeremy Gibbons Pablo Nogueira (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

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

Author: Bran Selic (auth.) Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

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

Author: Kshitij Mehta Edgar Gabriel Barbara Chapman (auth.) Barbara M. Chapman Federico Massaioli Matthias S. Müller Marco Rorro (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

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

Author: Boon Thau Loo Harjot Gill Changbin Liu (auth.) Claudio Russo Neng-Fa Zhou (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

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

Author: Dorina C. Petriu (auth.) Iulian Ober Ileana Ober (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0