Krause, Herbert: Konzeptionelle Grundlagen eines Logistikinformationssystems
: Logistikverfahrens- und -kapazitätsoptimierung, dargestellt am Beispiel Flüssiggas und artverwandte Güter / Herbert Krause. - Frankfurt am Main : Lang, 1994. - V, 323 S. : graph. Darst.; 21 cm - (Schriften zum Controlling; Bd. 13)
ISBN 978-3-631-47589-8 / 3-631-47589-6 kart. : sfr 79.00
Quelle: DNB
Leveraging applications of formal methods
: first international symposium ; revised selected papers / ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4313)
ISBN 978-3-540-48929-0
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB
Ligêza, Antoni: Logical foundations for rule based systems
/ Antoni Ligêza. - 2. ed. - Berlin : Springer, 2006. - XX, 309 S. : graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 11)
ISBN 978-3-540-29117-6 / 3-540-29117-2 Pp. : EUR 139.05 (freier Pr.), sfr 220.00 (freier Pr.)
URL-Verz. S. 289 - 295. - Literaturverz. S. 297 - 305
Quelle: DNB Verlagsmeldungen
Microsoft Windows 2000 - Design der Directory Services Infrastruktur - original Microsoft-Training
: [praktisches Selbststudium zu Planung und Entwurf einer Active-Directory-Verzeichnisstruktur ; Microsoft certified professional MCSE 70-219] / [Microsoft Corporation. Übers.: Lemoine International, Köln]. - Unterschleißheim : Microsoft Press, 2001. - XXXVI, 417 S. : Ill., graph. Darst.; 24 cm - (Original Microsoft-Training)
ISBN 978-3-86063-913-9 / 3-86063-913-7 Pp. : DM 155.00 (mit CD-ROM)
Quelle: DNB
Kasper, Manfred: Mikrosystementwurf
: Entwurf und Simulation von Mikrosystemen ; mit 44 Tabellen / Manfred Kasper. - Berlin : Springer, 2000. - XV, 382 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-66497-0 / 3-540-66497-1 kart. : DM 89.00, sfr 81.00, S 650.00, ffr 336.00, L 34.00, lire 98290.00, $ 50.85
Literaturangaben
Quelle: DNB
Pelz, Georg: Modellierung und Simulation mechatronischer Systeme
: vom Chip- zum Systementwurf mit Hardwarebeschreibungssprachen / Georg Pelz. - Heidelberg : Hüthig, 2001. - XIII, 241 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-7785-2848-8 / 3-7785-2848-3 Pp. : EUR 46.00, sfr 80.00
Literaturverz. S. 203 - 230
Quelle: DNB
Mester, Arnulf: Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
/ Arnulf Mester. - Münster : Krehl, 2002. - VII, 167 S. : graph. Darst.; 22 cm
ISBN 978-3-8311-3880-7 / 3-8311-3880-X kart. : EUR 45.00 (freier Pr.)
Hergestellt on demand
Quelle: DNB
Referatensammlung CIM-Ergebnisse aus Forschung und Praxis
: Resultate und Anwendernutzen aus dem KCIM-Projekt zur Entwicklungsbegleitenden Normung für die rechnerintegrierte Produktion ; Stuttgart 1993 / DIN, Deutsches Institut für Normung e.V. [Gesamtbearb.: G. Senk]. - Berlin : Beuth, 1993. - 237 S. in getr. Zählung : Ill., graph. Darst.; 30 cm
ISBN 978-3-410-12897-7 / 3-410-12897-2 kart. : DM 97.00
Nebent.: CIM
Quelle: DNB
Amann, Wolfgang: Eine Simulationsumgebung für Planung und Betrieb von Produktionssystemen
/ Wolfgang Amann. - Berlin : Springer, 1994. - IV, 125 S. : Ill., graph. Darst.; 21 cm - (IWB-Forschungsberichte / Institut für Werkzeugmaschinen und Betriebswissenschaften, Technische Universität München; Bd. 71)
ISBN 978-3-540-57924-3 / 3-540-57924-9 kart. : DM 88.00
Quelle: DNB
