Lectures; monographs » Page 6 » Online Library TheLib.net

Online Library TheLib.net » Lectures; monographs » Page 6

book Logics for Computer Science, 2nd Edition

Logics for Computer Science, 2nd Edition

pdf

Author: Arindama Singh
Language: English
Year: 2018

00

30.01.2024

0

0

book Weighted inequalities and degenerate elliptic partial differential equations

Weighted inequalities and degenerate elliptic partial differential equations

djvu

Author: Stredulinsky E.W.
Language: English
Year: 1984

00

30.01.2024

0

0

book Unbounded Weighted Composition Operators in L²-Spaces

Unbounded Weighted Composition Operators in L²-Spaces

pdf

Author: Budzyński Piotr, Jabłoński Zenon, Jung Il Bong, Stochel Jan et al.
Language: English
Year: 2018

00

30.01.2024

0

0

book Transfer operators, endomorphisms, and measurable partitions

Transfer operators, endomorphisms, and measurable partitions

pdf

Author: Bezuglyi Sergey, Jorgensen Palle E. T
Language: English
Year: 2018

00

30.01.2024

0

0

book Theory and practice of algorithms in (computer) systems: first International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 ; proceedings

Theory and practice of algorithms in (computer) systems: first International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 ; proceedings

pdf

Author: Segal Michael, Marchetti-Spaccamela Alberto
Language: English
Year: 2011

00

30.01.2024

0

0

book Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings

Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings

pdf

Author: Gaspers Serge
Language: English
Year: 2017

00

30.01.2024

0

0

book Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

pdf

Author: Beyersdorff Olaf, Wintersteiger Christoph M
Language: English
Year: 2018

00

30.01.2024

0

0

book Spear operators between Banach spaces

Spear operators between Banach spaces

pdf

Author: Kadets Vladimir, Martín Miguel, Merí Javier, Pérez Antonio et al.
Language: English
Year: 2018

00

30.01.2024

0

0

book Shadowing and hyperbolicity

Shadowing and hyperbolicity

pdf

Author: Pilyugin Sergei Yu, Sakai Kazuhiro
Language: English
Year: 2017

00

30.01.2024

0

0

book Self-force and inertia: Old light on new ideas

Self-force and inertia: Old light on new ideas

pdf

Author: Lyle Stephen N.
Language: English
Year: 2010

00

30.01.2024

0

0