UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 71

Sortiert nach

Graphensprachen und Algorithmen auf Graphen : 1. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 2. - 4. Juli 1975, Berlin ; 3. Workshop und Treffen des German Chapter of the ACM über Graphen-Sprachen und Algorithmen auf Graphen

Applied computer science : 1 (Alle Bände), ... Workshop und Treffen des German Chapter of the ACM : 1975,3 (Alle Bände)

Pape, Uwe[Herausgeber]

1976

Signatur: TYD1064

Computer science : a very short introduction

Very short introductions : 466 (Alle Bände)

Dasgupta, Subrata

First edition, 2016

Signatur: TUA3748

Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday [Elektronische Ressource]

Lecture notes in computer science : 2772 (Alle Bände)

2003

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Perspectives of system informatics : revised papers [Elektronische Ressource]

Lecture notes in computer science : 2890 (Alle Bände)

Broy, Manfred[Herausgeber]

2003

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Foundations of software science and computation structures : 9th international conference ; proceedings [Elektronische Ressource]

Lecture notes in computer science : 3921 (Alle Bände)

Aceto, Luca[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings [Elektronische Ressource]

2005

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)

SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings [Elektronische Ressource]

2005

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings [Elektronische Ressource]

2006

Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn [Elektronische Ressource]

2006

Einführung in die Informatik für Ingenieure : Algorithmen und Programme ; mit 10 Tabellen

Reihe Datenverarbeitung

Waldschmidt, Helmut

1980

Signatur: TUA2035

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March [Elektronische Ressource]

Amadio, Roberto

2008

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [Elektronische Ressource]

2008

Metainformatics : International Symposium, MIS 2002, Esbjerg, Denmark, August 7–10, 2002. Revised Papers [Elektronische Ressource]

Nürnberg, Peter J

2003

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

Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]

Tiuryn, Jerzy

2000

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

Clean Craftsmanship : Best Practices, Standards und Ethik für die Softwareentwicklung

mitp Professional

Martin, Robert C

2022, 2022

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

2011

Kompaktkurs C# 7

Mössenböck, Hanspeter

2018

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers [Elektronische Ressource]

2011

Git Schnelleinstieg : Versionsverwaltung lernen in 14 Tagen.Einfach und ohne Vorkenntnisse

mitp Schnelleinstieg

Vijayakumaran, Sujeevan

2022, 2022

ABAP-Programmierung unter SAP HANA

espresso tutorials

Deppe, Rüdiger

2017

Link zum Volltext
Volltext
Lizenzpflichtig

LEGO®-Boost-Roboter : Bau und programmiere deine eigenen Bots

2017

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 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 [Elektronische Ressource]

Walukiewicz, Igor

2004

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings [Elektronische Ressource]

2007

1 – 25 von 71

Suche als RSS-Feed

Aktive Filter

SchlagwortProgrammierung

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(62)
Gedruckt
(9)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(71)

Schlagwort

Theoretische Informatik
(44)
Computer science
(38)
Logic design
(32)
Software engineering
(30)
Informatik
(24)
Software Engineering
(14)
Softwareentwicklung
(14)
Computer software
(11)
Programmiersprache
(9)
Artificial intelligence
(7)
Computational complexity
(7)
Online-Ressource
(7)
Künstliche Intelligenz
(6)
Systementwicklung
(6)
Computer Communication Networks
(5)
Information systems
(5)
Programmverifikation
(5)
Information storage and retrieval systems
(4)
Information theory
(4)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(35)
Deutsch
(21)

Systemstelle

TUA
(2)
TTL
(1)
TTQB
(1)
TTU
(1)
TVU
(1)
TWP
(1)
TWT
(1)
TYD
(1)

3 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Graphensprachen und Algorithmen auf Graphen : 1. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 2. - 4. Juli 1975, Berlin ; 3. Workshop und Treffen des German Chapter of the ACM über Graphen-Sprachen und Algorithmen auf Graphen

Computer science : a very short introduction

Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday [Elektronische Ressource]

Perspectives of system informatics : revised papers [Elektronische Ressource]

Foundations of software science and computation structures : 9th international conference ; proceedings [Elektronische Ressource]

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings [Elektronische Ressource]

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]

SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings [Elektronische Ressource]

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings [Elektronische Ressource]

Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn [Elektronische Ressource]

Einführung in die Informatik für Ingenieure : Algorithmen und Programme ; mit 10 Tabellen

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March [Elektronische Ressource]

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [Elektronische Ressource]

Metainformatics : International Symposium, MIS 2002, Esbjerg, Denmark, August 7–10, 2002. Revised Papers [Elektronische Ressource]

Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]

Clean Craftsmanship : Best Practices, Standards und Ethik für die Softwareentwicklung

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

Kompaktkurs C# 7

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers [Elektronische Ressource]

Git Schnelleinstieg : Versionsverwaltung lernen in 14 Tagen.Einfach und ohne Vorkenntnisse

ABAP-Programmierung unter SAP HANA

LEGO®-Boost-Roboter : Bau und programmiere deine eigenen Bots

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 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 [Elektronische Ressource]

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern