Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- constraint logic programming 102 Treffer
- logic program 94 Treffer
- logic programming 87 Treffer
- constraint solver 33 Treffer
- operational semantic 33 Treffer
-
45 weitere Werte:
- constraint satisfaction problem 25 Treffer
- clp 19 Treffer
- constraint system 19 Treffer
- predicate symbol 19 Treffer
- constraint programming 17 Treffer
- mathematical programming 17 Treffer
- finite domain 16 Treffer
- optimization 15 Treffer
- cleft palate 14 Treffer
- model check 13 Treffer
- constraint logic program 11 Treffer
- symbolic execution 11 Treffer
- abstract interpretation 9 Treffer
- constraint logic 9 Treffer
- integrity constraint 9 Treffer
- schedule problem 8 Treffer
- horn clause 7 Treffer
- abstract domain 6 Treffer
- atomic formula 6 Treffer
- constraint program 6 Treffer
- constraint propagation 6 Treffer
- constraint satisfaction 6 Treffer
- decision support 6 Treffer
- function symbol 6 Treffer
- safety property 6 Treffer
- binary constraint 5 Treffer
- choice point 5 Treffer
- cleft lip and palate 5 Treffer
- constraint network 5 Treffer
- contributed papers 5 Treffer
- coverage criterion 5 Treffer
- genetic algorithm 5 Treffer
- hard palate 5 Treffer
- hybrid methods 5 Treffer
- linear constraint 5 Treffer
- partial evaluation 5 Treffer
- program point 5 Treffer
- scheduling 5 Treffer
- transformation rule 5 Treffer
- transition rule 5 Treffer
- convex hull 4 Treffer
- decision support systems 4 Treffer
- derivation tree 4 Treffer
- global constraint 4 Treffer
- hybrid automaton 4 Treffer
Verlag
- springer berlin heidelberg 402 Treffer
- springer international publishing 122 Treffer
- springer us 25 Treffer
- springer netherlands 23 Treffer
- springer singapore 14 Treffer
-
16 weitere Werte:
- springer fachmedien wiesbaden 11 Treffer
- springer london 10 Treffer
- springer nature switzerland 9 Treffer
- springer nature singapore 8 Treffer
- springer new york 5 Treffer
- birkhauser boston 4 Treffer
- palgrave macmillan uk 4 Treffer
- springer vienna 4 Treffer
- humana press 3 Treffer
- j.f. bergmann-verlag 2 Treffer
- physica-verlag hd 2 Treffer
- apress 1 Treffer
- birkhauser basel 1 Treffer
- springer japan 1 Treffer
- vieweg+teubner 1 Treffer
- vieweg+teubner verlag 1 Treffer
Publikation
- operations research proceedings 1998 : selected papers of the international conference on operations research zurich, august 31 - september 3, 1998 56 Treffer
- principles and practice of constraint programming - cp '95 : first international conference, cp '95 cassis, france, september 19-22, 1995 proceedings 9 Treffer
- analysis and visualization tools for constraint programming : constraint debugging 6 Treffer
- constraint programming: basics and trends : 1994 chatillon spring school chatillon-sur-seine, france, may 16-20, 1994 selected papers 6 Treffer
- logic programming : 18th international conference, iclp 2002 copenhagen, denmark, july 29 - august 1, 2002 proceedings 6 Treffer
-
45 weitere Werte:
- logic programming : 21st international conference, iclp 2005, sitges, spain, october 2-5, 2005. proceedings 6 Treffer
- principles and practice of constraint programming - cp96 : second international conference, cp96 cambridge, ma, usa, august 19-22, 1996 proceedings 6 Treffer
- principles and practice of constraint programming - cp98 : 4th international conference, cp98 pisa, italy, october 26-30, 1998 proceedings 6 Treffer
- programming language implementation and logic programming : 6th international symposium, plilp '94 madrid, spain, september 14-16, 1994 proceedings 6 Treffer
- regulatory toxicology 6 Treffer
- global cleft care in low-resource settings 5 Treffer
- logic programming : 20th international conference, iclp 2004, saint-malo, france, september 6-10, 2004. proceedings 5 Treffer
- logic-based 0-1 constraint programming 5 Treffer
- essentials of constraint programming 4 Treffer
- liquid legal : towards a common legal platform 4 Treffer
- principles and practice of constraint programming - cp 2003 : 9th international conference, cp 2003, kinsale, ireland, september 29 - october 3, 2003. proceedings 4 Treffer
- principles and practice of constraint programming : second international workshop, ppcp '94 rosario, orcas island, wa, usa, may 2-4, 1994 proceedings 4 Treffer
- algebraic and logic programming : third international conference volterra, italy, september 2-4, 1992 proceedings 3 Treffer
- cleft lip and palate : diagnosis and management 3 Treffer
- computational logic - cl 2000 : first international conference london, uk, july 24-28, 2000 proceedings 3 Treffer
- constraints in computational logics : first international conference, ccl '94 munich, germany, september 7-9, 1994 proceedings 3 Treffer
- functional and logic programming : 11th international symposium, flops 2012, kobe, japan, may 23-25, 2012. proceedings 3 Treffer
- logic programming : 25th international conference, iclp 2009, pasadena, ca, usa, july 14-17, 2009. proceedings 3 Treffer
- logic programming and automated reasoning : 5th international conference, lpar '94 kiev, ukraine, july 16-22, 1994 proceedings 3 Treffer
- new trends in constraints : joint ercim/compulog networkshop paphos, cyprus, october 25-27, 1999 selected papers 3 Treffer
- prenatal diagnosis of orofacial malformations 3 Treffer
- principles and practice of constraint programming - cp 2001 : 7th international conference, cp 2001 paphos, cyprus, november 26 - december 1, 2001 proceedings 3 Treffer
- programming language implementation and logic programming : 4th international symposium, plilp'92 leuven, belgium, august 26-28, 1992 proceedings 3 Treffer
- programming language implementation and logic programming : international workshop plilp '90 linkoping, sweden, august 20-22, 1990 proceedings 3 Treffer
- programming languages and systems - esop '94 : 5th european symposium on programming edinburg, u.k., april 11-13, 1994 proceedings 3 Treffer
- surgical atlas of cleft palate and palatal fistulae 3 Treffer
- algebraic and logic programming : 5th international conference, alp'96 aachen, germany, september 25-27, 1996 proceedings 2 Treffer
- chirurgisches forum 2001 fur experimentelle und klinische forschung : 118. kongress der deutschen gesellschaft fur chirurgie munchen, 01.05.-05.05.2001 2 Treffer
- chirurgisches forum 2004 : fur experimentelle und klinische forschung 121. kongress der deutschen gesellschaft fur chirurgie berlin, 27.04.-30.04.2004 2 Treffer
- chirurgisches forum 2005 : fur experimentelle und klinische forschung 122. kongress der deutschen gesellschaft fur chirurgie berlin, 05.04.-08.04.2005 2 Treffer
- constraint programming 2 Treffer
- constraints in computational logics : theory and applications international summer school, ccl '99 gif-sur-yvette, france, september 5-8, 1999 revised lectures 2 Treffer
- digitale revolution in der chirurgie : 119. kongress der deutschen gesellschaft fur chirurgie, 7.-10. mai 2002, berlin 2 Treffer
- encyclopedic reference of genomics and proteomics in molecular medicine 2 Treffer
- first and mid trimester ultrasound diagnosis of orofacial clefts : an atlas and guide 2 Treffer
- formal methods and software engineering : 6th international conference on formal engineering methods, icfem 2004, seattle, wa, usa, november 8-12, 2004. proceedings 2 Treffer
- foundations of intelligent systems : 14th international symposium, ismis 2003, maebashi city, japan, october 28-31, 2003. proceedings 2 Treffer
- foundations of software technology and theoretical computer science : 15th conference bangalore, india, december 18-20, 1995 proceedings 2 Treffer
- frontiers of combining systems : first international workshop, munich, march 1996 2 Treffer
- functional and logic programming : 9th international symposium, flops 2008, ise, japan, april 14-16, 2008. proceedings 2 Treffer
- gefahrstoffe : das praxishandbuch fur das umgangs- und umweltrecht 2 Treffer
- handbuch betriebliches gefahrstoffmanagement 2 Treffer
- intelligent systems : concepts and applications 2 Treffer
- lattice theory: special topics and applications : volume 1 2 Treffer
- linear and nonlinear programming 2 Treffer
Sprache
653 Treffer
-
2022Online E-BookZugriff:
-
In: Nano Risiko Governance : Der gesellschaftliche Umgang mit Nanotechnologien; (2014) S. 243-256Online E-BookZugriff:
-
In: Transforming Management with AI, Big-Data, and IoT; (2022) S. 233-246Online E-BookZugriff:
-
2002Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2002Online E-BookZugriff:
-
In: Handbook of Positive Youth Development : Advancing Research, Policy, and Practice in Global Contexts; (2021) S. 431-446Online E-BookZugriff:
-
In: Regulatory Toxicology; (2021) S. 1041-1059Online E-BookZugriff:
-
In: Regulatory Toxicology; (2021) S. 943-951Online E-BookZugriff:
-
In: Contact Dermatitis; (2021) S. 1199-1207Online E-BookZugriff:
-
In: Global Cleft Care in Low-Resource Settings; (2021) S. 405-418Online E-BookZugriff:
-
In: Global Cleft Care in Low-Resource Settings; (2021) S. 45-56Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
In: Regulatory Toxicology; (2021) S. 873-881Online E-BookZugriff:
-
In: The Politics and Perils of Space Exploration : Who Will Compete, Who Will Dominate?; (2021) S. 1-24Online E-BookZugriff: