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-40] [41-57]

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.	Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 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 Jean Goubault-Larrecq, Barbara König. - 1st ed. 2020.. - Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XV, 644 p. 1 illus.), ISBN 978-3-030-45231-5 (Theoretical Computer Science and General Issues ; 12077) (Springer eBook Collection) DOI: 10.1007/978-3-030-45231-5 Themen: Formale Methode \| Programmierlogik \| Programmiersprache \| Software Engineering \| Theoretische Informatik Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
2.	Programming Languages and Systems : 29th European Symposium on Programming, ESOP 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 Peter Müller. - 1st ed. 2020.. - Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XV, 772 p. 1 illus.), ISBN 978-3-030-44914-8 (Theoretical Computer Science and General Issues ; 12075) (Springer eBook Collection) DOI: 10.1007/978-3-030-44914-8 Themen: Formale Methode \| Nebenläufigkeit \| Programmanalyse \| Programmiersprache \| Programmverifikation \| Typsystem Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
3.	Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. - Cham: Springer, 2016. - Online-Ressource (XVII, 486 p. 144 illus, online resource), ISBN 978-3-319-47846-3 (Lecture Notes in Computer Science ; 10009) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 10009) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-47846-3 Themen: Fehlertoleranz \| Formale Methode \| Model Checking \| Programmanalyse \| Softwareentwicklung \| Softwaretest \| Systementwicklung \| Verifikation \| Zuverlässigkeit Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
4.	Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht. - Cham: Springer, 2016. - Online-Ressource (VII, 157 p. 62 illus, online resource), ISBN 978-3-319-51641-7 (Springer eBook Collection : Computer Science) (Communications in Computer and Information Science ; 683) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-51641-7 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
5.	Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. - Cham: Springer, 2016. - Online-Ressource (XXI, 512 p. 111 illus, online resource), ISBN 978-3-319-46982-9 (Lecture Notes in Computer Science ; 10012) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 10012) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-46982-9 Themen: Computerarchitektur \| Formale Methode \| Hardwareverifikation \| Laufzeitsystem \| Programmanalyse \| Programmlaufzeit \| Programmverifikation \| Softwarearchitektur \| Systemanalyse Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
6.	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. - Cham: Springer, 2016. - Online-Ressource (XXIII, 974 p. 256 illus, online resource), ISBN 978-3-319-47166-2 (Lecture Notes in Computer Science ; 9952) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9952) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-47166-2 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
7.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. - Cham: Springer, 2016. - Online-Ressource (XXIV, 866 p. 291 illus, online resource), ISBN 978-3-319-47169-3 (Lecture Notes in Computer Science ; 9953) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9953) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-47169-3 Themen: Formale Methode \| Programmanalyse \| Programmverifikation \| Softwareentwicklung \| Systemanalyse \| Systementwurf \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
8.	Klüver, Christina: Modellierung komplexer Prozesse durch naturanaloge Verfahren : künstliche Intelligenz und künstliches Leben / Christina Klüver, Jürgen Klüver, Jörn Schmidt. - 3., erweiterte und aktualisierte Auflage. - Wiesbaden: Springer Vieweg, [2021]. - 1 Online-Ressource (IX, 348 Seiten) : Illustrationen, ISBN 978-3-658-35276-9 (Springer eBook Collection) DOI: 10.1007/978-3-658-35276-9 Themen: Dynamisches System \| Formale Methode \| Komplexes System \| Soft Computing Online-Ressource → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
9.	Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha; Oilivier Danvy; José Meseguer (eds.). - Berlin ; Heidelberg [u.a.]: Springer, 2011. - XX, 445 S. : Ill., graph. Darst., ISBN 978-3-642-24932-7 (Lecture Notes in Computer Science / Programming and Software Engineering ; 7000 : Festschrift) (Festschrift) Themen: Bioinformatik \| Formale Methode \| Logischer Schluss \| Metamodell \| Middleware \| Nebenläufigkeit \| Objektorientierung \| Programmiersprache \| Programmierung \| Simulation \| Systemmodell \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	bestellen Signatur: LN-U 10-16607 → Andere Auflagen/Ausgaben
10.	Formal aspects of computing : applicable formal methods / BCS-FACS. - London: Springer, 1989-. - Online-Ressource, ISSN 1433-299X 1.1989 - Themen: Formale Methode \| Formale Sprache \| Online-Ressource \| Systementwicklung \| Theoretische Informatik \| Zeitschrift Online-Ressource Zeitschrift → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
11.	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) (Programming and Software Engineering ; 9971) (Springer eBook Collection : Computer Science) 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
12.	FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. - Cham: Springer, 2016. - Online-Ressource (XXIII, 789 p. 204 illus, online resource), ISBN 978-3-319-48989-6 (Lecture Notes in Computer Science ; 9995) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 9995) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-48989-6 Themen: Formale Methode Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
13.	Stabilization, Safety, and Security of Distributed Systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit. - Cham: Springer, 2016. - Online-Ressource (XIII, 432 p. 72 illus, online resource), ISBN 978-3-319-49259-9 (Lecture Notes in Computer Science ; 10083) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 10083) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-49259-9 Themen: Autonomic Computing \| Computersicherheit \| Fehlertoleranz \| Formale Methode \| Netzwerktopologie \| Selbsteinstellendes System \| Stabilisierung \| Verteiltes System Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
14.	Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. - Cham: Springer, 2016. - Online-Ressource (X, 253 p. 62 illus, online resource), ISBN 978-3-319-49815-7 (Lecture Notes in Computer Science ; 10090) (Springer eBook Collection : Computer Science) (Programming and Software Engineering ; 10090) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-49815-7 Themen: Fehlertoleranz \| Formale Methode \| Modellgetriebene Entwicklung \| Softwaretest \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
15.	Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. - Cham: Springer, 2016. - Online-Ressource (XI, 530 p. 102 illus, online resource), ISBN 978-3-319-46520-3 (Lecture Notes in Computer Science ; 9938) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Programming and Software Engineering ; 9938) DOI: 10.1007/978-3-319-46520-3 Themen: CASHE \| Formale Methode \| Systemanalyse \| Systementwurf \| Systemsynthese \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
16.	Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. - Cham: Springer, 2016. - Online-Ressource (XVII, 479 p. 108 illus, online resource), ISBN 978-3-319-46750-4 (Lecture Notes in Computer Science ; 9965) (Theoretical Computer Science and General Issues ; 9965) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-46750-4 Themen: Formale Methode \| Programmverifikation \| Softwareentwicklung \| Softwaretest \| Theoretische Informatik Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
17.	Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / edited by Marc Gyssens, Guillermo Simari. - 1st ed. 2016. - Cham: Springer, 2016. - Online-Ressource (XVIII, 355 p. 31 illus. in color, online resource), ISBN 978-3-319-30024-5 (Lecture Notes in Computer Science ; 9616) (Information Systems and Applications, incl. Internet/Web, and HCI ; 9616) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-30024-5 Themen: Data Mining \| Datenbankentwurf \| Datenbanksystem \| Formale Methode \| Information Retrieval \| Informationssystem \| Künstliche Intelligenz \| Ontologie <Wissensverarbeitung> \| Semantic Web \| Wissensbasiertes System \| Wissensextraktion Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
18.	Programming Languages and Systems : 25th European Symposium on Programming, ESOP 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 Peter Thiemann. - 1st ed. 2016. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 806 p. 32 illus, online resource), ISBN 978-3-662-49498-1 (Lecture Notes in Computer Science ; 9632) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9632) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-662-49498-1 Themen: Formale Methode \| Nebenläufigkeit \| Programmanalyse \| Programmiersprache \| Programmverifikation \| Typsystem Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
19.	Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi. - Cham: Springer, 2016. - Online-Ressource (XVII, 465 p. 100 illus, online resource), ISBN 978-3-319-47958-3 (Lecture Notes in Computer Science ; 10017) (SpringerLink : Bücher) (Programming and Software Engineering ; 10017) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-47958-3 Themen: Formale Methode \| Programmanalyse \| Programmierlogik \| Programmiersprache \| Programmverifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben
20.	NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. - Cham: Springer, 2016. - Online-Ressource (XIX, 396 p. 129 illus, online resource), ISBN 978-3-319-40648-0 (Lecture Notes in Computer Science ; 9690) (Programming and Software Engineering ; 9690) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-40648-0 Themen: Automatisches Beweisverfahren \| Formale Methode \| Softwareentwicklung \| Systementwicklung \| Testen \| Verifikation Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben

[1-20] [21-40] [41-57]

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

Impressum / Datenschutz Design