Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Erweitertes Suchen
Katalogdatenanzeige
Katalogdatenanzeige
Vorheriger Titel
.
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
.
Bookmark für diesen Satz setzen
Katalogdatensatz500251736
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500251736
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-3-319-55910-0
Name
Jäger, Gerhard ¬[Hrsg.]¬
Steila, Silvia ¬[Hrsg.]¬
Name ANZEIGE DER KETTE
Steila, Silvia ¬[Hrsg.]¬
T I T E L
Theory and Applications of Models of Computation
Zusatz zum Titel
14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Verlagsort
Cham
Verlag
Springer
Erscheinungsjahr
2017
2017
Umfang
Online-Ressource (XXVI, 698 p. 80 illus, online resource)
Reihe
Lecture Notes in Computer Science ; 10185
Lecture notes in computer science
Band
10185
Titelhinweis
Druckausg.ISBN: 978-3-319-55910-0
Printed editionISBN: 978-3-319-55910-0
ISBN
ISBN 978-3-319-55911-7
Klassifikation
COM051010
*68-06
68Q05
00B25
UYA
MAT018000
005.131
QA8.9-QA10.3
Kurzbeschreibung
This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory
2. Kurzbeschreibung
Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory
1. Schlagwortkette
Berechenbarkeit
ANZEIGE DER KETTE
Berechenbarkeit
SWB-Titel-Idn
488874610
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-319-55911-7
Internetseite / Link
Volltext
Siehe auch
Cover
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500251736
.
Kategorien-Anzeige
Katalogdatensatz500251736
.
Verwandte Werke
Katalogdatensatz500251736
.
Bände anzeigen
Katalogdatensatz500251736
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500251736
.
Kataloginformation500251736
Datensatzanfang
.
Kataloginformation500251736
Seitenanfang
.
Titel vormerken
Katalogdatensatz500251736
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach