UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 344

Sortiert nach

Erzeugung interaktiver Bildverarbeitungssysteme im Dialog : Konzepte, Entwurf und Implementierung eines Dialogsystems für die Bildverarbeitung in der Medizin [electronic resource]

Pfeiffer, G

1st ed. 1982, 1982

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum [electronic resource]

Sobiech, Fabian

1st ed. 2016, 2016

Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen [electronic resource]

Willmer, Heidemarie

1st ed. 1985, 1985

Exceptionbehandlung und Synchronisation : Entwurf und Methode [electronic resource]

Maier, Georg E

1st ed. 1985, 1985

Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung [electronic resource]

Studer, Rudi

1st ed. 1987, 1987

Erweiterung relationaler Datenbanksysteme für technische Anwendungen [electronic resource]

Meier, Andreas

1st ed. 1987, 1987

Datenbanksysteme in Büro, Technik und Wissenschaft : GI-Fachtagung Darmstadt, 1.–3. April 1987 Proceedings [electronic resource]

1st ed. 1987, 1987

Datenbanksysteme für Software-Produktionsumgebungen [electronic resource]

Gotthard, Willi

1st ed. 1988, 1988

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen [electronic resource]

1st ed. 1989, 1989

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen [electronic resource]

Drosten, Klaus

1st ed. 1989, 1989

Interaktion und Kommunikation mit dem Computer : Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV). Ulm, 8.-10. März 1989 Proceedings [electronic resource]

1st ed. 1990, 1990

Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen [electronic resource]

Herrmann, Ulrich

1st ed. 1991, 1991

Software-Bewertung : Ein semantischer Ansatz für Infomationsmaße [electronic resource]

Baumann, Peter

1st ed. 1992, 1992

Generative and Component-Based Software Engineering : Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings [electronic resource]

1st ed. 2001, 2001

Computer and Information Sciences - ISCIS 2005 : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings [Elektronische Ressource]

2005

SOFSEM’99: Theory and Practice of Informatics : 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Software-Bewertung : Ein semantischer Ansatz für Infomationsmaße

Informatik-Fachberichte : 299

Baumann, Peter

1st ed. 1992, 1992

Link zum Volltext
Springer Technik, Informatik 1992 (ZDB-2-STI)

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Ressource]

2015

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings [Elektronische Ressource]

Saraswat, Vijay A

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6213

2010

Das V-Modell® XT anpassen : Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure [Elektronische Ressource]

Informatik im Fokus

2011

Link zum Volltext
Springer Technik, Informatik 2011 (ZDB-2-STI)

Änderbarkeit durch Objektorientierung

Programm Angewandte Informatik

Wiegert, Oliver

1st ed. 1995, 1995

Link zum Volltext
Springer Technik, Informatik 1995 (ZDB-2-STI)

Grundkurs Algorithmen und Datenstrukturen in JAVA : Eine Einführung in die praktische Informatik

3rd ed. 2002, 2002

Link zum Volltext
Springer Technik, Informatik 2002 (ZDB-2-STI)

Programming Languages and Operational Semantics : A Concise Overview [Elektronische Ressource]

Undergraduate Topics in Computer Science

Fernández, Maribel

2014

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2014 (ZDB-2-SCS)

Protocol Engineering : Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen

XLeitfäden der Informatik

König, Hartmut

1st ed. 2003, 2003

Link zum Volltext
Springer Technik, Informatik 2003 (ZDB-2-STI)

1 – 25 von 344

Suche als RSS-Feed

Aktive Filter

Autor / AutorinMattern, Friedemann

Art des MediumsSonstiges

Neu hinzugefügt... in den letzten 3 Monaten

Neu hinzugefügt... in den letzten 12 Monaten

SchlagwortEngineering mathematics

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(344)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(344)

Schlagwort

Computer science
(144)
Theoretische Informatik
(69)
Software Engineering
(68)
Logic design
(52)
Computer Communication Networks
(50)
Artificial intelligence
(47)
Programming languages (Electronic computers)
(45)
Software Engineering/Programming and Operating Systems
(45)
Informatik
(38)
Information theory
(38)
Database management
(32)
Data structures (Computer science)
(31)
Programmierung
(31)
Computer programming
(28)
Computers
(28)
Computer communication systems
(27)
Computational complexity
(24)
Computer software
(23)
Application software
(21)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... im letzten Monat
(0)

Sprache

Deutsch
(206)
Englisch
(83)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Erzeugung interaktiver Bildverarbeitungssysteme im Dialog : Konzepte, Entwurf und Implementierung eines Dialogsystems für die Bildverarbeitung in der Medizin [electronic resource]

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum [electronic resource]

Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen [electronic resource]

Exceptionbehandlung und Synchronisation : Entwurf und Methode [electronic resource]

Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung [electronic resource]

Erweiterung relationaler Datenbanksysteme für technische Anwendungen [electronic resource]

Datenbanksysteme in Büro, Technik und Wissenschaft : GI-Fachtagung Darmstadt, 1.–3. April 1987 Proceedings [electronic resource]

Datenbanksysteme für Software-Produktionsumgebungen [electronic resource]

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen [electronic resource]

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen [electronic resource]

Interaktion und Kommunikation mit dem Computer : Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV). Ulm, 8.-10. März 1989 Proceedings [electronic resource]

Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen [electronic resource]

Software-Bewertung : Ein semantischer Ansatz für Infomationsmaße [electronic resource]

Generative and Component-Based Software Engineering : Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings [electronic resource]

Computer and Information Sciences - ISCIS 2005 : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings [Elektronische Ressource]

SOFSEM’99: Theory and Practice of Informatics : 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings [Elektronische Ressource]

Software-Bewertung : Ein semantischer Ansatz für Infomationsmaße

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Ressource]

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings [Elektronische Ressource]

Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings [Elektronische Ressource]

Das V-Modell® XT anpassen : Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure [Elektronische Ressource]

Änderbarkeit durch Objektorientierung

Grundkurs Algorithmen und Datenstrukturen in JAVA : Eine Einführung in die praktische Informatik

Programming Languages and Operational Semantics : A Concise Overview [Elektronische Ressource]

Protocol Engineering : Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen

Aktive Filter

Suchergebnisse filtern