Zum Inhalt springen

  3. Korrosionsschutzseminar 2002, 10, 29 Dresden, Institut für Korrosionsschutz Dresden

    Korrosionsschutzseminar Nickellegierungen und höchstlegierte nichtrostende Stähle in der Prozesstechnik : Gemeinschaftsveranstaltung Institut für Korrosionsschutz Dresden GmbH, Krupp VDM GmbH, NiDI - Nickel Development Institute London, VOEST-ALPINE GROBBLECH GmbH; 29. bis 30. Oktober 2002 in Dresden

    Bücher
    Schließen

    Merkliste

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

    Dresden: Inst. für Korrosionsschutz, 2002

  4. Schwarz, Heinrich Engelbert [Verfasser:in] ; Langenheim, Johann Christian [Drucker:in]; Wagner, Andreas [Widmungsempfänger:in] Officina Langenhemia

    M. Henrici Engelberti Schwarzii V.D.M. In Groszschochern Prope Lipsiam De Pietate Et Meritis Ivreconsvltorvm In Ecclesiam Brevis Et Svccincta Commentatio : Occasine Memoriae Secvlaris Ob Restavratam Ante Hos Dvcentos Annos Apvd Lipsiensis Religionem

    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.

    Lipsiae: Ex Officina Langenhemiana, MDCCXXXIX.

  5. Heineccius, Johann Michael [Verfasser:in] ; Schmidt, Johann Andreas [Verfasser:in von ergänzendem Text]; Schmidt, Johann Andreas [Mitwirkende:r]; Hamm, Georg Wolfgang [Drucker:in]

    M. Jo. Michaelis Heineccii, in imperiali ad Gosam civitate V.D.M. Historia Historiæ seu de fatis studii historico-chronici apud varias gentes Schediasma Historicvm ubi simul subsidia nonnulla chronicon civitatis conscribendi indicantur & Ad Chronicon Goslariense eruditorum symbolæ efflagitantur

    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.

    Helmestadi[i]: Typis Georg Wolfgangi Hammi[i], Acad. Typogr., Anno MDCCIII.

  6. Crusius, Magnus [Verfasser:in]; Worm, Christen [Verfasser:in]

    Dissertatio Epistolica Ad Eminentissimum atque Reverendissimum Dn. Christianvm Wormivm, Dioeceseos Sialandicae in Dania Episcopum &c. De Scriptis Qvibvsdam Integris Fragmentisqve Hactenvs Ineditis : Quae in Itinere Gallico, Anglico atque Germanico reperire contigit, & nunc in lucem publicam edenda parat, Virosque eruditos insimul ad conferendas symbolas humanissime invitat Magnvs Crvsivs, Slesvicensis, V.D.M.

    Bücher
    Schließen

    Merkliste

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

    Lipsiae: Gleditschius, 1728

  7. Widmar, Abdias [Verfasser:in] ; Pasor, Matthias [Sonstige Person, Familie und Körperschaft]

    Parentalia In piam memoriam Reverendi & Clarissimi D. Matthiae Pasoris, dum viveret, Philos. ac Theol. Doctoris & Professoris ... nimirum, Oratio Funebris Ab Abdia Widmario, V.D.M. ac S.S. Theol. Doctore & Professore Collega dicta in Choro Templi Academici 6. Febr. Ann. 1658; Vita Matthiae Pasoris, ab hoc ipsomet vivo plenius consignata; Epicedia Collegarum, Amicorum, & Discipulorum, in obitum ejusdem addita

    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.

    Groningae Frisiorum: Cöllenius, 1658

  8. Strimesius, Samuel [Verfasser:in] ; Lith, Catharina von der [Sonstige Person, Familie und Körperschaft]; Lith, Tido Heinrich von der [Sonstige Person, Familie und Körperschaft]; Zeitler, Christoph [Drucker:in]

    Trostgründe der Frommen wieder ihr Leyden und Sterben : Welche In einer kurtzen Leich-Predigt über die Worte Davids Ps. 68. v. 20.21. Gott leget uns eine Last auff ... Bey solenner Leichbegängnüß Der ... Frauen Catharina Wesenfeldin/ Des ... Hrn. Tido Henrichs von der Lith ... Hertzgeliebten Ehe-Gattin/ Als Selbige Den 1. Iunii dieses 1687sten Jahres in hiesiger Reformirten Kirchen ... beerdiget ward/ Daselbst betrachtet und vorgestellet hat Samuel Strimesius, V.D.M. wie auch Philos. und Theol. Professor Publ.

    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.

    Franckfurt: Zeitler, 1687

  9. Bloomfield, Robin E. [Verfasser:in] ; Jones, Roger B. [Sonstige Person, Familie und Körperschaft]; Marshall, Lynn S. [Sonstige Person, Familie und Körperschaft]

    VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. 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: Springer Berlin Heidelberg, 1988

    Erschienen in: Lecture notes in computer science ; 328

  10. Bjorner, Dines [Verfasser:in] ; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Mac An Airchinnigh, Michael [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]

    VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, 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: Springer Berlin Heidelberg, 1987

    Erschienen in: Lecture notes in computer science ; 252

  11. Bjorner, Dines [Verfasser:in] ; Hoare, C.A.R [Sonstige Person, Familie und Körperschaft]; Langmaack, Hans [Sonstige Person, Familie und Körperschaft]

    VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, 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: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in computer science ; 428

  13. Midoun, Mohammed [Verfasser:in]; Belbachir, Hafida [Verfasser:in]

    A new process for mining spatial databases: combining spatial data mining and visual data mining

    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.

    2022

    Erschienen in: International journal of business information systems ; 39(2022), 1, Seite 17-51

  14. Ait Ameur, Yamine [Verfasser:in] ; Schewe, Klaus-Dieter [Herausgeber:in]

    Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. 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: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8477

  15. Glässer, Uwe [Verfasser:in]; Hallerstede, Stefan [Verfasser:in]; Leuschel, Michael [Verfasser:in]; Riccobene, Elvinia [Verfasser:in] ; Uwe Glässer and Stefan Hallerstede and Michael Leuschel and Elvinia Riccobene [Mitwirkende:r]

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  16. Derrick, John [Verfasser:in] ; Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. 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: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7316

  17. Bjørner, Dines [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission VDM Europe Working Group, VDM 3 1990 Kiel

    VDM '90, VDM and Z - formal methods in software development : third International Symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; 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 [u.a.]: Springer, 1990 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 42800

  18. Bloomfield, Robin E. [Sonstige Person, Familie und Körperschaft] ; VDM 2 1988 Dublin

    VDM '88, VDM - the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11 - 16, 1988 ; 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 [u.a.]: Springer, 1988 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 32800

  19. Bjørner, Dines [Sonstige Person, Familie und Körperschaft] ; VDM 1 1987 Brüssel

    VDM '87 : VDM - a formal method at work ; VDM-Europe Symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; 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 [u.a.]: Springer, 1987 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 25200