|
|
|
|
| LEADER |
03845nmm a2200289 u 4500 |
| 001 |
EB000669983 |
| 003 |
EBX01000000000000000523065 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642686030
|
| 100 |
1 |
|
|a Nehmer, J.
|e [editor]
|
| 245 |
0 |
0 |
|a GI-12. Jahrestagung
|h Elektronische Ressource
|b Kaiserslautern, 5.–7. Oktober 1982 Proceedings
|c herausgegeben von J. Nehmer
|
| 250 |
|
|
|a 1st ed. 1982
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1982, 1982
|
| 300 |
|
|
|a X, 732 S. 8 Abb
|b online resource
|
| 505 |
0 |
|
|a Rechnerorganisation — heute und morgen -- Die „Neue Mikroelektronik“ in der Informatik: Voraussetzungen und Auswirkungen -- The Integrated Design of Computer Systems with MIMOLA -- Computer Design Language — Version Munich (CDLM): Eine moderne Rechnerentwurfssprache -- Architectural Support for Software in the MONADS III Computer Design -- Ein Softwarekonzept für verteilte Multicomputer-Systeme und seine Unterstützung durch die Architektur des UPPER-Systems -- Rechnerunterstützte Konstruktion von Spezialrechnern aus Programmen anwendungsorientierter höherer Programmiersprachen -- Funktion und Realisierung einer rechnergesteuerten Fernsprech-Nebenstellenanlage -- Alte Software und neue Rechner: Ein Konzept zur Erhaltung der Funktionskompatibilität zwischen Rechnergenerationen -- Neue Rechnerarithmetiken und ihr Einfluß auf Architektur und Programmierung zukünftiger Rechnersysteme -- Die Konzeption, Programmierung und Anwendung des Graphischen Kernsystems GKS -- Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen -- Imperative, prädikative und funktionale Programmierung -- Fachgespräch: „Interaktive Systeme — Beispiele für methodisches Vorgehen beim Entwurf“ -- Fachgespräch: „Softwaretechnologische Aspekte bei Modell- und Methodenbanken und bei CAD-Systemen“ -- Fachgespräch: „Künstliche Intelligenz“ -- Fachgespräch: „Informatik zwischen militärischen und zivilen Anwendungen“ -- Fachgespräch: „Führung betrieblicher Informatikbereiche“ -- Fachgespräch: „Mikrorechner im Unterricht“ -- Fachgespräch: „Integrierte Informationssysteme“
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Computers
|
| 653 |
|
|
|a Theory of Computation
|
| 653 |
|
|
|a Computer Science, general
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Informatik-Fachberichte
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-68603-0?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004.0151
|
| 520 |
|
|
|a Die 12. Jahrestagung der Gesellschaft für Informatik an der Univer sität Kaiserslautern steht unter dem thematischen Schwerpunkt nSYSTEMS ENGINEERING" in der Informatik. Unter dem Druck einer sehr geringen Zahl einge reichter Beiträge sind wir von dem Konzept der Vorjahre abgerückt, die Tagung überwiegend aus eingereichten Beiträgen zu bestreiten. Der zweite Tag hat durch die eingeladenen tfbersichtsvorträge einen vor wiegend tutorialen Charakter und soll der Jahrestagung gegenüber den vielen Fachtagungen eine eigenständige Attraktivität verleihen. Die in tfbersichtsvorträgen behandelten Themen sollen den hier anwesenden Fachleuten Gelegenheit bieten, sich bequem über außerhalb des eigenen Arbeitsgebiets sich abzeichnende neue Entwicklungen zu informieren. Dem Programmkomitee, den Programmausschüssen der Fachgespräche sowie dem Organisationskomitee am Tagungsort sei an dieser Stelle für ihren Beitrag zum Gelingen der Tagung herzlich gedankt. Kaiserslautern, Juli 1982 Jürgen Nehmer FOLGENDE FIRMEN HABEN DIE VORBEREITUNG UND AUSRICHTUNG DER TAGUNG FINANZIELL UNTERSTÜTZT: SIEMENS AG IBM DEUTSCHLAND GMBH BASF AG BROWN, BOVERI & CIE. AG TELEFONBAU & NORMALZEIT GMBH GEBR. KITTELBERGER GMBH & CO.
|