Zum Inhalt springen

Fränkische Museums-Eisenbahn e.V

10 Jahre FME : 1985 - 1995

Schließen

Merkliste

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

Lauf/Pegnitz: Europaforum-Verl., 1995
Eriksson, Lars-Henrik [HerausgeberIn] ; FME 11 2002 Kopenhagen

FME 2002: Formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 - 24, 2002; 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, 2002

Erschienen in: Lecture notes in computer science ; 2391
Araki, Keijiro [HerausgeberIn] ; FME 12 2003 Pisa

FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; 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, 2003

Erschienen in: Lecture notes in computer science ; 2805
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
Fitzgerald, John [HerausgeberIn] ; FME 4 1997 Graz

FME '97: Industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997; 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, 1997

Erschienen in: Lecture notes in computer science ; 1313
Gaudel, Marie-Claude [HerausgeberIn] ; FME 3 1996 Oxford

Industrial benefit and advances in formal methods : Oxford, UK, March 18 - 22, 1996 ; 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, 1996

Erschienen in: Lecture notes in computer science ; 1051
Naftalin, Maurice [HerausgeberIn] ; FME 2 1994 Barcelona

Industrial benefit of formal methods : Barcelona, Spain, October 24 - 28, 1994; 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, 1994

Erschienen in: Lecture notes in computer science ; 873
Henningsen, Charles Frederick [VerfasserIn]

Das enthüllte Rußland oder Kaiser Nikolaus und sein Reich / 1

Schließen

Merkliste

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

Grimma, 1845

Erschienen in: Das enthüllte Rußland oder Kaiser Nikolaus und sein Reich / bearb. von Adolph Heller ; 1
Henningsen, Charles Frederick [VerfasserIn]

Das enthüllte Rußland oder Kaiser Nikolaus und sein Reich / 2

Schließen

Merkliste

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

Grimma, 1845

Erschienen in: Das enthüllte Rußland oder Kaiser Nikolaus und sein Reich / bearb. von Adolph Heller ; 2
Henningsen, Charles Frederick [VerfasserIn]

Mémoires sur Zumalacarregui et sur les premières campagnes de Navarre / 1

Schließen

Merkliste

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

Paris, 1836

Erschienen in: Mémoires sur Zumalacarregui et sur les premières campagnes de Navarre / par C. T. Henningsen. Trad. de l'Anglais ; 1
Henningsen, Charles Frederick [VerfasserIn]

Mémoires sur Zumalacarregui et sur les premières campagnes de Navarre / 2

Schließen

Merkliste

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

Paris, 1836

Erschienen in: Mémoires sur Zumalacarregui et sur les premières campagnes de Navarre / par C. T. Henningsen. Trad. de l'Anglais ; 2
Henningsen, Charles Frederick [VerfasserIn] ; Heller, Adolph [BearbeiterIn]

Das enthüllte Rußland oder Kaiser Nikolaus und sein Reich : nach dem englischen Originalwerk Revelations of Russia

Schließen

Merkliste

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

Grimma: Verlags-Comptoir, 18XX-
Henningsen, Charles Frederick [VerfasserIn]

Mémoires sur Zumalacarregui et sur les premières campagnes de Navarre

Schließen

Merkliste

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

Paris, 18XX-
Woodcock, Jim [HerausgeberIn]; Woodcock, James C. P. [HerausgeberIn]; Larsen, Peter Gorm [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission Formal Methods Europe, FME 1 1993 Odense

Industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 1993; proceedings

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 1993

Erschienen in: Lecture notes in computer science ; 670
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
Dean, Neville [HerausgeberIn]; Dean, C. Neville [Sonstige Person, Familie und Körperschaft]; Boute, Raymond T. [Sonstige Person, Familie und Körperschaft] ; Symposium on Teaching Formal Methods 1 2004 Gent

Teaching formal methods : CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004; 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, 2004

Erschienen in: Lecture notes in computer science ; 3294
Fitzgerald, John [HerausgeberIn] ; FM 13 2005 Newcastle-upon-Tyne

FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005; 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, 2005

Erschienen in: Lecture notes in computer science ; 3582
Univerzitet u Beogradu Mašinski fakultet Belgrad

FME transactions / University of Belgrade, Faculty of Mechanical Engineering

Schließen

Merkliste

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

Belgrade, 2002- / N.S. 30.2002 -
Univerzitet u Beogradu Mašinski fakultet Belgrad

Saopštenja / Mašinski Fakultet Univerziteta u Beogradu = Transactions = Publications of the University of Bergrade Faculty of Mechanical Engineering

Schließen

Merkliste

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

Beograd, 1977-1996 / 1977 - 1985 nachgewiesen; nachgewiesen 8.1989 - 25.1996
Džodžo, Borislav A. [VerfasserIn] ; Univerzitet u Beogradu Mašinski fakultet Belgrad

Let's get acquainted with Faculty of Mechanical Engineering University of Belgrade : 1873 - 1973

Schließen

Merkliste

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

Belgrade: Mašinski Fakultet Univerziteta u Beogradu, 1973

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