Leeuwen, Jan van 1946-
Leeuwen, Jan van
Leeuwen, J. van (Jan)
Leeuwen, J. van
Leeuwen, Jan van, informatica, 1946-
Leeuwen, Jan van, informaticien
Jan van Leeuwen informaticus
VIAF ID: 91476227 ( Personal )
Permalink: http://viaf.org/viaf/91476227
Preferred Forms
- 100 0 _ ‡a Jan van Leeuwen ‡c informaticus
-
-
-
-
-
- 100 1 _ ‡a Leeuwen, J. van ‡q (Jan)
- 100 1 _ ‡a Leeuwen, Jan van
- 100 1 _ ‡a Leeuwen, Jan van
-
- 100 1 _ ‡a Leeuwen, Jan van ‡d 1946-
-
-
- 100 1 _ ‡a Leeuwen, Jan van, ‡d 1946-
-
- 100 1 _ ‡a Leeuwen, Jan van, ‡d 1946-
-
- 100 1 _ ‡a Leeuwen, Jan van, ‡d 1946-....
- 100 1 _ ‡a Leeuwen, Jan van ‡d 1946-
4xx's: Alternate Name Forms (25)
5xx's: Related Names (8)
- 510 2 _ ‡a Informatiekunde-Instituut
- 510 2 _ ‡a Informatiekunde-Instituut ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a SOFSEM 2007 (Harrachov, Semily, Česko)
- 510 2 _ ‡a Studio Imago (Amersfoort)
- 510 2 _ ‡a UU WINFI Informatica
- 510 2 _ ‡a Università di Bari. Istituto di scienze dell'informazione
- 510 2 _ ‡a Utrecht
- 551 _ _ ‡a Waddinxveen ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Alan Turing, (Elsevier) | |
Alan Turing : his work and impact | |
Algorithms and complexity | |
Algorithms - ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26–28, 1994 : proceedings | |
Algorithms, software, architecture | |
Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases | |
Automata, languages, and programming, 1980: | |
Basiscursus dBase 5 voor Windows | |
Co-ordination in Artificial Agent Societies : Social Structures and Its Implications for Autonomous Problem-Solving Agents | |
Compact routing methods: a survey | |
The complexity of interval routing on random graphs | |
Computer science today : recent trends and developments | |
Conceptual Modeling : Current Issues and Future Directions | |
Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings | |
Enumeration in graphs | |
ESA'94 | |
The file distribution problem for processor networks | |
Formal models and semantics | |
Foundations of computer science III, 1979- (a.e.) | |
A Generative Theory of Shape | |
The halting problem for linear Turing assemblers | |
Handbook of theoretical computer science | |
Information processing 92. Proceedings of the IFIP [International Federation for Information Processing] 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 | |
Information Security : Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings | |
Interactief, intelligent en nog veel meer : het veranderende beeld van de informatica | |
Interactive Multimedia Documents : Modeling, Authoring, and Implementation Experiences | |
Interval heaps | |
Konpyūta kiso riron handobukku | |
Lycidas ecloga et Musae invocatio, carmina ... | |
Menandri quatuor fabularum Herois, Disceptantium, Circumtonsae, Samiae fragmenta nuper reperta | |
n80026158 | |
Octaviae querela. Carmen ... | |
On models for propositional dynamic logic | |
On the non-vanishing terms in a product of multivariate polynomials | |
The one dimensional skewing problem | |
Parallel computers and computations | |
PARLE '91 : parallel architectures and languages Europe | |
PC combicursus PerfectOffice : met WordPerfect 6.1 voor Windows, Quattro Pro 6 voor Windows, Presentations 3 voor Windows, GroupWise 4.1, Infocentral 1.1 en Envoy 1.0a | |
Prefix routing schemes in dynamic networks | |
Rule - labeled programs : a study a generalization of context-free grammars and some classes of formal languages | |
Selected works of A.M. Turing | |
Senis vota pro patria : Carmen elegiacum | |
SOFSEM 2007 : theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedings | |
Some domination problems on trees and on general graphs | |
Some observations for the pigeon hole principle | |
State of the Art in Applied Cryptography : Course on Computer Security and Industrial Cryptography Leuven, Belgium, June 3–6, 1997 Revised Lectures | |
Strong colorings of graphs | |
Structured NC | |
Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings | |
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 | |
Uniform d-emulations of rings, with an application to distributed virtual ring construction | |
WG'88 | |
WG'93 | |
Windows 95, NL-versie | |
Wireless sensor networks: structure and algorithms | |
Word 7 voor Windows 95 | |
アルゴリズムと複雑さ | |
コンピュータ基礎理論ハンドブック | |
形式的モデルと意味論 |