Тема, жанр, tags: Math Applications in Computer Science » Page 26 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Math Applications in Computer Science » Page 26

book Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

pdf

Author: Bastian Braun Patrick Gemein Hans P. Reiser Joachim Posegga (auth.) Jan Jürjens Benjamin Livshits Riccardo Scandariato (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

pdf

Author: Larry Wos (auth.) Maria Paola Bonacina Mark E. Stickel (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Scientific Computing and Cultural Heritage: Contributions in Computational Humanities

Scientific Computing and Cultural Heritage: Contributions in Computational Humanities

pdf

Author: Wolfgang Baatz Massimo Fornasier Jan Haskovec (auth.) Hans Georg Bock Willi Jäger Michael J. Winckler (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

pdf

Author: Klaus Ambos-Spies Ulrike Brandt (auth.) Paola Bonizzoni Vasco Brattka Benedikt Löwe (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

pdf

Author: Assia Mahboubi (auth.) Jacques Carette David Aspinall Christoph Lange Petr Sojka Wolfgang Windsteiger (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Applied Parallel and Scientific Computing: 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Applied Parallel and Scientific Computing: 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

pdf

Author: Ari Harju Topi Siro Filippo Federici Canova Samuli Hakala Teemu Rantalaiho (auth.) Pekka Manninen Per Öster (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book WALCOM: Algorithms and Computation: 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

WALCOM: Algorithms and Computation: 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

pdf

Author: Nicola Santoro (auth.) Subir Kumar Ghosh Takeshi Tokuyama (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

pdf

Author: Isabelle Bloch Alain Bretto Aurélie Leborgne (auth.) Cris L. Luengo Hendriks Gunilla Borgefors Robin Strand (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Text Mining with MATLAB®

Text Mining with MATLAB®

pdf

Author: Rafael E. Banchs (auth.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

pdf

Author: Tobias Achterberg Ashish Sabharwal (auth.) Carla Gomes Meinolf Sellmann (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0