Mathematical foundations of computer science 1994 : 19th International symposium MFCS'94 : Kosice, Slovakia, August 22-26, 1994 : proceedings / Igor Privara (ed.) |
Autore | International symposium MFCS'94 : 19. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | X, 628 p. : ill. ; 24 cm |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - kosice - 1994
elaboratori elettronici - programmazione - congressi - 1994 elaborazione elettronica - modelli matematici - congressi - 1994 |
ISBN | 3-540-58338-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211800203316 |
International symposium MFCS'94 : 19. : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Non-monotonic extensions of logic programming : ICLP '94 workshop : Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix ... [etc.] (eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | VI, 229 p. : ill. ; 25 cm |
Disciplina | 0051 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
elaboratori elettronici - programmazione - congressi - 1994
intelligenza artificiale - congressi - 1994 |
ISBN | 3-540-59467-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000200820203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the fifth Annual ACM-SIAM symposium on discrete algorithms : [symposium , held January 23-25, 1994, in Arlington, Virginia] |
Autore | Annual ACM-SIAM Symposium on discrete algorithms : 5. : 1994 |
Pubbl/distr/stampa | New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1994 |
Descrizione fisica | 735 p. : ill. ; 28 cm |
Disciplina | 0051 |
Soggetto non controllato |
algoritmi - congressi - 1994
congressi - arlington - 1994 elaboratori elettronici - programmazione - congressi - 1994 |
ISBN | 0-89871-329-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000265060203316 |
Annual ACM-SIAM Symposium on discrete algorithms : 5. : 1994 | ||
New York : Association for Computing Machinery ; Philadelphia : Society for Industrial and Applied Mathematics, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming language implementation and logic programming : 6th International symposium PLILP'94 : Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo (ed.) |
Autore | International symposium PLILP'94 : 6. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | XII, 468 p. . ill. ; 24 cm |
Disciplina | 00513 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - madrid - 1994
elaboratori elettronici - programmazione - congressi - 1994 linguaggi di programmazione - congressi - 1994 |
ISBN | 540-58402-1EN |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000204500203316 |
International symposium PLILP'94 : 6. : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming languages and systems-ESOP'94 : 5th European symposium on programming, Edinburgh, U. K. April 11-13, 1994 : proceedings / Donald Sannella (ed.) |
Autore | European Symposium on programming : 5. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | VIII, 516 p. : ill. ; 24 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - edinburgh - 1994
elaboratori elettronici - programmazione - congressi - 1994 |
ISBN | 3-540-57880-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000202860203316 |
European Symposium on programming : 5. : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent trends in data type specification : 10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994 / Egidio Astesiano (ed.) |
Autore | Workshop on specification of abstract data types : 10. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | VIII, 523 p. : ill. ; 25 cm. |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - s. margherita - 1994
elaboratori elettronici - programmazione - congressi - 1994 elaborazione elettronica - modelli matematici - congressi - 1994 linguaggi di programmazione - congressi - 1994 |
ISBN | 3-540-59132-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211490203316 |
Workshop on specification of abstract data types : 10. : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Temporal logic : first International conference ICTL'94 : Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay (ed.) |
Autore | International conference ICTL'94 : 1. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | XI, 545 p. : ill. ; 24 cm |
Disciplina | 0051 |
Collana | Lecture notes in artificial intelligence |
Soggetto non controllato |
congressi - bonn - 1994
elaboratori elettronici - programmazione - congressi - 1994 logica matematica - congressi - 1994 |
ISBN | 3-540-58241-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000200150203316 |
International conference ICTL'94 : 1. : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and practice of parallel programming : International workshop TPPP '94 : Sendai, Japan, November 7-9, 1994 :proceedings / Takayasu Ito, Akinori Yonezawa (eds.) |
Autore | International workshop TPPP'94 : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | VIII, 483 p. : ill. ; 25 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - sendai - 1994
elaboratori elettronici - programmazione - congressi - 1994 elaborazione parallela - congressi - 1994 |
ISBN | 3-540-59172-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000210550203316 |
International workshop TPPP'94 : 1994
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trees in algebra and programming- CAAP'94 : 19th international colloquium, Edinburgh, U:K:, April 11-13, 1994 : proceedings / Sophie Tison (ed.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
Descrizione fisica | X, 351 p. : ill. ; 24 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
elaboratori elettronici - programmazione - congressi - 1994
elaborazione elettronica - modelli matematici - congressi - 1994 |
ISBN | 3-540-57879-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000202760203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|