UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Logic and algebra of specification : proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991

NATO ASI series : Series F, Computer and systems sciences : 94 (Alle Bände)

Bauer, Friedrich L[Herausgeber]

1993

Signatur: TAY910765

Principles and practice of constraint programming

Theoretical computer science : 173,1 (Alle Bände)

1997

Signatur: 64t1

Advances in logic programming theory

International schools for computer scientists, Oxford science publications

Levi, Giorgio[Herausgeber]

1994

Signatur: TVM3328

Logic programming : proceedings of the ... conference

1986-

Special issue on the 6th European Symposium on Programming : selected papers of the 6th European Symposium on Programming (ESOP'96) (22-24 April 1996, Linköping, Sweden)

Science of computer programming : 32,1,3 (Alle Bände)

1998

Signatur: 64s19

Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991

Logic programming

Saraswat, Vijay

1991

Signatur: TVM2843

Industrialisierung des Software-Managements : Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 12. - 14. November 2008 in Stuttgart

GI-Edition : Proceedings : 139 (Alle Bände)

Herzwurm, Georg[Herausgeber]

2008

Signatur: TTQ080213

Scientific computing : applications of mathematics and computing to the physical sciences

IMACS transactions on scientific computation : 10,1 (Alle Bände)

Stepleman, Robert S[Herausgeber]

1983

Signatur: WBC1757-10,1

Programm(e)

Medienwissenschaftliche Symposien der DFG

1. Aufl, 2014

Signatur: KLEC1279

Constraint programming and large scale discrete optimization : DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization September 14 - 17, 1998, DIMACS Center

DIMACS series in discrete mathematics and theoretical computer science : 57 (Alle Bände)

Freuder, Eugene C[Herausgeber]

2001

Signatur: TAY980427

Advances in software tools for scientific computing : with 32 tables

Lecture notes in computational science and engineering : 10 (Alle Bände)

Langtangen, Hans Petter[Herausgeber]

2000

Signatur: TAY980176

Artificial intelligence and heuristic programming : proceedings of NATO Advanced Study Institute, Menaggio, Italy, ... Aug. 1970

Findler, Nicholas V[Herausgeber]

1971

Signatur: TVH1575

Principles and practice of constraint programming : proceedings [Elektronische Ressource]

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

Benhamou, Frédéric[Herausgeber]

2006

Volltextzugriff (PDF)

Formal development of programs and proofs

The UT year of programming series

Dijkstra, Edsger W[Herausgeber]

1990

Signatur: TVH2131

Interactive decision analysis : proceedings of an Internat. Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence, held at the Internat. Inst. for Applied Systems Analysis (IIASA), Laxenburg, Austria, Sept. 20 - 23, 1983

Lecture notes in economics and mathematical systems : 229 (Alle Bände)

Grauer, Manfred[Herausgeber]

1984

Signatur: PZS3607

Recent results in stochastic programming : proceedings, Oberwolfach, January 28 - February 3, 1979

Lecture notes in economics and mathematical systems : 179 (Alle Bände)

Kall, Peter[Herausgeber]

1980

Signatur: TAY2823

Cognitive aspects of visual languages and visual interfaces

Human factors in information technology : 11 (Alle Bände)

Tauber, Michael J[Herausgeber]

1994

Signatur: TVV16487

Modern software tools for scientific computing

Arge, Erlend[Herausgeber]

1997

Signatur: TAY960223

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

Multi-objective programming and goal programming : theories and applications

Lecture notes in economics and mathematical systems : 432 (Alle Bände)

Tamiz, Mehrdad[Herausgeber]

1996

Signatur: TVM3700

Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Lecture Notes in Artificial Intelligence : 11481

2019

Volltextzugriff (PDF)

Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988

Lecture notes in mathematics : 1429 (Alle Bände), Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) : 1988,1 (Alle Bände)

1990

Signatur: TAY880740

Perspectives of system informatics : revised papers [Elektronische Ressource]

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

Broy, Manfred[Herausgeber]

2003

Volltextzugriff (PDF)

Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Lecture Notes in Artificial Intelligence : 11468

2019

Volltextzugriff (PDF)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Theoretical Computer Science and General Issues : 11494

2019

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKongressbericht

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(20)
Online-Ressource
(6)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(25)
Zeitschrift
(1)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(22)
Deutsch
(3)

Systemstelle

TAY
(6)
TVM
(3)
64
(2)
TTQ
(2)
TVH
(2)
KLEC
(1)
PZS
(1)
TVV
(1)
TWQ
(1)
TYD
(1)
WBC
(1)

6 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Logic and algebra of specification : proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991

Principles and practice of constraint programming

Advances in logic programming theory

Logic programming : proceedings of the ... conference

Special issue on the 6th European Symposium on Programming : selected papers of the 6th European Symposium on Programming (ESOP'96) (22-24 April 1996, Linköping, Sweden)

Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991

Industrialisierung des Software-Managements : Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 12. - 14. November 2008 in Stuttgart

Scientific computing : applications of mathematics and computing to the physical sciences

Programm(e)

Constraint programming and large scale discrete optimization : DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization September 14 - 17, 1998, DIMACS Center

Advances in software tools for scientific computing : with 32 tables

Artificial intelligence and heuristic programming : proceedings of NATO Advanced Study Institute, Menaggio, Italy, ... Aug. 1970

Principles and practice of constraint programming : proceedings [Elektronische Ressource]

Formal development of programs and proofs

Interactive decision analysis : proceedings of an Internat. Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence, held at the Internat. Inst. for Applied Systems Analysis (IIASA), Laxenburg, Austria, Sept. 20 - 23, 1983

Recent results in stochastic programming : proceedings, Oberwolfach, January 28 - February 3, 1979

Cognitive aspects of visual languages and visual interfaces

Modern software tools for scientific computing

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

Multi-objective programming and goal programming : theories and applications

Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988

Perspectives of system informatics : revised papers [Elektronische Ressource]

Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Aktive Filter

Suchergebnisse filtern