Ihre Suche erzielte 5 Treffer.

Ergebnisse
	1.	Tools and algorithms for the construction and analysis of systems 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings Nicolas Halbwachs; Lenore D. Zuck (eds.) von Halbwachs, Nicolas [Hrsg.] Zuck, Lenore D [Hrsg.] TACAS 11 2005 Edinburgh [oth] ETAPS 8 2005 Edinburgh [oth] Reihen: ; 344000 \| Lecture notes in computer science ; 3440 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11408130 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext 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 3440. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings Mooly Sagiv (ed.) von Sagiv, Mooly [Hrsg.] ESOP 14 2005 Edinburgh [oth] ETAPS 8 2005 Edinburgh [oth] Reihen: ; 344400 \| Lecture notes in computer science ; 3444 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11410553 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext Verlagsangaben Cover Zentralblatt MATH Inhaltstext Programming languages and systems 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 3444. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Foundations of software science and computation structures 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings Vladimiro Sassone (ed.) von Sassone, Vladimiro [Hrsg.] FOSSACS 8 2005 Edinburgh [oth] ETAPS 8 2005 Edinburgh [oth] Reihen: ; 344100 \| Lecture notes in computer science ; 3441 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11402060 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: 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 3441. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings Maura Cerioli (ed.) von Cerioli, Maura [Hrsg.] FASE 8 2005 Edinburgh [oth] ETAPS 8 2005 Edinburgh [oth] Reihen: ; 344200 \| Lecture notes in computer science ; 3442 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11405955 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltstext 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 3442. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Compiler construction 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings Rastislav Bodik (ed.) von Bodik, Rastislav [Hrsg.] CC 14 2005 Edinburgh [oth] ETAPS 8 2005 Edinburgh [oth] Reihen: ; 344300 \| Lecture notes in computer science ; 3443 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Verlagsangaben Cover 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 3443. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha