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.
Mathematical foundations of computer science 1994 : 19th International symposium MFCS'94 : Kosice, Slovakia, August 22-26, 1994 : proceedings / Igor Privara (ed.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| 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]
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Temporal logic : first International conference ICTL'94 : Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay (ed.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
