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.
50 Jahre Universitäts-Informatik in München / / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
| 50 Jahre Universitäts-Informatik in München / / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computer security
User interfaces (Computer systems) Bioinformatics Software engineering Multimedia information systems Artificial intelligence Systems and Data Security User Interfaces and Human Computer Interaction Computational Biology/Bioinformatics Software Engineering Multimedia Information Systems Artificial Intelligence |
| ISBN | 3-662-54712-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | 50 Jahre Informatik an den Universitäten in München -- Cybersicherheit Beyond 2020 -- Allgegenwärtige Mensch-Computer-Interaktion -- Software-Verifikation -- Innovationszentrum Mobiles Internet ZD.B -- Medieninformatik und Mensch-Computer-Interaktion an der LMU München -- Neuro-Robotics -- Herausforderungen an der Schnittstelle von Informatik und Gesellschaft -- Die Evolution des Hauptspeicher-Datenbanksystems HyPer -- Informatik-Forschung für digitale Mobilitätsplattformen. Das Münchner Wissensnetz -- Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. . |
| Record Nr. | UNINA-9910484794303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Database Technology - EDBT 2006 [[electronic resource] ] : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings / / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm
| Advances in Database Technology - EDBT 2006 [[electronic resource] ] : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings / / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVI, 1208 p.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data structures (Computer science)
Database management Application software Information storage and retrieval Computer communication systems Computers and civilization Data Structures and Information Theory Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Computers and Society |
| ISBN | 3-540-32961-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Data Streams -- Semantic Heterogeneity -- Distributed Databases -- Multidimensionality and Nearest-Neighbor Searches -- Privacy and Security -- Temporal Data Management -- Text Databases and Information Retrieval -- Schema Management -- Approximation and Estimation -- Data and Query Patterns -- XML Queries and Updates -- Data Streams and Pub/Sub Systems -- Data Mining and Knowledge Discovery -- Images, Multimedia, and User Interfaces -- XML Data Management -- Query Optimization -- Data Structures and Indexing -- Nontraditional Query Processing -- Spatial Data Management -- Extending Data Base Technology -- Industrial Session -- Demonstration Papers -- Panel. |
| Record Nr. | UNISA-996466135003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
EDOC 2016 : 2016 IEEE 20th International Enterprise Distributed Object Computing Conference : proceedings : 5-9 September 2016, Vienna, Austria / / edited by Florian Matthes, Jan Mendling, Stefanie Rinderle-Ma ; sponsored by IEEE
| EDOC 2016 : 2016 IEEE 20th International Enterprise Distributed Object Computing Conference : proceedings : 5-9 September 2016, Vienna, Austria / / edited by Florian Matthes, Jan Mendling, Stefanie Rinderle-Ma ; sponsored by IEEE |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 005.117 |
| Soggetto topico |
Object-oriented methods (Computer science)
Electronic data processing - Distributed processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4673-9885-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910332529803321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
EDOC 2016 : 2016 IEEE 20th International Enterprise Distributed Object Computing Conference : proceedings : 5-9 September 2016, Vienna, Austria / / edited by Florian Matthes, Jan Mendling, Stefanie Rinderle-Ma ; sponsored by IEEE
| EDOC 2016 : 2016 IEEE 20th International Enterprise Distributed Object Computing Conference : proceedings : 5-9 September 2016, Vienna, Austria / / edited by Florian Matthes, Jan Mendling, Stefanie Rinderle-Ma ; sponsored by IEEE |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 005.117 |
| Soggetto topico |
Object-oriented methods (Computer science)
Electronic data processing - Distributed processing |
| ISBN | 1-4673-9885-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575602503316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (V, 140 p. 58 illus., 6 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
Software Management Management of Computing and Information Systems IT in Business IT Operations Software Development Requirements Engineering Software Modeling Software Research Open Access Ernst Denert Award Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-58617-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. |
| Record Nr. | UNISA-996465445603316 |
Felderer Michael
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (V, 140 p. 58 illus., 6 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Software engineering - Management Electronic data processing - Management Software Engineering Software Management IT Operations |
| ISBN | 3-030-58617-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. |
| Record Nr. | UNINA-9910427735603321 |
|
Felderer Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.]
| Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.] |
| Autore | Felderer Michael |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (290 pages) : illustrations (some color) |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm KoziolekHeiko MatthesFlorian PrecheltLutz ReussnerRalf RumpeBernhard SchaeferIna |
| Soggetto topico | Software engineering - Awards |
| Soggetto non controllato |
Software Engineering
Software Development Requirements Engineering Software Modeling Software Research Ernst Denert Award |
| ISBN | 3-030-83128-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464541703316 |
|
Felderer Michael
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (290 pages) : illustrations (some color) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm KoziolekHeiko MatthesFlorian PrecheltLutz ReussnerRalf RumpeBernhard SchaeferIna |
| Soggetto topico |
Software engineering
Business information services Electronic data processing - Management Software Engineering IT in Business IT Operations |
| ISBN | 3-030-83128-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Award 2020 -- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020 -- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style -- How to Effectively Reduce Failure Analysis Time? -- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics. |
| Record Nr. | UNINA-9910548276503321 |
|
Felderer Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ernst Denert Award for Software Engineering 2022 : Practice Meets Foundations / / edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2022 : Practice Meets Foundations / / edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer |
| Autore | Bodden Eric |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (178 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm HerberPaula KoziolekHeiko LilienthalCarola MatthesFlorian PrecheltLutz RumpeBernhard SchaeferIna |
| Soggetto topico |
Software engineering
Software engineering - Management Software Engineering Software Management |
| ISBN | 3-031-44412-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Ernst Denert Software Engineering Award 2022 -- 2. Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction -- 3. From Design to Reality: An Overview of the MontiThings Ecosystem for Model-Driven IoT Applications -- 4. Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants (Summary) -- 5. Model-Driven Engineering of Microservice Architectures—The LEMMA Approach -- 6. Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies. |
| Record Nr. | UNINA-9910845076203321 |
|
Bodden Eric
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||