Тема, жанр, tags: Algorithm Analysis and Problem Complexity » Page 15 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Algorithm Analysis and Problem Complexity » Page 15

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 Smart Card Research and Advanced Applications: 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

Smart Card Research and Advanced Applications: 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

pdf

Author: Michael Lackner Reinhard Berlach Johannes Loinig Reinhold Weiss Christian Steger (auth.) Stefan Mangard (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede

Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede

pdf

Author: Christian Heup (auth.) Harout Aydinian Ferdinando Cicalese Christian Deppe (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 Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

Trends and Topics in Computer Vision: ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

pdf

Author: Olga Russakovsky Li Fei-Fei (auth.) Kiriakos N. Kutulakos (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Pattern Recognition: 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings

Pattern Recognition: 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings

pdf

Author: Gabriella Sanniti di Baja L. Serino Carlo Arcelli (auth.) Jesús Ariel Carrasco-Ochoa José Francisco Martínez-Trinidad José Arturo Olvera López Kim L. Boyer (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Computational Science and Its Applications – ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II

Computational Science and Its Applications – ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II

pdf

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 Trust and Trustworthy Computing: 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings

Trust and Trustworthy Computing: 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings

pdf

Author: Jan-Erik Ekberg Alexandra Afanasyeva N. Asokan (auth.) Stefan Katzenbeisser Edgar Weippl L. Jean Camp Melanie Volkamer Mike Reiter Xinwen Zhang (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0