UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Concepts, techniques, and models of computer programming

2004

Signatur: TXA4233

Paradigms of artificial intelligence programming : case studies in Common Lisp

Norvig, Peter

1992

Signatur: TXW1675

Software paradigms

Kaisler, Stephen Hendrick

2005

Signatur: TWQ11210

Multiparadigm Constraint Programming Languages [Elektronische Ressource]

Cognitive Technologies

Hofstedt, Petra

2011

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

Design concepts in programming languages

2008

Signatur: TXA4738

Programming languages : principles and paradigms

Undergraduate topics in computer science

2010

Signatur: TXA4631

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings [Elektronische Ressource]

Palsberg, Jens

2000

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

Principles and Practice of Declarative Programming : International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings [Elektronische Ressource]

Nadathur, Gopalan

1999

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

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings [Elektronische Ressource]

1999

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

Programming Languages: Principles and Paradigms [Elektronische Ressource]

Undergraduate Topics in Computer Science

2010

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

Programming Language Concepts

Undergraduate Topics in Computer Science

Sestoft, Peter

2nd ed. 2017, 2017

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

Interactive Computation : The New Paradigm [Elektronische Ressource]

2006

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

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers [Elektronische Ressource]

2005

The Correctness-by-Construction Approach to Programming [Elektronische Ressource]

2012

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

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [Elektronische Ressource]

Sands, David

2001

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

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings [Elektronische Ressource]

Ohori, Atsushi

2003

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

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings [Elektronische Ressource]

2001

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

Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik : Strategien für schwach gekoppelte, korrekte und stabile Software

Goll, Joachim

2018

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

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers [Elektronische Ressource]

Alpuente, María

2011

Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings [Elektronische Ressource]

Seidl, Helmut

2012

Multiparadigm Programming in Mozart : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers [Elektronische Ressource]

Van Roy, Peter

2005

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers [Elektronische Ressource]

Vidal, Germán

2012

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings [Elektronische Ressource]

Métayer, Daniel

2002

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

Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings [Elektronische Ressource]

Degano, Pierpaolo

2003

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

Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers [Elektronische Ressource]

2011

1 – 25 von 29

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(24)
Gedruckt
(5)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(29)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(24)
Deutsch
(1)

Systemstelle

TXA
(3)
TWQ
(1)
TXW
(1)

Art des Inhalts

Sonstiges
(29)

Menü

Weitere Dienste

Einstellungen

Concepts, techniques, and models of computer programming

Paradigms of artificial intelligence programming : case studies in Common Lisp

Software paradigms

Multiparadigm Constraint Programming Languages [Elektronische Ressource]

Design concepts in programming languages

Programming languages : principles and paradigms

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings [Elektronische Ressource]

Principles and Practice of Declarative Programming : International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings [Elektronische Ressource]

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings [Elektronische Ressource]

Programming Languages: Principles and Paradigms [Elektronische Ressource]

Programming Language Concepts

Interactive Computation : The New Paradigm [Elektronische Ressource]

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers [Elektronische Ressource]

The Correctness-by-Construction Approach to Programming [Elektronische Ressource]

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [Elektronische Ressource]

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings [Elektronische Ressource]

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings [Elektronische Ressource]

Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik : Strategien für schwach gekoppelte, korrekte und stabile Software

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers [Elektronische Ressource]

Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings [Elektronische Ressource]

Multiparadigm Programming in Mozart : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers [Elektronische Ressource]

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers [Elektronische Ressource]

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings [Elektronische Ressource]

Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings [Elektronische Ressource]

Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers [Elektronische Ressource]

Suchergebnisse filtern