Zum Inhalt springen

Oliveira, José Nuno [HerausgeberIn] ; FME 10 2001 Berlin

FME 2001 : Formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001 ; proceedings

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, 2001

Erschienen in: Lecture notes in computer science ; 2021
Gibbons, Jeremy [HerausgeberIn]; Nuno Oliveira, José [Sonstige Person, Familie und Körperschaft] ; TFM 2 2009 Eindhoven

Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 ; proceedings

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, 2009

Erschienen in: Lecture notes in computer science ; 5846
Gibbons, Jeremy [VerfasserIn] ; Oliveira, José Nuno [Sonstige Person, Familie und Körperschaft]

Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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, 2009

Erschienen in: Lecture notes in computer science ; 5846
Backhouse, Roland C. [VerfasserIn] ; Nuno Oliveira, Jose [Sonstige Person, Familie und Körperschaft]

Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

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, 2000

Erschienen in: Lecture notes in computer science ; 1837
Backhouse, Roland [VerfasserIn] ; Oliveira, José Nuno [Sonstige Person, Familie und Körperschaft]

Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2000

Erschienen in: Lecture notes in computer science ; 183700
Reis, Nuno [VerfasserIn] ; Pereira de Oliveira Carvalho, Fernando Manuel [Sonstige Person, Familie und Körperschaft]; Ferreira, José [Sonstige Person, Familie und Körperschaft]

An Overview of Three Decades of Mergers and Acquisitions Research

Online ansehen
Schließen

Zugang

https://ssrn.com/abstract=2677422

Zeige weitere weniger zeigen

Schließen

Merkliste

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

[S.l.]: SSRN, [2015]
Oliveira, José Nuno [VerfasserIn] ; Zave, Pamela [Sonstige Person, Familie und Körperschaft]

FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Erschienen in: Lecture notes in computer science ; 2021
Oliveira, José Nuno

Recent Trends in Algebraic Development Techniques: Why Adjunctions Matter—A Functional Programmer Perspective

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Nature Switzerland, 2023

Erschienen in: Recent Trends in Algebraic Development Techniques
Murta, Daniel; Oliveira, José Nuno

A study of risk-aware program transformation

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.

Elsevier BV, 2015

Erschienen in: Science of Computer Programming
Almeida, José João; Carvalho, Nuno Ramos; Oliveira, José Nuno

WIKI::SCORE A collaborative environment for music transcription and publishing1

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.

IOS Press, 2012

Erschienen in: Information Services & Use
Macedo, Hugo Daniel; Oliveira, José Nuno

A linear algebra approach to OLAP

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.

Association for Computing Machinery (ACM), 2015

Erschienen in: Formal Aspects of Computing
Macedo, Hugo Daniel; Oliveira, José Nuno

Typing linear algebra: A biproduct-oriented approach

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.

Elsevier BV, 2013

Erschienen in: Science of Computer Programming
Macedo, Hugo Daniel; Oliveira, José Nuno

Formal Aspects of Component Software: Towards Linear Algebras of Components

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2012

Erschienen in: Formal Aspects of Component Software
Mu, Shin-Cheng; Oliveira, José Nuno

Programming from Galois connections

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.

Elsevier BV, 2012

Erschienen in: The Journal of Logic and Algebraic Programming
Mu, Shin-Cheng; Oliveira, José Nuno

Relational and Algebraic Methods in Computer Science: Programming from Galois Connections

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2011

Erschienen in: Relational and Algebraic Methods in Computer Science
Macedo, Hugo Daniel; Oliveira, José Nuno

Lecture Notes in Computer Science: Matrices as Arrows!

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science
Ferreira, Miguel Alexandre; Oliveira, José Nuno

Lecture Notes in Computer Science: An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science
Nunes, José Pedro L.; Oliveira, Nuno Pardal

Cardiac Structure and Apnea/Hypopnea Index in Patients with Arterial Hypertension and Excessive Weight

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.

S. Karger AG, 2006

Erschienen in: Kidney and Blood Pressure Research
Cunha, Alcino; Oliveira, José Nuno; Visser, Joost

FM 2006: Formal Methods: Type-Safe Two-Level Data Transformation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2006

Erschienen in: FM 2006: Formal Methods
Barbosa, Luís Soares; Oliveira, José Nuno

Functional and Logic Programming: Coinductive Interpreters for Process Calculi

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2002

Erschienen in: Functional and Logic Programming

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr