Ihre Suche erzielte 14 Treffer.

Ergebnisse
	1.	Tree automata and languages [Workshop on Tree Languages and Tree Automata ... by the ESPRIT-BRA Working Group ASMICS (Algebraic and Synthetic Methods in Computer Science) ... in Le Touquet, Northern France, in June 1990] ed. by Maurice Nivat; Andreas Podelski von Nivat, Maurice [Hrsg.] Podelski, Andreas [oth] Reihen: ; 10 \| Studies in computer science and artificial intelligence ; 10 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1992 Online-Ressourcen: Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NIV m 1992:1 3.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Constraint programming basics and trends; selected papers 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994. Andreas Podelski (ed.) von Podelski, Andreas [Hrsg.] Spring School on Theoretical Computer Science 22 1994 Châtillon-sur-Seine [oth] Reihen: ; 91000 \| Lecture notes in computer science ; 910 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 910. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Model checking infinite-state systems in CLP Giorgio Delzanno; Andreas Podelski von Delzanno, Giorgio [aut] Podelski, Andreas [aut] Reihen: ; 98,2,12 \| Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 98,2,12 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1998 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-98-2-012. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Kurt Jensen ... (eds.) von Jensen, Kurt, 1950- [Hrsg.] Podelski, Andreas [oth] TACAS 10 2004 Barcelona [oth] ETAPS 7 2004 Barcelona [oth] Reihen: ; 298800 \| Lecture notes in computer science ; 2988 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description Online Access Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2988. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; proceedings Byron Cook; Andreas Podelski (eds.) von Cook, Byron [Hrsg.] Podelski, Andreas [oth] VMCAI 8 2007 Nizza [oth] Reihen: ; 434900 \| Lecture notes in computer science ; 4349 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11973966 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4349. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Summaries for while programs with recursion Andreas Podelski; Ina Schaefer; Silke Wagner von Podelski, Andreas [aut] Schaefer, Ina, 1977- [aut] Wagner, Silke [aut] Reihen: ; 2004,2,7 \| Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 2004,2,7 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 2005 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-2004-2-007. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Software model checking of liveness properties via transition invariants Andreas Podelski; Andrey Rybalchenko von Podelski, Andreas [aut] Rybalchenko, Andrey [aut] Reihen: ; 2003,2,4 \| Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 2003,2,4 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 2003 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-2003-2-004. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	A method and a tool for automatic verification of region stability for hybrid systems Andreas Podelski; Silke Wagner von Podelski, Andreas [aut] Wagner, Silke [aut] Reihen: ; 2007,2,1 \| Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 2007,2,1 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 2007 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-2007-2-001. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Solving set constraints for greatest models Withold charatonik; Andreas Podelski von Charatonik, Withold [aut] Podelski, Andreas [aut] Reihen: ; 97,2,04 \| Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,04 \| Materialtyp: Text; Format: Druck Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1997 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-97-2-004. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Equational and membership constraints for infinite trees Joachim Niehren; Andreas Podelski; Ralf Treinen von Niehren, Joachim [aut] Podelski, Andreas [aut] Treinen, Ralf [aut] Reihen: ; 93,14 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 93,14 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1993 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-93-14. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	A feature-based constraint system for logic programming with entailment Hassan Ai͏̈t-Kaci; Andreas Podelski; Gert Smolka von Aït-Kaci, Hassan, 1954- [aut] Podelski, Andreas [oth] Smolka, Gert, 1955- [oth] Reihen: ; 92,17 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199217 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern DFKI 1992 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-92-17. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings Andreas Podelski (ed.) von SAS 25. 2018 Freiburg im Breisgau [VerfasserIn] Podelski, Andreas [HerausgeberIn] Reihen: ; 1100200 \| Lecture notes in computer science ; 11002 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2018]Copyright-Datum: © 2018 Online-Ressourcen: Cover Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 11002. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Networked systems 6th international conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers Andreas Podelski, François Taïani (eds.) von NETYS 6. 2018 Essaouira [VerfasserIn] Podelski, Andreas [HerausgeberIn] Tai͏̈ani, François [HerausgeberIn] Reihen: ; 11028 \| Lecture notes in computer science ; 11028 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2019] Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 11028. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Towards a meaning of LIFE Hassan Ai͏̈t-Kaci; Andreas Podelski von Ai͏̈t-Kaci, Hassan [aut] Podelski, Andreas [aut] Reihen: ; 1100 \| Digital Equipment Corporation PRL research reports ; 11 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Paris 1991 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AIT h 1991:2 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha