VIAF

Virtual International Authority File

Search

Leeuwen, Jan van 1946- ISNI Sudoc [ABES], France National Library of France National Library of Sweden National Library of the Czech Republic BIBSYS German National Library NUKAT Center of Warsaw University Library

Leeuwen, Jan van NII (Japan) National and University Library in Zagreb National Diet Library, Japan

Leeuwen, J. van (Jan) Library of Congress/NACO National Library of Israel National Library of Australia

Leeuwen, Jan van, informatica, 1946- National Library of the Netherlands

Jan van Leeuwen informaticus Wikidata

VIAF ID: 91476227 (Personal)

Permalink: http://viaf.org/viaf/91476227

ISNI: 0000  0001  1577  7873 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (27)

Open Section Close Section 5xx's: Related Names (13)

  • 510 2 _ ‎‡a  Advanced course on the foundations of computer science, 3, Amsterdam 1978 ISNI
  • 510 2 _ ‎‡a  Centre for Mathematics and Computer Science (Amsterdam) ISNI
  • 510 2 _ ‎‡a  Department of Computer Science (Utrecht) ISNI
  • 510 2 _ ‎‡a  Informatiekunde-Instituut ISNI
  • 510 2 _ ‎‡a  Informatiekunde-Instituut‏ ‎‡e  Affiliation German National Library
  • 510 2 _ ‎‡a  Mathematisch Centrum, Amsterdam ISNI
  • 510 2 _ ‎‡a  SOFSEM 2007 (Harrachov, Semily, Česko) ISNI
  • 510 2 _ ‎‡a  Stichting Mathematisch Centrum (Amsterdam) ISNI
  • 510 2 _ ‎‡a  Studio Imago (Amersfoort) ISNI
  • 510 2 _ ‎‡a  UU WINFI Informatica ISNI
  • 510 2 _ ‎‡a  Università di Bari. Istituto di scienze dell'informazione ISNI
  • 510 2 _ ‎‡a  Utrecht ISNI
  • 551 _ _ ‎‡a  Waddinxveen German National Library

Open Section Close SectionWorks

Title Sources
Alan Turing : his work and impact Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Algorithms and complexity xR Extended Titles Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Algorithms - ESA '94 : second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994 : proceedings National Library of Sweden NUKAT Center of Warsaw University Library National Library of the Netherlands
Alles over Microsoft Access 2002 National Library of the Netherlands
Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases National Library of the Netherlands
Automata, data structures, complexity Sudoc [ABES], France
Automata, languages and programming 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings National Library of Sweden National Library of the Netherlands Sudoc [ABES], France BIBSYS
Automata, languages, and programming seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 National Library of Sweden Library of Congress/NACO BIBSYS National Library of the Czech Republic National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
Basiscursus dBASE 5 voor DOS National Library of the Netherlands
Beginnen met Windows 95 : NL versie National Library of the Netherlands
The client/server model in distributed computing National Library of the Netherlands
Compact routing methods: a survey National Library of the Netherlands
The complexity of interval routing on random graphs National Library of the Netherlands
Computer science today : recent trends and developments Library of Congress/NACO Sudoc [ABES], France National Library of France National Library of the Czech Republic National Library of the Netherlands NUKAT Center of Warsaw University Library
Distributed algorithms : 2nd international workshop, Amsterdam, the Netherlands, July 8-10, 1987 / ed. J. Van Leeuwen, 1988 Sudoc [ABES], France
Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings Library of Congress/NACO Sudoc [ABES], France National Library of Sweden National Library of the Netherlands NUKAT Center of Warsaw University Library
ESA '94 National Library of the Netherlands
Fast Software Encryption 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings Sudoc [ABES], France
The file distribution problem for processor networks National Library of the Netherlands
Formal models and semantics Sudoc [ABES], France xR Extended Titles NUKAT Center of Warsaw University Library National Library of the Netherlands
Foundations of computer science III, 1979- (a.e.) Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Handbook of theoretical computer science Library of Congress/NACO xR Extended Titles Sudoc [ABES], France National Library of France National Library of Sweden National Library of the Czech Republic National Diet Library, Japan National Library of the Netherlands NUKAT Center of Warsaw University Library
IFIP TCS 2000 National Library of the Netherlands
Information processing 92. Proceedings of the IFIP [International Federation for Information Processing] 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 National Library of Sweden Sudoc [ABES], France National Library of the Netherlands
Information Security Third International Workshop, ISW 2000 Wollongong, Australia, December 20–21, 2000 Proceedings Sudoc [ABES], France
De kleine PC Tools 8 gids National Library of the Netherlands
Konpyūta kiso riron handobukku National Diet Library, Japan
Maintenance of transitive closures and transitive reductions of graphs National Library of the Netherlands
Microsoft Internet Explorer 5 : NL-versie National Library of the Netherlands
Minicursus Access 2000 : NL versie National Library of the Netherlands
Minicursus Word 6 voor Windows National Library of the Netherlands
n80026158 National Diet Library, Japan
On models for propositional dynamic logic National Library of the Netherlands
On the non-vanishing terms in a product of multivariate polynomials National Library of the Netherlands
Parallel computers and computations National Library of Sweden Sudoc [ABES], France National Library of France National Library of the Netherlands
PARLE '91 : parallel architectures and languages Europe Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
PC combicursus Perfect Office National Library of the Netherlands
Prefix routing schemes in dynamic networks National Library of the Netherlands
Rule-Labeled programs a study of a generalization of context-free grammars and some classes of formal languages : proefschrift ter verkrijging van de graad van doctor in de wiskunde en natuurwetenschappen aan de Rijkuniversiteit te Utrecht...te verdedigen 7. juni 1972 National and University Library in Zagreb
Snel leren werken met ASP : dynamische websites eenvoudig geprogrammeerd National Library of the Netherlands
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 Library of Congress/NACO Sudoc [ABES], France National Library of the Czech Republic
Some observations for the pigeon hole principle National Library of the Netherlands
Structured NC National Library of the Netherlands
Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings Sudoc [ABES], France
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 Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Uniform d-emulations of rings, with an application to distributed virtual ring construction National Library of the Netherlands
Website deluxe National Library of the Netherlands
WG'88 National Library of the Netherlands
WG'93 National Library of the Netherlands
Windows Server 2003 National Library of the Netherlands
Wireless sensor networks: structure and algorithms National Library of the Netherlands
Word 2000 NL National Library of the Netherlands
Word 97 National Library of the Netherlands
WordPerfect Presentations 2.0 voor Windows National Library of the Netherlands
The World Wide Web and Databases Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected Papers Sudoc [ABES], France
アルゴリズムと複雑さ NII (Japan)
コンピュータ基礎理論ハンドブック NII (Japan) National Diet Library, Japan
形式的モデルと意味論 NII (Japan)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:91476227 (27)