Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/programmier/programmier1981.bht:"
@inproceedings{DBLP:conf/programmier/AngermannS81, author = {Klaus Angermann and Manfred Sedello}, editor = {Gerhard Goos}, title = {Software-Entwicklung f{\"{u}}r Mikroprozessoren bei der Nixdorf Computer {AG}}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {214--227}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_12}, doi = {10.1007/978-3-642-68064-9\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/AngermannS81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Buchler81, author = {Alois B{\"{u}}chler}, editor = {Gerhard Goos}, title = {Die separate Compilation in Chill}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {181--196}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_10}, doi = {10.1007/978-3-642-68064-9\_10}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Buchler81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/ChristB81, author = {Joachim Christ and Helmut Balzert}, editor = {Gerhard Goos}, title = {{PASILA} - ein computerunterst{\"{u}}tztes Werkzeug zur Definition und Implementation von Anforderungssprachen}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {57--74}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_4}, doi = {10.1007/978-3-642-68064-9\_4}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/ChristB81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/DausmannPDW81, author = {Manfred Dausmann and Guido Persch and Sophia Drossopoulou and Georg Winterstein}, editor = {Gerhard Goos}, title = {A Separate Compilation System for Ada}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {197--213}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_11}, doi = {10.1007/978-3-642-68064-9\_11}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/DausmannPDW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/EckertL81, author = {Klaus Eckert and Jochen Ludewig}, editor = {Gerhard Goos}, title = {ESPRESO-W, ein Werkzeug f{\"{u}}r die Spezifikation von Proze{\ss}rechner-Software}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {101--112}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_6}, doi = {10.1007/978-3-642-68064-9\_6}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/EckertL81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Fischer81, author = {Georg Fischer}, editor = {Gerhard Goos}, title = {Ein Weg zur Spezifikation und Durchf{\"{u}}hrung von Transformationen an Programmen in h{\"{o}}heren Programmiersprachen}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {41--56}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_3}, doi = {10.1007/978-3-642-68064-9\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Fischer81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Gerkens81, author = {Rainer Michael Gerkens}, editor = {Gerhard Goos}, title = {Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsystems mit komfortabler Benutzerschnittstelle zum "bildhaften Spezifizieren"}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {228--243}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_13}, doi = {10.1007/978-3-642-68064-9\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Gerkens81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/HausenM81, author = {Hans{-}Ludwig Hausen and Monika M{\"{u}}llerburg}, editor = {Gerhard Goos}, title = {Software-Produktionsumgebungen: Entwicklungsstand und Trends}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {1--27}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_1}, doi = {10.1007/978-3-642-68064-9\_1}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/HausenM81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Hesse81, author = {Wolfgang Hesse}, editor = {Gerhard Goos}, title = {Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und {\"{U}}berblick}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {113--153}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_7}, doi = {10.1007/978-3-642-68064-9\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Hesse81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Laut81, author = {Alfred Laut}, editor = {Gerhard Goos}, title = {Developing algebraic specifications of threaded data structure implementations}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {28--40}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_2}, doi = {10.1007/978-3-642-68064-9\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Laut81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Plattner81, author = {Hasso Plattner}, editor = {Gerhard Goos}, title = {Systeme {R/SAP} - Real Time Systeme}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {244--260}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_14}, doi = {10.1007/978-3-642-68064-9\_14}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Plattner81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/Schnupp81, author = {Peter Schnupp}, editor = {Gerhard Goos}, title = {Spezifikation f{\"{u}}r ein Spezifikationswerkzeug}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {75--100}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_5}, doi = {10.1007/978-3-642-68064-9\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/Schnupp81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/SchollenbergerTV81, author = {K. Schollenberger and Klaus Tru{\"{o}}l and U. Viebeg}, editor = {Gerhard Goos}, title = {{DIPROTOR} - ein Softwarewerkzeug zur Erstellung von Diagrammen und Programmrahmen f{\"{u}}r die datenstrukturorientierte Methode des Programmentwurfs}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {154--168}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_8}, doi = {10.1007/978-3-642-68064-9\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/SchollenbergerTV81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programmier/SpittaS81, author = {Thorsten Spitta and Antonio Schnieder}, editor = {Gerhard Goos}, title = {{RELSPEZ} - eine relationale Problemspezifikation: Konzept und Erfahrungsbericht}, booktitle = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, pages = {169--180}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9\_9}, doi = {10.1007/978-3-642-68064-9\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/SpittaS81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/programmier/1981, editor = {Gerhard Goos}, title = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. M{\"{a}}rz 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {43}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-642-68064-9}, doi = {10.1007/978-3-642-68064-9}, isbn = {3-540-10725-8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programmier/1981.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.