Zum Inhalt springen Kott, Laurent [Sonstige Person, Familie und Körperschaft] Automata, languages and programming : 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1986 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 22600 Kott, Laurent [VerfasserIn] Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986 Erschienen in: Lecture notes in computer science ; 226 Kamhoua, Charles A. [HerausgeberIn]; Njilla, Laurent L. [HerausgeberIn]; Kott, Alexander [HerausgeberIn]; Shetty, Sachin [HerausgeberIn] Modeling and design of secure internet of things Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via IEEE Xplore Digital Library) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken: Wiley, IEEE Press, [2020] Kott, Laurent Editorial Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1988 Erschienen in: Theoretical Computer Science Kott, Laurent 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980: A system for proving equivalences of recursive programs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1980 Erschienen in: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 Kott, Laurent Sémantique algébrique d'un langage de programmation type Algol Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. EDP Sciences, 1977 Erschienen in: RAIRO. Informatique théorique Boudol, Gérard; Kott, Laurent Recursion induction principle revisited Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1983 Erschienen in: Theoretical Computer Science
Kott, Laurent [Sonstige Person, Familie und Körperschaft] Automata, languages and programming : 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1986 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 22600
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kott, Laurent [VerfasserIn] Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986 Erschienen in: Lecture notes in computer science ; 226
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kamhoua, Charles A. [HerausgeberIn]; Njilla, Laurent L. [HerausgeberIn]; Kott, Alexander [HerausgeberIn]; Shetty, Sachin [HerausgeberIn] Modeling and design of secure internet of things Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via IEEE Xplore Digital Library) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken: Wiley, IEEE Press, [2020]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kott, Laurent Editorial Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1988 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kott, Laurent 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980: A system for proving equivalences of recursive programs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1980 Erschienen in: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kott, Laurent Sémantique algébrique d'un langage de programmation type Algol Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. EDP Sciences, 1977 Erschienen in: RAIRO. Informatique théorique
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Boudol, Gérard; Kott, Laurent Recursion induction principle revisited Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1983 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (4) Wert ausschließen Bücher (3) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (2) Wert ausschließen Ohne Angabe (5) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (5) Wert ausschließen Nicht zu entscheiden (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (4) Wert ausschließen Mathematik (1) Wert ausschließen Technik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Kott, Laurent (6) Wert ausschließen Boudol, Gérard (1) Wert ausschließen Kamhoua, Charles A. (1) Wert ausschließen Kott, Alexander (1) Wert ausschließen Njilla, Laurent L. (1) Wert ausschließen Shetty, Sachin (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (3) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen