| 1. |
Berg, Benno van den: Effective Kan Fibrations in Simplicial Sets / by Benno van den Berg, Eric Faber. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(X, 230 p. 1 illus.), ISBN 978-3-031-18900-5
(Lecture Notes in Mathematics ; 2321)
DOI: 10.1007/978-3-031-18900-5
 Online resource |
|
|
| 2. |
Schenck, Hal: Algebraic Foundations for Applied Topology and Data Analysis / by Hal Schenck. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XII, 224 p. 1 illus.), ISBN 978-3-031-06664-1
(Mathematics of Data ; 1)
DOI: 10.1007/978-3-031-06664-1
Online resource |
|
|
| 3. |
Berg, Benno van den: Effective Kan fibrations in simplicial sets / Benno van den Berg, Eric Faber. -
Cham, Switzerland: Springer, [2022]. - x, 230 Seiten : Illustrationen, ISBN 978-3-031-18899-2
(Lecture notes in mathematics ; volume 2321)
DOI: 10.1007/978-3-031-189005
 Book/no value  Table of content: 1, 2 |
for reference only
|
|
| 4. |
Dey, Tamal: Computational topology for data analysis / Tamal Krishna Dey (Purdue University), Yusu Wang (University of California, San Diego). -
Cambridge, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore: Cambridge University Press, 2022. - xix, 433 Seiten : Illustrationen, Diagramme, ISBN 978-1-00-909816-8
DOI: 10.1017/9781009099950
Book/no value |
Shelfmark: UBN/SK 280 D528
|
|
| 5. |
Higher-order systems / Federico Battiston, Giovanni Petri, editors. -
Cham: Springer, 2022.. - 1 Online-Ressource (X, 433 Seiten), ISBN 978-3-030-91374-8
(Springer eBook Collection)
(Understanding complex systems)
DOI: 10.1007/978-3-030-91374-8
Online resource |
|
|
| 6. |
Cooper, Robin: From perception to communication : a theory of types for action and meaning / Robin Cooper. -
Oxford, UK: Oxford University Press, [2023]. - ix, 438 Seiten, ISBN 978-0-19-287131-2
(Oxford studies in semantics and pragmatics ; 16)
Book/no value |
available for loan  Shelfmark: 2023 A 3535
|
|
| 7. |
Algasinger, Tobias: Die Formalisierung der konsensualen Erledigung nach § 153a StPO / Tobias Algasinger. - 1. Auflage. -
Baden-Baden: Nomos, [2023]. - 337 Seiten, ISBN 978-3-7560-0554-3
(Studien zum Strafrecht ; Band 119)
Book/no value |
for reference only
|
|
| 8. |
Jonsson, Jakob: Simplicial complexes of graphs / Jakob Jonsson. -
Berlin ; Heidelberg [u.a.]: Springer, 2008. - XIV, 378 Seiten : Graphische Darstellungen, ISBN 978-3-540-75858-7
(Lecture notes in mathematics ; 1928)
Book/no value Table of content: 1, 2, 3 |
for reference only
|
|
| 9. |
Schultz, Patrick: Temporal Type Theory : a Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak. -
Cham: Birkhäuser, [2019]. - 1 Online-Ressource (VIII, 235 Seiten) : Illustrationen, Diagramme, ISBN 978-3-030-00704-1
(SpringerLink : Bücher)
(Springer eBook Collection)
(Progress in Computer Science and Applied Logic ; volume 29)
DOI: 10.1007/978-3-030-00704-1
Online resource |
|
|
| 10. |
Corfield, David: Modal homotopy type theory : the prospect of a new logic for philosophy / David Corfield. - First edition. -
Oxford ; New York, NY: Oxford University Press, 2020. - x, 180 Seiten : Illustrationen, ISBN 978-0-19-885340-4
DOI: 10.1093/oso/9780198853404.001.0001
Book/no value |
available for loan Shelfmark: 2020 A 1910
|
|
| 11. |
Saramito, Pierre: Continuum modeling from thermodynamics : application to complex fluids and soft solids / Pierre Saramito. -
Cham: Springer, 2024. - 1 Online-Ressource (XVI, 153 Seiten), ISBN 978-3-031-51012-0
(Surveys and tutorials in the applied mathematical sciences ; volume 13)
DOI: 10.1007/978-3-031-51012-0
Online resource |
|
|
| 12. |
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XXIV, 335 p. 51 illus, online resource), ISBN 978-3-662-53826-5
(Lecture Notes in Computer Science ; 10054)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 10054)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-53826-5
Online resource |
|
|
| 13. |
Welker, Michael: Kritik unhaltbarer theologischer Leitabstraktionen und Orientierung in Leid-Schuld-Verstrickungszusammenhängen : Impulse interdisziplinärer "Biblischer Theologie" / Michael Welker, [2022]. - 17 S.
In: Beziehungsweisen. (2022), Seite 376-392
Book/no value |
available for loan Shelfmark: 2022 A 3221
|
|
| 14. |
Vogt, Benjamin: Gestaltung in virtuellen Welten : Interaktion, Kommunikation und die Bedeutung der Linie / Benjamin Vogt. -
Bielefeld: transcript, [2023]. - 239 Seiten : Illustrationen, ISBN 978-3-8376-6566-6
(Design ; Band 60)
Book/no value |
available for loan Shelfmark: 2023 A 3494
|
|
| 15. |
Dogolazky, Ilya: Minimal surfaces in simplicial complexes / von Ilya Dogolazky. -
Bonn: Mathematisches Inst. der Univ., 2007. - 33 S. : graph. Darst.
(Bonner mathematische Schriften ; 383)
Book/no value |
for reference only
|
|
| 16. |
Kennedy, Juliette: Gödel, Tarski and the lure of natural language : logical entanglement, formalism freeness / Juliette Kennedy (University of Helsinki). -
Cambridge ; New York, NY ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2021. - xii, 187 Seiten : Illustrationen, ISBN 978-1-107-01257-8
DOI: 10.1017/9780511998393
Book/no value |
available for loan Shelfmark: 2021 A 2635
|
|
| 17. |
Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / edited by Brian Davis, Gordon J. Pace, Adam Wyner. -
Cham: Springer, 2016. - Online-Ressource (X, 131 p. 27 illus, online resource), ISBN 978-3-319-41498-0
(Lecture Notes in Computer Science ; 9767)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Lecture Notes in Artificial Intelligence ; 9767)
DOI: 10.1007/978-3-319-41498-0
Online resource |
|
|
| 18. |
Humphreys, Justin: The invention of imagination : Aristotle, geometry, and the theory of the psyche / Justin Humphreys. -
Pittsburgh, PA: University of Pittsburgh Press, [2023]. - xiii, 160 Seiten, ISBN 978-0-8229-4740-0
Book/no value |
available for loan Shelfmark: 2024 A 1982
|
|
| 19. |
Aureli, Pier Vittorio: Architecture and abstraction / Pier Vittorio Aureli. -
Cambridge, Massachusetts ; London: The MIT Press, [2023]. - xxv, 286 Seiten : Illustrationen, ISBN 978-0-262-54523-5
(Writing architecture series)
Book/no value Table of content: 1, 2 |
Shelfmark: 2024 C 891
|
|
| 20. |
Abstraction in medieval art : beyond the ornament / edited by Elina Gertsman. -
Amsterdam: Amsterdam University Press, [2021]. - 384 Seiten : Illustrationen, ISBN 978-94-6298-989-4
Book/no value |
|
|
Search history (1 Search)
Parallel search in Digikat is still running...
Publication year
