Ergebnisliste für GND-ID= "DE-588 4139161-5"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


Titel 1 - 20 von 112  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Siebke, Barbara [Verfasser] Produkt-Spezifikationen sicher erstellen und richtig einsetzen / Barbara Siebke. - 2. Auflage

URL: https://d-nb.info/1230172718/04

2021 
     
2
Hicking, Jan [Verfasser] Spezifikation von intelligenten Produkten im Maschinenbau / Jan Hicking. - 1. Auflage. - (Schriftenreihe Rationalisierung ; Band 175) . - (Edition Wissenschaft Apprimus) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2021/02/04/file_14/8991180.pdf
Inhaltsverzeichnis

2020  929 KO: Rhein. LB
     
3
Niels, Adelka, ca. 20./21. Jh. [Verfasser] Attributionen in der Mensch-Computer-Interaktion. - (Research) 



2019  107 SP: PLB Speyer
929 KO: Rhein. LB
     
4
Thomas, Oliver, 1971- [Verfasser] Collaborative Specification Engineering / Oliver Thomas, Jörg Becker, Sven Jannaber, Dennis Riehle, Immo Leising. - (Arbeitsberichte des Instituts für Wirtschaftsinformatik / Westfälische Wilhelms-Universität Münster ; Nr. 140) 



2018 
     
5
Bierens, Herman J., 1943- [Verfasser] Econometric model specification / Herman J. Bierens (Pennsylvania State University, USA)

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029650940&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA ; Bemk.: Inhaltsverzeichnis

2017 
     
6
Braberman, Víctor Formal Modeling and Analysis of Timed Systems [Elektronische Ressource] / edited by Víctor Braberman, Laurent Fribourg. - (Lecture Notes in Computer Science ; 8053) 

URL: http://dx.doi.org/10.1007/978-3-642-40229-6 ; Hinw.: Resolving-System

2013 
     
7
Gröger, Sophie, 1972- Funktionsgerechte Spezifikation geometrischer Eigenschaften mit dem System der geometrischen Produktspezifikation und -verifikation / von Sophie Gröger



2013 
     
8
Stoyanova, Nadya Verbesserung der Qualität natürlich-sprachlicher Spezifikationen / vorgelegt von Nadya Stoyanova

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/07/06/file_273/8069297.pdf
Inhaltsverzeichnis

2013 
     
9
Braberman, Victor [Herausgeber] Formal modeling and analysis of timed systems [Elektronische Ressource] / FORMATS 2013, Buenos Aires, Argentina, August 29 - 31, 2013. Víctor Braberman ... (eds.). - (Lecture notes in computer science ; 8053) 

URL: http://dx.doi.org/10.1007/978-3-642-40229-6 ; Hinw.: Verlag

2013 
     
10
Siebke, Barbara Spezifikationen / B. Siebke. - 1. Aufl.. - (Praxisleitfaden) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2012/10/06/file_14/4663425.pdf
Inhaltsverzeichnis

2012 
     
11
Kopetz, Hermann Real-Time Systems [Elektronische Ressource] / by Hermann Kopetz. - (Real-Time Systems Series) 

URL: http://dx.doi.org/10.1007/978-1-4419-8237-7 ; Hinw.: Resolving-System

2011 
     
12
Kopetz, Hermann Real time systems / Hermann Kopetz. - 2. ed.. - (Real-time systems series) 

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3556962&prov=M&dok_var=1&dok_ext=htm
URL: http://digitale-objekte.hbz-nrw.de/storage2/2014/07/25/file_18/5688746.pdf
Weitere externe Links

2011  Tr 5 TR: HSB Trier
     
13
Sikora, Ernst Ein modellbasierter Ansatz zur verzahnten Entwicklung von Anforderungen und Architektur über mehrere Abstraktionsstufen hinweg / vorgelegt von Ernst Sikora

URL: http://digitale-objekte.hbz-nrw.de/storage/2012/06/10/file_79/4474731.pdf
Inhaltsverzeichnis

2011 
     
14
Trachtenherz, David, 1979- Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme / David Trachtenherz. - 1. Aufl.. - (Vieweg + Teubner Research) . - (Wissenschaft) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2010/07/17/file_17/3834899.pdf
Inhaltsverzeichnis

2010 
     
15
Trachtenherz, David Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme [Elektronische Ressource] / von David Trachtenherz

URL: http://dx.doi.org/10.1007/978-3-8348-9703-9 ; Hinw.: Resolving-System

2010  1042 Birkenfeld: HSB Trier
Tr 5 TR: HSB Trier
     
16
Trapp, Mario, 1976- Modeling the adaptation behavior of adaptive embedded systems / von Mario Trapp. - 1. Aufl.. - (Informatik) 



2005 
     
17
Brüggemann, Ralf, 1972- Model reduction methods for vector autoregressive processes / Ralf Brüggemann. - (Lecture notes in economics and mathematical systems ; 536) 



2004 
     
18
Kopetz, Hermann Real time systems / by Hermann Kopetz. - 8. print.. - (The Kluwer international series in engineering and computer science ; 395 : Real-time systems) 



2004 
     
19
Lamport, Leslie, 1941- Specifying systems / Leslie Lamport. - 1. print.



2003  Tr 5 TR: HSB Trier
     
20
Peyton Jones, Simon L., 1958- [Hrsg.] Haskell 98 language and libraries / ed. by Simon Peyton Jones. - (Journal of functional programming ; 13,1) 



2003 
     


Vorige Seite   Nächste Seite