top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Autore Brakhage, Helmut
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica viii, 292 p. : ill. ; 25 cm.
Disciplina 001.642
Altri autori (Enti) Gesellschaft fur Informatik
Soggetto topico Computer science - Congresses
Formal languages - Congresses
Machine theory - Congresses
ISBN 3540074074
Classificazione AMS 68Q45
AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000708409707536
Brakhage, Helmut  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Automata, languages and programming : end colloquium, University of Saarbruchen July 29-August 2, 1974 / edited by Jacques Loeckx
Automata, languages and programming : end colloquium, University of Saarbruchen July 29-August 2, 1974 / edited by Jacques Loeckx
Pubbl/distr/stampa Berlin : Springer-Verlag, 1974
Descrizione fisica 619 p. ; 24 cm
Disciplina 001.642
Altri autori (Persone) Loeckx, Jacques J. C.
Collana Lecture notes in computer science, 0302-9743 ; 14
Soggetto topico Programming languages - Congresses
ISBN 3540068414
Classificazione AMS 68N05
AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000708219707536
Berlin : Springer-Verlag, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Autore Hopcroft, John E.
Edizione [3. ed., ed. ital. /]
Pubbl/distr/stampa [S.l.] : Pearson Paravia Bruno Mondadori, 2009
Descrizione fisica xix, 499 p. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Motwani, Rajeevauthor
Ullman, Jeffrey D.
Pighizzini, Giovanni
Soggetto topico Formal languages and automata theory
Algebraic theory of languages
ISBN 9788871925523
Classificazione AMS 68Q45
AMS 68Q70
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000287239707536
Hopcroft, John E.  
[S.l.] : Pearson Paravia Bruno Mondadori, 2009
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading, Mass. : Addison-Wesley, c1969
Descrizione fisica vii, 242 p. : ill. ; 24 cm.
Disciplina 001.535
Altri autori (Persone) Ullman, Jeffrey D.
Collana Addison-Wesley series in computer science and information processing
Soggetto topico Automata theory
Formal languages
Machine theory
Programming
Classificazione AMS 68N05
AMS 68Q45
AMS 68Q68
AMS 68T25
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000901569707536
Hopcroft, John E.  
Reading, Mass. : Addison-Wesley, c1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Jewels of formal language theory / Arto Salomaa
Jewels of formal language theory / Arto Salomaa
Autore Salomaa, Arto
Pubbl/distr/stampa Rockville : Computer Science Press, c1981
Descrizione fisica ix, 144 p. : ill. ; 24 cm.
Disciplina 511.3
Soggetto topico Automata and formal grammars
Formal languages
ISBN 0914894692
Classificazione AMS 03D05
AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001050199707536
Salomaa, Arto  
Rockville : Computer Science Press, c1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edted by A. Blikle
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edted by A. Blikle
Autore Blikle, Andrzej
Pubbl/distr/stampa Berlin : Springer-Verlag, 1975
Descrizione fisica vii, 484 p. ; 24 cm.
Disciplina 001.6
Soggetto topico Computer science - Congresses
Formal languages
ISBN 0540071628
Classificazione AMS 68-06
AMS 68-XX
AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001110769707536
Blikle, Andrzej  
Berlin : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The mathematical theory of context free languages / Seymour Ginsburg
The mathematical theory of context free languages / Seymour Ginsburg
Autore Ginsburg, Seymour
Pubbl/distr/stampa New York : McGraw-Hill, c1966
Descrizione fisica xii, 232 p. : illus. ; 23 cm.
Disciplina 005.131
Soggetto topico Automata and formal grammars
Formal languages
Mathematical linguistics
Sequential machine theory
Classificazione AMS 03D05
AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001119399707536
Ginsburg, Seymour  
New York : McGraw-Hill, c1966
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
Autore Rozenberg, Grzegorz
Pubbl/distr/stampa New York : Academic Press, 1980
Descrizione fisica xvi, 352 p. : ill. ; 24 cm.
Disciplina 510.8
Altri autori (Persone) Salomaa, Artoauthor
Collana Pure and applied mathematics. A series of monographs & textbooks [Academic Press], 0079-8169 ; 90
Soggetto topico Formal languages
L systems
ISBN 0125971400
Classificazione AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001120409707536
Rozenberg, Grzegorz  
New York : Academic Press, 1980
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
On the formal description of PL/I / by P. Lucas and K. Walk
On the formal description of PL/I / by P. Lucas and K. Walk
Autore Lucas, P.
Pubbl/distr/stampa Oxford : Pergamon Press, 1970
Descrizione fisica v, 181 p. ; 25 cm.
Disciplina 519.4
Altri autori (Persone) Walk, K.
Soggetto topico Formal languages
Classificazione AMS 68Q45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001199419707536
Lucas, P.  
Oxford : Pergamon Press, 1970
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Semigroups theory and applications [e-book] : proceedings of a conference held in Oberwolfach, FRG, Feb. 23–Mar. 1, 1986 / edited by Helmut Jürgensen, Gérard Lallement, Hanns Joachim Weinert
Semigroups theory and applications [e-book] : proceedings of a conference held in Oberwolfach, FRG, Feb. 23–Mar. 1, 1986 / edited by Helmut Jürgensen, Gérard Lallement, Hanns Joachim Weinert
Pubbl/distr/stampa Berlin : Springer, 1988
Descrizione fisica 1 online resource (x, 416 p.)
Disciplina 512
Altri autori (Persone) Jürgensen, Helmut
Lallement, Gérard
Weinert, Hanns Joachim
Collana Lecture Notes in Mathematics, 0075-8434 ; 1320
Soggetto topico Mathematics
Algebra
ISBN 9783540392255
Classificazione AMS 20L05
AMS 20M05
AMS 68Q45
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002205569707536
Berlin : Springer, 1988
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui