Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 141 - 160
von 485
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
program complexity
416
exact sciences and technology
406
sciences exactes et technologie
406
complexite programme
383
informatique
378
applied sciences
273
mehr ...
sciences appliquees
273
computer science; control theory; systems
264
informatique; automatique theorique; systemes
264
computer science
261
complejidad programa
256
mathematics
175
mathematiques
175
sciences and techniques of general use
145
sciences et techniques communes
145
applied mathematics
131
matematicas applicadas
130
mathematiques appliquees
130
informatica
123
software
123
computer sciences
122
logiciel
121
informatique theorique
120
theoretical computing
118
logical programming
95
programacion logica
95
programmation logique
95
programmation
69
programming
69
computer theory
68
weniger ...
Veröffentlicht in
lecture notes in computer science
141
the journal of systems and software
15
theoretical computer science
15
ieee transactions on software engineering
11
cl 2000 : computational logic (london, 24-28 july 2000)
7
csl 2000 : computer science logic (fischbachau, 21-26 august 2000)
7
mehr ...
information processing letters
7
automated deduction - cade-16 (trento, 7-10 july 1999)
6
communications of the acm
6
fossacs '99 : foundations of software science and computation structures (amsterdam, 22-28 march 1999)
6
information and computation (print)
6
lpar '99 : logic for programming and automated reasoning (tbilisi, 6-10 september 1999)
6
stacs 2000 (lille, 17-19 february 2000)
6
tlca '99 : typed lambda calculi and applications (l'aquila, 7-9 april 1999)
6
applied mathematics and computation
5
lpnmr '99 : logic programming and nonmonotonic reasoning (el paso tx, december 2-4 1999)
5
acm sigplan notices
4
advances in computing science - asian'99 (phuket,december 10-12 1999)
4
information and control
4
the harlan d. mills collection
4
ieee transactions on computers
3
journal of artificial intelligence and data mining
3
computer languages
2
discrete applied mathematics
2
dissertation abstracts international
2
dtic
2
international journal of computer mathematics
2
journal of computer science and technology
2
kybernetes
2
the international journal of advanced manufacturing technology
2
weniger ...
Verlag
springer
148
elsevier
35
elsevier science
24
association for computing machinery
10
institute of electrical and electronics engineers
10
elsevier bv
8
mehr ...
academic press
6
monterey, california. naval postgraduate school
6
acm
4
society for industrial and applied mathematics
4
trace: tennessee research and creative exchange
4
elsevier b.v.
3
ieee computer soc
3
ieee computer society
3
oxford university press
3
shahrood university of technology
3
academia
2
association for computing machinery (acm)
2
ccsd
2
elsevier science bv
2
ieee
2
ieee comput. soc, los alamitos, ca, usa
2
institute of electrical and electronics engineers (ieee)
2
international society for mini and microcomputers
2
kaunas university of technology
2
oxford university press (oup)
2
proquest information & learning
2
sage publications
2
science press
2
springer-verlag
2
weniger ...
Sprache
Geographischer Bezug
Treffer aus
Erscheinungsjahr
Filter