JuLib | Books & more

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

DCA - Informatics - theoretical

Reset Filters

Show filters (1)

DCA - Informatics - theoretical

Ask a Librarian

Books & more: Hits 201 - 220 of 274

sort by

Select all titles on this page

Select result number 201

201

Book

Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr /

Gruner, Stefan.
1998

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 202

202

Book

High-level parallel programming and the efficient implementation of numerical algorithms /

Botorog, George Horatiu.
1998

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 203

203

Book

A discrete strategy improvement algorithm for solving parity games /

Vöge, Jens.
2000

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 204

204

Book

Jahresbericht der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen. 1999 /

Buol, Bettina von
2000

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 205

205

Book

Theoretical computer science. 3, 3 : GI conference : GI Fachtagung Theoretische Informatik : Darmstadt, 28.03.77-30.03.77.

Tzschach, H.
1977

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 206

206

Book

Complexity of computation : Applied mathematics : proceedings of a symposium : New-York, NY, 18.04.1973-19.04.1973.

Karp, R. M.
1974

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 207

207

Book

Automatische Komplexitätsanalyse funktionaler Programme.

Zimmermann, W.
1990

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 208

208

Book

Grundlagen der technischen Informatik /

Steinbuch, K.
1974

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 209

209

Book

Einführung in Teilgebiete der Informatik. 2.

Dirlewanger, W.
1974

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 210

210

Book

Metzler Informatik : Lehrerband.

Moll, G.
1984

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 211

211

Book

Software Bewertung: ein semantischer Ansatz für Informationsmasse.

Baumann, P.
1992

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 212

212

Book

Generating data flow analysis algorithms from modal specifications.

Steffen, B.
1991

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 213

213

Book

Priority as extremal probability.

Smolka, S. A.
1992

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 214

214

Book

Model checking for context free processes.

Burkart, O.
1992

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 215

215

Book

Top down parsing with simultaneous evaluation of noncircular attribute grammars.

Noll, T.
1992

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 216

216

Book

Comparison of hybrid minimum laxity: first in first out scheduling policies for realtime multiprocessors.

Nain, P.
1990

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 217

217

Book

Designing software with Modula-3.

Klein, Peter.
1994

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 218

218

Book

Codes, simplifying words, and open set condition.

Staiger, Ludwig.
1994

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 219

219

Book

A universal component for the administration in distributed and integrated development environments.

Nagl, Manfred.
1994

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select result number 220

220

Book

Jahresbericht der Fachgruppe Informatik in der Mathematisch Naturwissenschaftlichen Fakultät der RWTH Aachen 1993.

Generet, Margit
1994

Call number: Loading...
Located: Loading...

Literature Request

Loan/Reservation

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
4
5
6
7
8
9
10
11
12
13
14
Next
[14]

Narrow Search Results

Print Edition 268 Electronic Edition 6

Book 274

Handbook, Textbook 41 Theses 37 Conference Publication 27 Report 5 Regulation, Standard 1

From:

To:

ZB 161 JSC 108 IAS-9 1 IBG-1 1 IEK-4 1 IKP 1 more ... INM-6 1 ITS 1 JCNS-4 1 PGI-8 1 S 1 TB 1 ZEA-2 1 see all ... less ...

Jarke, Matthias. 11 Steffen, B. 9 Schürr, Andy. 8 Bauer, F. L. 6 Jarke, Matthias 5 Jeusfeld, Manfred A. 5 more ... Cormen, Thomas H. 4 Gallersdörfer, Rainer. 3 Gruner, Stefan. 3 Nicola, Matthias. 3 Ottmann, Thomas. 3 Otto, F. 3 Peters, Peter. 3 Sedgewick, Robert. 3 Westfechtel, Bernhard. 3 Widmayer, Peter. 3 Winter, Andreas J. 3 Baeten, Josephus Cornelius Maria 2 Balzert, Helmut. 2 Broy, Manfred. 2 Chen, Patrick S. 2 De la Haye, J. P. 2 Droste, Manfred 2 Espelid, T. O. 2 Gnatz, Rupert. 2 Goldschlager, Les. 2 Goos, G. 2 Hager, Rolf. 2 Hans, W. 2 Hans, Werner. 2 see all ... less ...

informatics 113 computer algorithm 22 data structure 22 algorithm theory 21 sorting 16 parallel computing 15 more ... logics 10 distributed system 9 parallel algorithm 9 searching 9 semantics 9 artificial intelligence 7 computer science 7 information system 7 information theory 7 logic programming 7 automata theory 6 functional programming 6 graph 6 parallel processing 6 Petri net 5 Turing machine 5 computability 5 data processing 5 dynamic programming 5 formal language 5 search theory 5 software engineering 5 computational geometry 4 data compression 4 see all ... less ...

DCA - Informatics - theoretical DMA - Programming 8 MDE - Decidability, calculability, enumerability 7 DPA - Electronic data processing - applications 6 MDA - Foundations of mathematics 5 MDF - Formal languages, coding theory 5 more ... MNLS - Computational methods - algorithms, software 5 MWD - Applied graph theory, network analysis 5 DWA - Database systems 4 DAA - Information technology - reference books 3 DEA - Formal languages, machine oriented, assembler 3 DGA - Computer types, plants and organization 3 DMF - Software engineering 3 MDB - Logics 3 TCB - Communication and information - theory 3 AHH - Universities - research 2 DAE - Information technology - general 2 DHA - Computer equipment and periphery 2 DIAC - Compiler, interpreter 2 DMC - Computer programs 2 DNC - Internet 2 DWI - Information management 2 DWID - Multimedia, hypertext 2 DYA - Artificial intelligence 2 LAN - Biology - mathematical methods, statistics 2 MDG - Automata theory 2 MWA - Probability theory - general 2 AEA - Corporations - official - university - etc 1 AHM - Theory of science 1 DGC - Parallel and vector computers 1 see all ... less ...

English 22 German 14

Forschungszentrum Jülich
Central Library (ZB)