Ergebnisse der Suche nach 'rcn:(DE-627)546500234' › Campusbibliothek für Informatik und Mathematik

Ergebnisse
	1.	Semantic integration of heterogeneous formal specifications via transformation systems Martin Große-Rhode. Technische Universität Berlin, Fachbereich 13, Informatik. [Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. von Große-Rhode, Martin [aut] Reihen: ; 200113 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200113 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-13. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Proceedings / 5. Workshop "Föderierte Datenbanken" und GI-Arbeitstreffen "Konzepte des Data Warehousing" Berlin, 11./12. Oktober 2001. Andreas Bauer ... (Hrsg.). [Technische Universität Berlin, Fachbereich 13, Informatik. Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin] von Workshop Föderierte Datenbanken 5 2001 Berlin [aut] Bauer, Andreas [Hrsg.] Gesellschaft für Informatik Arbeitskreis Konzepte des Data Warehousing [oth] Reihen: ; 200114 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200114 \| Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-14. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	A new distance measure for segmented images based on MPEG-7 descriptors S. Bischoff; F. Wysotzki von Bischoff, S [aut] Wysotzki, F [aut] Reihen: ; 200219 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200219 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-19. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	The context-based constraint language CCL for components Felix Bübl von Bübl, Felix [aut] Reihen: ; 200220 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200220 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-20. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Performance evaluation of data structures for admission control in bandwidth brokers L.-O. Burchard; H.-U. Heiss von Burchard, L.-O [aut] Heiss, H.-U [aut] Reihen: ; 200212 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200212 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-12. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Generative Entwicklung informationslogistischer Anwendungen Technische Universität Berlin, Fachbereich 13, Informatik. [Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. Susanne Busse ... von Busse, Susanne [oth] Reihen: ; 200115 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200115 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-15. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Graphs and maps: rewriting techniques at work [a graphical treatment of dyadic first order specifications] Andrea Formisano; Marta Simeoni. Technische Universität Berlin, Fachbereich 13, Informatik. [Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. von Formisano, Andrea [aut] Simeoni, Marta [aut] Reihen: ; 200101 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200101 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-1. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Beschreibung eines Übersetzer-Übersetzers zur lexikalischen Analyse von Bitmustern M. Menge. Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik. [Hrsg.: Die Professoren der Fakultät IV - Elektrotechnik und Informatik der Technischen Universität Berlin] von Menge, Matthias [aut] Reihen: ; 200117 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200117 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-17. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Automatische Testfallerzeugung für Reaktive Systeme state of the art Dirk Seifert von Seifert, Dirk [aut] Reihen: ; 200116 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200116 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-16. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	A generic component concept for integrated data type and process modeling techniques Hartmut Ehrig; Fernando Orejas von Ehrig, Hartmut [aut] Orejas, Fernando [aut] Reihen: ; 200112 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200112 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-12. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Softwareentwicklung mit Komponenten Ergebnisse des gleichnamigen Seminars durchgeführt im Wintersemester 2000/2001 Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik. [Hrsg.: Die Professoren der Fakultät IV - Elektrotechnik und Informatik der Technischen Universität Berlin]. Margot Bittner und Wilfried Koch (Hrsg.) von Bittner, Margot [Hrsg.] Reihen: ; 200111 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200111 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-11. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	A formal semantics of UML class diagrams into diagrams based on transformation systems Jennifer Tenzer. Technische Universität Berlin, Fachbereich 13, Informatik. [Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. von Tenzer, Jennifer [aut] Reihen: ; 200109 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200109 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-9. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Rule-based refinement for place/transition systems preserving liveness-properties Maike Gajewsky, Julia Padberg, and Milan Urbášek von Gajewsky, Maike [aut] Padberg, Julia [aut] Urbášek, Milan [aut] Reihen: ; 200108 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200108 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-8. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Semantische Konsistenzanalyse von UML-Sequenz- und Zustandsdiagrammen Mesut Özhan. [Technische Universität Berlin, Fachbereich 13, Informatik. Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. von Özhan, Mesut [aut] Reihen: ; 200107 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200107 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-7. Vormerken Zum Korb hinzufügen (Entfernen)
	15.	On formal semantics of object systems with data and object attributes Daniel Parnitzke. [Technische Universität Berlin, Fachbereich 13, Informatik. Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin] von Parnitzke, Daniel [aut] Reihen: ; 200105 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200105 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-5. Vormerken Zum Korb hinzufügen (Entfernen)
	16.	Place/transition net modules transfer from specification modules Julia Padberg von Padberg, Julia [aut] Reihen: ; 200103 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200103 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-3. Vormerken Zum Korb hinzufügen (Entfernen)
	17.	Synthesis of recursive programs from finite examples by detection of macro-functions Fritz Wysotzki; Ute Schmid. [Technische Universität Berlin, Fachbereich 13, Informatik. Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin]. von Wysotzki, Fritz, 1937-2023 [aut] Schmid, Ute [aut] Reihen: ; 200102 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200102 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001 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) Berlin TU Nr.2001-2. Vormerken Zum Korb hinzufügen (Entfernen)
	18.	Transformation of open and algebraic high-level Petri net classes Ahmad Ramin Tavakoli Kolagari von Kolagari, Ahmad Ramin Tavakoli [aut] Reihen: ; 200224 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200224 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-24. Vormerken Zum Korb hinzufügen (Entfernen)
	19.	Visual OCL eine visuelle Notation der Object Constraint Language Christiane Kiesner; Gabriele Taentzer; Jessica Winkelmann von Kiesner, Christiane [aut] Taentzer, Gabriele [aut] Winkelmann, Jessica [aut] Reihen: ; 200223 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200223 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-23. Vormerken Zum Korb hinzufügen (Entfernen)
	20.	Transformation systems semantics and compositionality of algebraic Petri nets Liliana Grigoriu von Grigoriu, Liliana [aut] Reihen: ; 200221 \| Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 200221 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002 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) Berlin TU Nr.2002-21. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche

Verfügbarkeit

Verfasser

Sammlungen

Aktuelle Bibliotheken

Medientypen

Standorte

Reihen

Ihre Suche erzielte 36 Treffer.