UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 384

Sortiert nach

Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6072

2010

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

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

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings [Elektronische Ressource]

2002

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

Foundations of computer science

Principles of computer science series

1992

Signatur: TUA2679

Unconventional Computation : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings [Elektronische Ressource]

2007

Automaten, Sprachen und Maschinen für Anwender

Reihe Informatik : 38 (Alle Bände)

1983

Signatur: TVH1892

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings [Elektronische Ressource]

2003

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

STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings [Elektronische Ressource]

2002

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

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

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers [Elektronische Ressource]

2013

Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers [Elektronische Ressource]

2012

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers [Elektronische Ressource]

2005

Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings [Elektronische Ressource]

2007

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

2006

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

2007

Foundations of Software Technology and Theoretical Computer Science : 18th Conference, Chennai, India, December 17-19, 1998. Proceedings [Elektronische Ressource]

1998

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

Computing and Combinatorics : 5th Annual International Conference, COCOON’99 Tokyo, Japan, July 26–28, 1999 Proceedings [Elektronische Ressource]

1999

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

Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

I, Theoretische Informatik, I, Informatik

[Nachdr.], 2003

Signatur: TVA3124

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings [Elektronische Ressource]

2011

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

2008

Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings [Elektronische Ressource]

2003

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

Mathematische Grundlagen der Informatik

Informatik : 6 (Alle Bände)

Bachmann, Peter

1992

Signatur: TVA2209

Special issue on Mathematics of program construction

Science of computer programming : 43,2,3 (Alle Bände)

Backhouse, Roland[Herausgeber]

2002

Signatur: 64s19

1 – 25 von 384

Suche als RSS-Feed

Aktive Filter

Art des InhaltsHochschulschrift (Sonstige)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(285)
Gedruckt
(99)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(379)
Zeitschrift
(5)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(236)
Deutsch
(50)

Systemstelle

TVA
(40)
64
(14)
TTQ
(13)
TVH
(5)
TWT
(4)
TAY
(3)
TBR
(3)
KLET
(2)
TDC
(2)
TUA
(2)
TVD
(2)
TAWE
(1)
TAXL
(1)
TCK
(1)
TCL
(1)
TCO
(1)
TTQB
(1)
TTQD
(1)
TTQH
(1)
TTQS
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. 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]

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

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings [Elektronische Ressource]

Foundations of computer science

Unconventional Computation : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings [Elektronische Ressource]

Automaten, Sprachen und Maschinen für Anwender

Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [Elektronische Ressource]

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings [Elektronische Ressource]

STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings [Elektronische Ressource]

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]

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers [Elektronische Ressource]

Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers [Elektronische Ressource]

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers [Elektronische Ressource]

Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. 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]

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

Foundations of Software Technology and Theoretical Computer Science : 18th Conference, Chennai, India, December 17-19, 1998. Proceedings [Elektronische Ressource]

Computing and Combinatorics : 5th Annual International Conference, COCOON’99 Tokyo, Japan, July 26–28, 1999 Proceedings [Elektronische Ressource]

Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings [Elektronische Ressource]

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

Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings [Elektronische Ressource]

Mathematische Grundlagen der Informatik

Special issue on Mathematics of program construction

Aktive Filter

Suchergebnisse filtern