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.
ACM transactions on programming languages and systems
| ACM transactions on programming languages and systems |
| Pubbl/distr/stampa | [New York], : Association for Computing Machinery |
| Disciplina | 001.64 |
| Collana | ACM series on systems and programming |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Langages de programmation Programmation (Informatique) 54.50 computer software: general Computer Science Programmeren (computers) Computers |
| Soggetto genere / forma |
periodicals.
Periodicals. Périodiques. |
| ISSN | 1558-4593 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on programming languages and systems
Transactions on programming languages and systems |
| Record Nr. | UNINA-9910145462703321 |
| [New York], : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dr. Dobb's journal : software tools for the professional programmer
| Dr. Dobb's journal : software tools for the professional programmer |
| Pubbl/distr/stampa | Redwood City, CA, : M & T Pub., ©1989-©2009 |
| Descrizione fisica | 1 online resource (volumes) : illustrations |
| Disciplina | 005.3/05 |
| Soggetto topico |
Microcomputers - Programming
Minicomputers - Programming Computer programming Application software Free computer software Micro-ordinateurs - Programmation Mini-ordinateurs - Programmation Programmation (Informatique) Logiciels d'application Logiciels gratuits Programmatuurtechniek Programmeren (computers) Programmation Micro-ordinateur Mini-ordinateur |
| Soggetto genere / forma |
Periodicals
Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Doctor Dobb's journal
Dr. Dobb's journal of software tools DDJ |
| Record Nr. | UNINA-9910142366203321 |
| Redwood City, CA, : M & T Pub., ©1989-©2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal aspects of computing
| Formal aspects of computing |
| Pubbl/distr/stampa | London, : Springer Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.05 |
| Soggetto topico |
Computer science
Informatique Computers Formale Methode Systementwicklung Theoretische Informatik Zeitschrift Online-Ressource Formale Sprache Programmeren (computers) Formele talen |
| Soggetto genere / forma |
Periodicals.
Zeitschrift Online-Publikation |
| Soggetto non controllato | Computers |
| ISSN | 1433-299X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Formal aspects of computing : applicable formal methods |
| Record Nr. | UNISA-996211823103316 |
| London, : Springer Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal aspects of computing
| Formal aspects of computing |
| Pubbl/distr/stampa | London, : Springer Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.05 |
| Soggetto topico |
Computer science
Informatique Computers Formale Methode Systementwicklung Theoretische Informatik Zeitschrift Online-Ressource Formale Sprache Programmeren (computers) Formele talen |
| Soggetto genere / forma |
Periodicals.
Zeitschrift Online-Publikation |
| ISSN | 1433-299X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Formal aspects of computing : applicable formal methods |
| Record Nr. | UNINA-9910138888203321 |
| London, : Springer Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE transactions on evolutionary computation : a publication of the IEEE Neural Networks Council
| IEEE transactions on evolutionary computation : a publication of the IEEE Neural Networks Council |
| Pubbl/distr/stampa | New York, NY, : Institute of Electrical and Electronics Engineers, ©1997- |
| Disciplina | 006 |
| Soggetto topico |
Neural networks (Computer science)
Evolutionary computation Neural networks (Computer science) - Periodicals Evolutionary computation - Periodicals Genetic algorithms - Periodicals Evolutionary programming (Computer science) - Periodicals Genetic programming (Computer science) - Periodicals Réseaux neuronaux (Informatique) - Périodiques Réseaux neuronaux à structure évolutive - Périodiques Algorithmes génétiques - Périodiques Programmation évolutive - Périodiques Programmation génétique (Informatique) - Périodiques Réseaux neuronaux (Informatique) Réseaux neuronaux à structure évolutive Genetic programming (Computer science) Genetic algorithms Evolutionary programming (Computer science) Neurale netwerken Algoritmen Computermethoden Zoekstrategieën Programmeren (computers) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1941-0026 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Evolutionary computation
Transactions on evolutionary computation |
| Record Nr. | UNISA-996209276203316 |
| New York, NY, : Institute of Electrical and Electronics Engineers, ©1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
IEEE transactions on evolutionary computation : a publication of the IEEE Neural Networks Council
| IEEE transactions on evolutionary computation : a publication of the IEEE Neural Networks Council |
| Pubbl/distr/stampa | New York, NY, : Institute of Electrical and Electronics Engineers, ©1997- |
| Disciplina | 006 |
| Soggetto topico |
Neural networks (Computer science)
Evolutionary computation Evolutionary computation - Periodicals Genetic algorithms - Periodicals Evolutionary programming (Computer science) - Periodicals Genetic programming (Computer science) - Periodicals Réseaux neuronaux (Informatique) - Périodiques Réseaux neuronaux à structure évolutive - Périodiques Algorithmes génétiques - Périodiques Programmation évolutive - Périodiques Programmation génétique (Informatique) - Périodiques Réseaux neuronaux (Informatique) Réseaux neuronaux à structure évolutive Genetic programming (Computer science) Genetic algorithms Evolutionary programming (Computer science) Neurale netwerken Algoritmen Computermethoden Zoekstrategieën Programmeren (computers) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1941-0026 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Evolutionary computation
Transactions on evolutionary computation |
| Record Nr. | UNINA-9910626146203321 |
| New York, NY, : Institute of Electrical and Electronics Engineers, ©1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE transactions on software engineering
| IEEE transactions on software engineering |
| Pubbl/distr/stampa | [New York], : [Institute of Electrical and Electronics Engineers] |
| Disciplina | 005 |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Programmation (Informatique) Génie logiciel Langages de programmation Mensuels Programmation informatique Programmeren (computers) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1939-3520 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Transactions on software engineering
Software engineering |
| Record Nr. | UNINA-9910143920103321 |
| [New York], : [Institute of Electrical and Electronics Engineers] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific programming
| Scientific programming |
| Pubbl/distr/stampa | [Amsterdam], : IOS Press |
| Descrizione fisica | 1 online resource |
| Disciplina | 502.8551 |
| Soggetto topico |
Computer programming
Science - Data processing Programmation (Informatique) Sciences - Informatique computer programming Wetenschap Programmeren (computers) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1875-919X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139719103321 |
| [Amsterdam], : IOS Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
