Zum Inhalt springen

  1. Nicola, Rocco De [Sonstige Person, Familie und Körperschaft]; De Nicola, Rocco [Herausgeber:in] ; ESOP 16 2007 Braga, ETAPS 10 2007 Braga

    Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4421

  2. Nicola, Rocco De [Sonstige Person, Familie und Körperschaft]; De Nicola, Rocco [Herausgeber:in] ; International Conference on Coordination Models and Languages 6 2004 Pisa

    Coordination models and languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24 - 27, 2004 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 2949

  3. De Nicola, Rocco [Herausgeber:in]; Sangiorgi, Davide [Sonstige Person, Familie und Körperschaft] ; TGC 1 2005 Edinburgh

    Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7 - 9, 2005 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3705

  4. Degano, Pierpaolo [Herausgeber:in]; Montanari, Ugo [Gefeierte:r]; De Nicola, Rocco [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]

    Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5065

  5. Porpora, Nicola [Verfasser:in] ; Jaroussky, Philippe [Ausführende:r]; Bartoli, Cecilia [Ausführende:r]; Marcon, Andrea [Ausführende:r]; Broschi, Carlo [Sonstige Person, Familie und Körperschaft] Orchestra Barocca Venedig

    Porpora Arias - [World premiere recordings] (1 CD)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [s.l.]: Erato, P 2013

    Erschienen in: Warner Classics

  6. Metastasio, Pietro [Sonstige Person, Familie und Körperschaft]; Mysliveček, Josef [Sonstige Person, Familie und Körperschaft]; Paisiello, Giovanni [Sonstige Person, Familie und Körperschaft]; Pérez, David [Sonstige Person, Familie und Körperschaft]; Pergolesi, Giovanni Battista [Sonstige Person, Familie und Körperschaft]; Piccinni, Niccolò [Sonstige Person, Familie und Körperschaft]; Sarti, Giuseppe [Sonstige Person, Familie und Körperschaft]; Traetta, Tommaso [Sonstige Person, Familie und Körperschaft]; Vivaldi, Antonio [Sonstige Person, Familie und Körperschaft]; Caldara, Antonio [Sonstige Person, Familie und Körperschaft]; Cherubini, Luigi [Sonstige Person, Familie und Körperschaft]; Cimarosa, Domenico [Sonstige Person, Familie und Körperschaft]; Galuppi, Baldassare [Sonstige Person, Familie und Körperschaft]; Gassmann, Florian Leopold [Sonstige Person, Familie und Körperschaft]; Hasse, Johann Adolf [Sonstige Person, Familie und Körperschaft]; Jommelli, Niccolò [Sonstige Person, Familie und Körperschaft]; Leo, Leonardo [Sonstige Person, Familie und Körperschaft]; Chryssicos, Markellos [Ausführende:r]; Basso, Romina [Ausführende:r]; Gottwald, Franziska [Ausführende:r]; Gauvin, Karina [Ausführende:r]; Phan, Nicholas [Ausführende:r]; Rosique, Ruth [Ausführende:r]; Spanos, Nicholas [Ausführende:r] ; Orchestra Barocca Venedig

    L' olimpiade (2 CDs)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: Naïve, c 2012

  7. Philippus Solitarius [Verfasser:in] ; Pontanus, Jacobus [Übersetzer:in]; Pontanus, Jacobus [Sonstige Person, Familie und Körperschaft]; Nicolaus Cabasilas [Sonstige Person, Familie und Körperschaft]; Johannes Carpathius [Sonstige Person, Familie und Körperschaft]; Philotheus Coccinus [Sonstige Person, Familie und Körperschaft]; Michael Glycas [Sonstige Person, Familie und Körperschaft]; Gregorius Nazianzenus [Gefeierte:r]; Johannes Chrysostomus [Gefeierte:r]; Basilius Caesariensis [Gefeierte:r]

    Philippi Solitarii Dioptra, id est, Regvla, siue Amvssis Rei Christianae, Ad Callinicvm Monachvm : Qvatvor Libris Per Dialogum explicata

    Mikroformen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.], 1604

    Erschienen in: Bibliotheca Palatina ; e,826,1

  9. De Nicola, Rocco [Sonstige Person, Familie und Körperschaft]; Sangiorgi, Davide [Sonstige Person, Familie und Körperschaft]

    Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3705

  10. De Nicola, Rocco [Verfasser:in] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

    Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2001

    Erschienen in: ACM Digital Library - ACM Conferences

  11. Warnke, Tom [Verfasser:in] ; Uhrmacher, Adelinde [Akademische:r Betreuer:in]; De Nicola, Rocco [Akademische:r Betreuer:in]; Vangheluwe, Hans [Akademische:r Betreuer:in] Universität Rostock, Universität Rostock Fakultät für Informatik und Elektrotechnik

    Domain-specific languages for modeling and simulation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Rostock: Universität, 2020

  12. Bernardo, Marco [Herausgeber:in]; De Nicola, Rocco [Herausgeber:in]; Hillston, Jane [Herausgeber:in]

    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9700

  14. Siwach, Chinmay [Verfasser:in]; Costa, Gabriele [Verfasser:in]; Nicola, Rocco De [Verfasser:in]

    Enhancing Malware Classification with Symbolic Features

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: ITASEC (5. : 2021 : Online): ITASEC 2021: Italian Conference on CyberSecurity 2021 ; (2021), Seite 509-522

  15. Seebach, Hella [Verfasser:in]; Belzner, Lenz [Verfasser:in]; Gribaudo, Marco [Verfasser:in]; Klarl, Anabelle [Verfasser:in]; Loreti, Michele [Verfasser:in]; Montanari, Ugo [Verfasser:in]; Nenzi, Laura [Verfasser:in]; De Nicola, Rocco [Verfasser:in]; Scholliers, Christophe [Verfasser:in]; Tuma, Petr [Verfasser:in]; Wirsing, Martin [Verfasser:in]

    Modelling, specification, and programming for collective adaptive systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2019-11-04

  16. Warnke, Tom (gnd 1228559716) [Verfasser:in] ; Uhrmacher, Adelinde (gnd: 136258794) AkademischeR BetreuerIn [Mitwirkende:r]; De Nicola, Rocco (gnd: 1067162577) AkademischeR BetreuerIn [Mitwirkende:r]; Vangheluwe, Hans AkademischeR BetreuerIn [Mitwirkende:r]; Universität Rostock (gnd: 38329-6) Grad-verleihende Institution [Mitwirkende:r]; Universität Rostock Fakultät für Informatik und Elektrotechnik (gnd: 10085032-7) Grad-verleihende Institution [Mitwirkende:r]

    Domain-specific languages for modeling and simulation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Rostock Rostock, 2020 2020

  17. Warnke, Tom [Verfasser:in] ; Uhrmacher, Adelinde [Sonstige Person, Familie und Körperschaft]; De Nicola, Rocco [Sonstige Person, Familie und Körperschaft]; Vangheluwe, Hans [Sonstige Person, Familie und Körperschaft]

    Domain-specific languages for modeling and simulation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Rostock: Universität Rostock, 2020

  19. De Nicola, Rocco

    Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems : A Language-based Approach to Autonomic Component Ensembles Programming : A Language-based Approach to Autonomic Component Ensembles Programming

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2012

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 98 (2012), Seite 1-1

  20. De Nicola, Rocco

    A Uniform Framework for Modeling Processes Behaviors and their Performances : Invited Presentation (joint with PACO) at the Fourth Interaction and Concurrency Experience : Invited Presentation (joint with PACO) at the Fourth Interaction and Concurrency Experience

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2011

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 59 (2011), Seite 68-68