Skip to contents

Nagel, Wolfgang E. [Editor]; Kröner, Dietmar [Editor]; Resch, Michael [Editor] ; Höchstleistungsrechenzentrum Stuttgart

High performance computing in science and engineering ' 17 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Cham]: Springer Nature, [2018]
Bello, Fernando [Editor] ; ISBMS 4 2008 London

Biomedical simulation : 4th international symposium, ISBMS 2008, London, UK, July 7 - 8, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5104
Bello, Fernando [Editor]; Cotin, Stéphane [Performer] ; ISBMS 5 2010 Phoenix, Ariz.

Biomedical simulation : 5th international symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5958
Aldroubi, Akram [Editor]; Unser, Michael [Other]; Unser, Michael A. [Editor]

Wavelets in medicine and biology

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boca Raton, Fla. [u.a.]: CRC Press, 1996
Harel, David [Author] ; Kozen, Dexter [Contributor]; Tiuryn, Jerzy [Contributor]

Dynamic logic

View online
Schließen

Access

https://doi.org/10.7551/mitpress/2516.001.0001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.: MIT Press, 2000

Published in: Foundations of computing
Zimmermann, Karl-Heinz [Author]

Computability theory : a monograph - [7. edition, extended]

View online
Schließen

Access

https://doi.org/10.15480/882.1401

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hamburg: Hamburg University of Technology, [2017]
Gerlach, Stefan [Author]

Computerphysik : Einführung, Beispiele und Anwendungen - [2., erweiterte Auflage]

View online
Schließen

Access

https://doi.org/10.1007/978-3-662-59246-5

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Springer Spektrum, [2019]

Published in: Springer eBooks ; Life Science and Basic Disciplines
Goguen, Joseph [Author] ; Malcolm, Grant [Contributor]

Algebraic semantics of imperative programs

View online
Schließen

Access

https://doi.org/10.7551/mitpress/1188.001.0001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.: MIT Press, 1996

Published in: Foundations of computing
Chen, Junghuei [Author] ; Reif, John [Other]

DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers

View online
Schließen

Access

https://doi.org/10.1007/b95518

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 294300
Leonov, Arkadii I. [Other]; Gujrati, Purushottam D. [Other]

Modeling and simulation in polymers

View online
Schließen

Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527630257

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Weinheim: Wiley-VCH, ©2010
Zwart, Simon Portegies [Author]; McMillan, Stephen [Author]

Astrophysical recipes : the art of AMUSE - [Version: 20181201]

View online
Schließen

Access

http://iopscience.iop.org/book/978-0-7503-1320-9

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bristol: IOP Publishing, [2018]

Published in: AAS-IOP astronomy- IOP release 1- AAS-IOP astronomy. [release 1]
Zimmermann, Karl-Heinz [Author] ; Technische Universität Hamburg-Harburg Institut für Rechnertechnologie, Technische Universität Hamburg-Harburg

Computability theory - [3. ed., Elektronische Ressource]

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hamburg: Univ. of Technology, 2013
Augeri, Chris [Author] ; Association for Computing Machinery, ACM Special Interest Group on Knowledge Discovery in Data, ACM Special Interest Group on Management of Data

Proceedings of the 2011 workshop on Knowledge discovery, modeling and simulation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=2023568

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2011

Published in: ACM Digital Library- ACM Conferences
Furman, Jason [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Artificial Intelligence

Proceedings of the 2018 AAAIACM Conference on AI, Ethics, and Society

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=3278721

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2018

Published in: ACM Digital Library- ACM Conferences
Zimmermann, Karl-Heinz [Author] ; Technische Universität Hamburg-Harburg Institut für Rechnertechnologie, Technische Universität Hamburg-Harburg

Computability theory - [2. ed., elektronische Ressource]

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hamburg: Univ. of Technology, 2012
Wißmann, Thorsten [Author] ; Milius, Stefan [Degree supervisor]; Milius, Stefan [Other]; König, Barbara [Other]

Coalgebraic Semantics and Minimization in Sets and Beyond

View online
Schließen

Access

https://d-nb.info/1215343302/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020
Winzen, Carola [Author] ; Mehlhorn, Kurt [Degree supervisor]

Toward a complexity theory for randomized search heuristics : black-box models

View online
Schließen

Access

https://d-nb.info/1051432596/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
Hougaard, Jens Leth [Author]

Allocation in networks

View online
Schließen

Access

https://doi.org/10.7551/mitpress/11358.001.0001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Massachusetts ;; London, England: MIT Press, [2018]
Bangalore, Srinivas [Editor]; Joshi, Aravind K. [Editor]

Supertagging : using complex lexical descriptions in natural language processing

View online
Schließen

Access

https://doi.org/10.7551/mitpress/8370.001.0001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.: MIT Press, [2010]
Nagel, Wolfgang E. [Editor]; Kröner, Dietmar H. [Editor]; Resch, Michael M. [Editor]

High Performance Computing in Science and Engineering '19 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 - [1st ed. 2021.]

View online
Schließen

Access

https://doi.org/10.1007/978-3-030-66792-4

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

Published in: Springer eBook Collection

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication