Тема, жанр, tags: Information and Communication Circuits,Theory of Computation,Combinatorics,Mathematics of Computing » Page 72 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Information and Communication Circuits,Theory of Computation,Combinatorics,Mathematics of Computing » Page 72

book Boolean Function Complexity: Advances and Frontiers

Boolean Function Complexity: Advances and Frontiers

pdf

Author: Stasys Jukna (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Integrated Methods for Optimization

Integrated Methods for Optimization

pdf

Author: John N. Hooker (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Integrated Methods for Optimization

Integrated Methods for Optimization

pdf

Author: John N. Hooker (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

pdf

Author: David Basin Srdjan Capkun Patrick Schaller Benedikt Schmidt (auth.) Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

pdf

Author: Hans Petter Langtangen (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

pdf

Author: Christopher A. Fuchs (auth.) Dawei Song Massimo Melucci Ingo Frommholz Peng Zhang Lei Wang Sachi Arafat (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

pdf

Author: Alexandre Miquel (auth.) Luke Ong (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

pdf

Author: Giovanni Di Crescenzo (auth.) Jacques Calmet Willi Geiselmann Jörn Müller-Quade (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide

Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide

pdf

Author: Oleg S. Pianykh (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide

Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide

pdf

Author: Oleg S. Pianykh (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0