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.
Graph Transformations in Computer Science [[electronic resource] ] : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings / / edited by Hans J. Schneider, Hartmut Ehrig
| Graph Transformations in Computer Science [[electronic resource] ] : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings / / edited by Hans J. Schneider, Hartmut Ehrig |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (VIII, 404 p.) |
| Disciplina | 006.4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Pattern recognition
Computers Mathematical logic Combinatorics Software engineering Data structures (Computer science) Pattern Recognition Theory of Computation Mathematical Logic and Formal Languages Software Engineering Data Structures |
| ISBN | 3-540-48333-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Path-controlled graph grammars for multiresolution image processing and analysis -- Syntax and semantics of hybrid database languages -- Decomposability helps for deciding logics of knowledge and belief -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language for distributed systems -- Abstract graph derivations in the double pushout approach -- Note on standard representation of graphs and graph derivations -- Jungle rewriting: An abstract description of a lazy narrowing machine -- Recognizable sets of graphs of bounded tree-width -- Canonical derivations for high-level replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM systems and the composition of their computations -- Relational structures and their partial morphisms in view of single pushout rewriting -- Single pushout transformations of equationally defined graph structures with applications to actor systems -- Parallelism in single-pushout graph rewriting -- Semantics of full statecharts based on graph rewriting -- Contextual occurrence nets and concurrent constraint programming -- Uniform-modelling in graph grammar specifications -- Set-theoretic graph rewriting -- On relating rewriting systems and graph grammars to event structures -- Logic based structure rewriting systems -- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs -- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system. |
| Record Nr. | UNISA-996466032903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Personalperspektiven : Human Resource Management und Führung im ständigen Wandel / / herausgegeben von Hans Klaus, Hans J. Schneider
| Personalperspektiven : Human Resource Management und Führung im ständigen Wandel / / herausgegeben von Hans Klaus, Hans J. Schneider |
| Edizione | [12th ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 |
| Descrizione fisica | 1 online resource (355 p.) |
| Disciplina | 650 |
| Soggetto topico |
Personnel management
Leadership Human Resource Management Business Strategy/Leadership |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Globale Entwicklungen und Anlässe für Veränderungen in Personalmanagement und Führung -- Eine „neue“ Managementkultur -- Implikationen für die Personalteilfunktionen im Wandel. |
| Record Nr. | UNINA-9910136617303321 |
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||