1
by Nabi-Abdolyousefi, Marzieh
Published 2014
Springer International Publishing
Table of Contents: ... Knock-out -- A Sieve Method for Consensus-Type Network Tomography -- Network Identification via Graph...

2
Published 2018
Birkhäuser
... chapters branch out from those areas into subfields of theoretical computer science, such as complexity...

3
by Haynes, Teresa W., Hedetniemi, Stephen T., Henning, Michael A.
Published 2023
Springer International Publishing
... or domination algorithms and complexity. The authors set out to provide the community with an updated...

4
by Chartrand, Gary, Haynes, Teresa W., Henning, Michael A., Zhang, Ping
Published 2019
Springer International Publishing
... out of research topics investigated by Stephen Hedetniemi. The purpose of this book is to provide...

5
by Lucchesi, Cláudio L., Murty, U.S.R.
Published 2024
Springer Nature Switzerland
..., and also to unify the existing theory and point out new avenues to explore so as to make it attractive...

6
by Harzheim, Egbert
Published 2005
Springer US
... fundamental parts of naïve set theory are presupposed. Since all proofs are worked out in great detail...

7
by Srivastava, Shashi Mohan
Published 2008
Springer New York
... in mathematical logic. The book prepares students to branch out in several areas of mathematics related...

8
by van Atten, Mark
Published 2007
Springer Netherlands
... come out the better." Piet Hut, professor of Interdisciplinary Studies, Institute for Advanced Study...

9
by Srivastava, Shashi Mohan
Published 2013
Springer New York
... this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out...

10
Published 2017
Springer International Publishing
...With an emphasis on exploring measurable aspects of ancient narratives, Maths Meets Myths sets out...

11
by Hardin, Christopher S., Taylor, Alan D.
Published 2013
Springer International Publishing
...? The answer turns out to be yes, and this is the simplest non-trivial example of a “hat problem.” This book...

12
by Johnson, Tom, Jedrzejewski, Franck
Published 2014
Birkhäuser
... or form loops that synchronize at different speeds, or attach themselves to balls passing in and out...

13
by Caminha Muniz Neto, Antonio
Published 2018
Springer International Publishing
... on or full solutions for all difficult problems rounds out the book...

14
Published 2017
Springer International Publishing
..., set theory, proof theory and computability theory), but also branched out into methodological...

15
Published 2016
Birkhäuser
..., pointing out connections to dependence and independence logic...

16
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
...? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering...

17 ...) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several...

18
Published 2011
Springer Berlin Heidelberg
.... This book grew out of the sixth in the conference series on "Algorithms for Approximation", which took place...

19
Published 2021
Birkhäuser
Table of Contents: ... and Colouring Locally Out-Transitive Oriented Graphs -- Ramsey expansions of 3-hypertournaments -- Path...