X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
abstract data types (4) 4
congresses (4) 4
abstrakter datentyp (3) 3
aged (3) 3
aged, 80 and over (3) 3
computer science (3) 3
computer science, theory & methods (3) 3
conformal radiotherapy (3) 3
formal methods (3) 3
humans (3) 3
male (3) 3
middle aged (3) 3
object-oriented methods (3) 3
oncology (3) 3
simula (3) 3
software engineering (3) 3
spezifikation (3) 3
system design (3) 3
algebraische spezifikation (2) 2
carcinoma (2) 2
computer programming (2) 2
congrès (2) 2
data structures (2) 2
kongress (2) 2
programmation (2) 2
programmatuurtechniek (2) 2
programmierung (2) 2
programming (2) 2
programming languages, compilers, interpreters (2) 2
prostate-specific antigen - blood (2) 2
prostatic neoplasms - blood (2) 2
radical prostatectomy (2) 2
radiotherapy dosage (2) 2
risk factors (2) 2
survival rate (2) 2
treatment outcome (2) 2
types abstraits de données (2) 2
abstract data types congresses (1) 1
abstrakte datentypen (1) 1
acomputer programsaverificationzautomatisch aus gbv_2011-10 2012-04-21 (1) 1
adenocarcinoma (1) 1
adenocarcinoma - blood (1) 1
adenocarcinoma - pathology (1) 1
adenocarcinoma - therapy (1) 1
algebraic specification (1) 1
algorithm analysis (1) 1
algorithmentheorie (1) 1
algorithmus (1) 1
androgen antagonists (1) 1
androgen antagonists - therapeutic use (1) 1
androgen deprivation (1) 1
androgen deprivation therapy (1) 1
antigen era (1) 1
approche orientée objet (1) 1
aufsatzsammlung (1) 1
benutzerschnittstelle (1) 1
bibliografie (1) 1
bibliographie (1) 1
bilgisayar programları (1) 1
binary trees (1) 1
biochemical failure (1) 1
bladder cancer (1) 1
combined modality therapy (1) 1
computadoras electronicas (1) 1
computer logic (1) 1
computer programs (1) 1
computer programs verification (1) 1
computer software (1) 1
computer software engineering (1) 1
computer systems (1) 1
conception de systèmes (1) 1
conception orientée objets mélanges et hommages (1) 1
dahl ole-johan mélanges et hommages (1) 1
dahl, ole-johan, 1931 (1) 1
dahl,ole-johan (1) 1
data specification (1) 1
data structure (1) 1
datenstruktur (1) 1
datorsystem (1) 1
definitive radiotherapy (1) 1
design of logic systems (1) 1
design, logic (1) 1
design, system (1) 1
digital computer systems (1) 1
digital computer systems programming structured (1) 1
diseño de software (1) 1
dose fractionation (1) 1
dose-response relationship, radiation (1) 1
dose-volume histograms (1) 1
electronic digital computers (1) 1
equipo (1) 1
event scheduling (1) 1
experience (1) 1
external-beam radiotherapy (1) 1
female (1) 1
formale methode (1) 1
formale spezifikation (1) 1
functional programming (1) 1
generator induction (1) 1
genitourinary cancer (1) 1
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1992, Prentice-Hall international series in computer science., ISBN 9780139510625, ix, 269
Book
1972, A.P.I.C. studies in data processing, ISBN 0122005503, Volume no. 8, viii, 220
Book
1970, Norsk regnesentral. Publication no. S-22, 145
Book
Advances in radiation oncology, ISSN 2452-1094, 2019, Volume 5, Issue 3, pp. 396 - 403
There is no consensus on how to treat high-risk prostate cancer, and long-term results from hypofractionated radiation therapy are lacking. We report 10-year... 
Journal Article
1996, Lecture Notes in Computer Science, ISBN 3540616292, Volume 1130, X, 558
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract... 
Computer science | Theory of Computation | Programming Languages, Compilers, Interpreters | Information theory | Software engineering
eBook
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2004, Volume 2635, pp. 15 - 25
The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the... 
COMPUTER SCIENCE, THEORY & METHODS
Journal Article
09/1966, Volume 9, Issue 9
...1 SIMULA an ALGOL-Based Simulation Language OLE-JOHAN DAHL AND I~RISTEN NYGAARD Norwegian Computing Center, Oslo, Norway This paper is an introduction... 
Magazine Article
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 1991, Volume 552, pp. 320 - 362
Conference Proceeding
Formal Aspects of Computing, ISSN 0934-5043, 01/1991, Volume 3, Issue 1, pp. 2 - 20
Linguistic and semantic consequences of combining the ideas of order sorted algebras (as in OBJ) and generator induction (as in Larch) are investigated. It is... 
Algebraic specification | Generator induction | Functional programming | Order sorted algebras
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 1990, Volume 428, pp. 1 - 11
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 1996, Volume 1130, pp. v - vi
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.