HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

[1-20] [21-28]

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Broy, Manfred: Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung / Manfred Broy. - Wiesbaden: Springer Vieweg, [2019]. - 1 Online-Ressource (XIII, 451 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-26302-7 (Springer eBooks : Computer Science and Engineering) (Springer eBook Collection) DOI: 10.1007/978-3-658-26302-7 Themen: Algebraische Spezifikation \| Algorithmische Programmierung \| Beweis \| Datenstruktur \| Funktionale Programmierung \| Korrektheit \| Objektorientierte Programmierung \| Softwareentwicklung \| Softwarespezifikation \| Systementwicklung Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
2.	Große-Rhode, Martin: Semantic integration of heterogeneous software specifications / Martin Große-Rhode. - Berlin ; Heidelberg [u.a.]: Springer, 2004. - IX, 327 S. : graph. Darst., ISBN 978-3-540-40257-2 (EATCS monographs on theoretical computer science) Themen: Semantikerhaltende Transformation \| Softwareentwicklung \| Softwarespezifikation Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	bestellen Signatur: LN-U 10-12618 → Andere Auflagen/Ausgaben
3.	Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot. - 1st ed. 2020.. - Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XIII, 552 p. 1 illus.), ISBN 978-3-030-45234-6 (Theoretical Computer Science and General Issues ; 12076) (Springer eBook Collection) DOI: 10.1007/978-3-030-45234-6 Themen: Programmverifikation \| Requirements engineering \| Software Engineering \| Softwarespezifikation Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
4.	Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. - Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 36 illus, online resource), ISBN 978-3-319-48869-1 (Lecture Notes in Computer Science ; 9971) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 9971) DOI: 10.1007/978-3-319-48869-1 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwarespezifikation \| Softwaretest \| Spezifikationssprache \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
5.	Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIX, 961 p. 220 illus, online resource), ISBN 978-3-662-49674-9 (Lecture Notes in Computer Science ; 9636) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9636) DOI: 10.1007/978-3-662-49674-9 Themen: Hardwareverifikation \| Model Checking \| Programmverifikation \| Softwareentwicklung \| Softwarespezifikation \| Systemanalyse \| Systementwicklung Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
6.	Klaeren, Herbert: Algebraische Spezifikation : eine Einführung / H. A. Klaeren. - Berlin ; Heidelberg ; New York: Springer-Verlag, 1983. - 235 S. : graph. Darst., ISBN 978-0-387-12256-4 Themen: Algebraische Spezifikation \| Softwarespezifikation Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
7.	Leszak, Marek: Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen / M. Leszak ; H. Eggert. - Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo: Springer, 1989. - XII, 254 S. : graph. Darst., ISBN 978-3-540-50642-3 (Informatik-Fachberichte ; 197) Themen: CAD \| Petri-Netz \| Software Engineering \| Softwarespezifikation \| Softwarewerkzeug Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
8.	Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22 - 26, 1985 / ed. by W. Bibel, Klaus P. Jantke. - Berlin: Springer, 1986. - 245 Seiten : Illustrationen, ISBN 978-0-387-16444-1 (Lecture notes in computer science ; 215) Themen: Mathematik \| Mathematische Methode \| Programmverifikation \| Softwareentwicklung \| Softwarespezifikation \| Softwaresystem \| Synthese Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
9.	Bibel, Wolfgang: Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / by Wolfgang Bibel, Klaus P. Jantke. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. - Online-Ressource, ISBN 978-3-540-16444-9 (Lecture Notes in Computer Science ; 215) (SpringerLink : Bücher) DOI: 10.1007/3-540-16444-8 Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
10.	Zwintzscher, Olaf: Software-Komponenten im Überblick : Einführung, Klassifizierung & Vergleich von JavaBeans, EJB, COM+, .Net, CORBA, UML 2 / Olaf Zwintzscher. - Herdecke ; Bochum: W3L-Verl., 2005. - VIII, 138 S. : graph. Darst., ISBN 978-3-937137-60-5 (IT kompakt) Themen: COM+ \| CORBA \| Enterprise JavaBeans \| Java Beans \| Komponente <Software> \| Microsoft dot net \| Softwareentwicklung \| UML 2 Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
11.	Alagar, Vangalur S.: Specification of software systems / V. S. Alagar; K. Periyasamy. - New York ; Heidelberg [u.a.]: Springer, 1998. - XX, 422 S : graph. Darst, ISBN 978-0-387-98430-8 (Graduate texts in computer science) Themen: Berechnungskomplexität \| Formale Spezifikationstechnik \| Komplexitätstheorie \| Modelltheorie \| Prädikatenlogik \| Softwareentwicklung \| Softwarespezifikation Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
12.	Kutzler, B.: Bibliography on abstract data types / B. Kutzler; F. Lichtenberger. - Berlin u.a.: Springer, 1983. - 194 S, ISBN 978-0-387-12312-7 (Informatik-Fachberichte ; 68) Themen: Abstrakter Datentyp \| Softwarespezifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
13.	Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings / B. Banieqbal ... (eds.). - Berlin ; Heidelberg [u.a.]: Springer, 1989. - VI, 448 S. : graph. Darst., ISBN 978-0-387-51803-9 (Lecture notes in computer science ; 398) Themen: Nebenläufigkeit \| Softwarespezifikation \| Temporale Logik Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
14.	Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23 - 26, 1978 / ed. by E. K. Blum .... - Berlin ; Heidelberg [u.a.]: Springer, 1979. - VIII, 629 S. : graph. Darst., ISBN 978-3-540-09541-5 (Lecture notes in computer science ; 75) Themen: Informationsverarbeitung \| Programmierung \| Programmverifikation \| Softwarespezifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	bestellen Signatur: WS/ST 130 B658 → Weitere Exemplare → Andere Auflagen/Ausgaben
15.	Program specification : proceedings of a Workshop, Aarhus, Denmark, August 1981 / ed. by J. Staunstrup. - Berlin ; Heidelberg [u.a.]: Springer, 1982. - IV, 426 S : graph. Darst, ISBN 978-3-540-11490-1 (Lecture notes in computer science ; 134) Themen: Programmierung \| Softwarespezifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
16.	Distributed systems : methods and tools for specification ; an advanced course / M. W. Alford ... Ed. by M. Paul .... - Berlin [u.a.]: Springer, 1985. - VI, 573 S. : graph. Darst., ISBN 978-3-540-15216-3 (Lecture notes in computer science ; 190) Themen: Softwarespezifikation \| Verteiltes System Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
17.	Hoffmann, Berthold: Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System / by Berthold Hoffmann, Bernd Krieg-Brückner. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. - Online-Ressource, ISBN 978-3-540-56733-2 (SpringerLink : Bücher) (Lecture Notes in Computer Science ; 680) DOI: 10.1007/3-540-56733-X Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
18.	Hooman, Jozef: Specification and Compositional Verification of Real-Time Systems / by Jozef Hooman. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. - Online-Ressource, ISBN 978-3-540-54947-5 (SpringerLink : Bücher) (Lecture Notes in Computer Science ; 558) DOI: 10.1007/3-540-54947-1 Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
19.	Banieqbal, Behnam: Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings / by Behnam Banieqbal, Howard Barringer, Amir Pnueli. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. - Online-Ressource, ISBN 978-3-540-51803-7 (Lecture Notes in Computer Science ; 398) (SpringerLink : Bücher) DOI: 10.1007/3-540-51803-7 Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
20.	Paul, M.: Distributed Systems : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P… . - Berlin, Heidelberg: Springer-Verlag, 1985. - Online-Ressource, ISBN 978-3-540-39363-4 (Lecture Notes in Computer Science ; 190) (SpringerLink : Bücher) DOI: 10.1007/3-540-15216-4 Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben

[1-20] [21-28]

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design