Graph Transformation [[electronic resource] ] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / / edited by Esther Guerra, Fernando Orejas |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 231 p. 303 illus., 32 illus. in color.) |
Disciplina | 511.5 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Compilers (Computer programs) Software engineering Computer programming Artificial intelligence—Data processing Discrete Mathematics in Computer Science Compilers and Interpreters Software Engineering Programming Techniques Data Science |
ISBN | 3-030-23611-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching. |
Record Nr. | UNISA-996465589703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / / edited by Esther Guerra, Fernando Orejas |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 231 p. 303 illus., 32 illus. in color.) |
Disciplina | 511.5 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Compilers (Computer programs) Software engineering Computer programming Artificial intelligence—Data processing Discrete Mathematics in Computer Science Compilers and Interpreters Software Engineering Programming Techniques Data Science |
ISBN | 3-030-23611-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching. |
Record Nr. | UNINA-9910337860103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Practice of Model Transformation [[electronic resource] ] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 183 p. 73 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Operating systems (Computers) Logic design Management information systems Computer science Architecture, Computer Programming languages (Electronic computers) Software Engineering Operating Systems Logic Design Management of Computing and Information Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
ISBN | 3-319-61473-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466465503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 183 p. 73 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Operating systems (Computers) Logic design Management information systems Computer science Architecture, Computer Programming languages (Electronic computers) Software Engineering Operating Systems Logic Design Management of Computing and Information Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
ISBN | 3-319-61473-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483226103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|