WorldCat Identities

Leeuwen, J. van (Jan)

Overview
Works: 195 works in 635 publications in 4 languages and 10,971 library holdings
Genres: Conference papers and proceedings  Biography  Exhibition catalogs 
Roles: Author, Editor, Other, Translator, Thesis advisor, Creator, ed, dgs, Publisher, Redactor
Classifications: QA76, 004
Publication Timeline
.
Most widely held works about J. van Leeuwen
 
Most widely held works by J. van Leeuwen
The selected works of A.M. Turing : his work and impact by S. B Cooper( )

3 editions published in 2012 in English and held by 957 WorldCat member libraries worldwide

""The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.""--TIME In this accessible new selection of writings by Information Age pioneer Alan Turing, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A.M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's
Handbook of theoretical computer science by J. van Leeuwen( Book )

29 editions published between 1990 and 1994 in 3 languages and held by 821 WorldCat member libraries worldwide

Presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing
Computer science today : recent trends and developments by J. van Leeuwen( Book )

23 editions published between 1991 and 1995 in 3 languages and held by 607 WorldCat member libraries worldwide

This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field
Alan Turing : his work and impact by S. B Cooper( )

18 editions published between 2012 and 2016 in English and held by 567 WorldCat member libraries worldwide

This new and exciting book, published in celebration of the centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A.M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work
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 by J. van Leeuwen( )

14 editions published in 2007 in English and held by 550 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks on foundations of computer science, multi-agent systems, emerging Web technologies, as well as dependable software and systems
Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings by J. van Leeuwen( )

18 editions published between 1990 and 1991 in English and Undetermined and held by 478 WorldCat member libraries worldwide

"This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics."--PUBLISHER'S WEBSITE
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings by J. van Leeuwen( )

24 editions published between 2000 and 2001 in English and held by 453 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science
SOFSEM 2010 : theory and practice of computer science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010 : proceedings by J. van Leeuwen( )

13 editions published between 2009 and 2010 in English and held by 445 WorldCat member libraries worldwide

Annotation
Distributed algorithms : 2nd international workshop, Amsterdam, the Netherlands, July 8-10, 1987 : proceedings by J. van Leeuwen( Book )

22 editions published in 1988 in English and Undetermined and held by 443 WorldCat member libraries worldwide

This volume presents the proceedings of the 2nd International Workshop on Distributed Algorithms, held July 8-10, 1987, in Amsterdam, The Netherlands. It contains 29 papers on new developments in the area of the design and analysis of distributed algorithms. The topics covered include, e.g. algorithms for distributed consensus and agreement in networks, connection management and topology update schemes, election and termination detection protocols, and other issues in distributed network control
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 by M Karpinski( Book )

13 editions published between 1984 and 2014 in English and Dutch and held by 438 WorldCat member libraries worldwide

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing
Graph-theoretic concepts in computer science : 19th international workshop, WG '93, Utrecht, the Netherlands, June 16-18, 1993 : proceedings by J. van Leeuwen( Book )

18 editions published between 1994 and 2004 in English and held by 420 WorldCat member libraries worldwide

"This volume contains the proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science, WG '93, held near Utrecht, The Netherlands, in 1993. The papers are grouped into parts on: hard problems on classes of graphs, structural graph theory, dynamic graph algorithms, structure-oriented graph algorithms, graph coloring, AT-free and chordal graphs, circuits and nets, graphs and interconnection networks, routing and shortest paths, and graph embedding and layout. The 35 revised papers were chosen from 92 submissions after a careful refereeing process."--PUBLISHER'S WEBSITE
Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 by languages and programming International colloquium on automata( Book )

10 editions published between 1979 and 1980 in English and held by 374 WorldCat member libraries worldwide

Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings by F Orejas( )

18 editions published in 2001 in English and held by 344 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity
Algorithms--ESA '94 : second annual European symposium, Utrecht, the Netherlands, September 26-28, 1994 : proceedings by J. van Leeuwen( )

17 editions published in 1994 in English and held by 273 WorldCat member libraries worldwide

This volume presents the proceedings of the Second Annual European Symposium on Algorithms (ESA '94), held near Utrecht, The Netherlands in September 1994. ESA is the premier European conference on algorithms. The 42 papers presented were selected from a total of 159 submissions and reflect many of the current directions in algorithm research. The volume is organized into chapters on automatic graph drawing and rendering, spanners and Steiner trees, efficient data structures and complexity analysis, graph algorithms, distributed algorithms, computational geometry and its applications, operations research and combinatorial optimization, parallel computation and interconnection networks, complexity theory, and text processing
Graph-theoretic concepts in computer science : International Workshop WG '88, Amsterdam, the Netherlands, June 15-17, 1988 : proceedings by International Workshop WG( Book )

16 editions published between 1981 and 1989 in English and Undetermined and held by 270 WorldCat member libraries worldwide

This volume presents the proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '88), held from June 15 to 17, 1988 in Amsterdam, The Netherlands. It contains 31 papers on new or current developments in the area of graph-based algorithms. The topics covered include e.g. structural graph theory, parallel graph algorithms, graph-based modeling (in database theory and VLSI), computational geometry and applied graph theory. The book contains the revised versions of all the papers presented at the workshop. The revisions are based on comments and suggestions received by the authors during and after the workshop
SOFSEM 2018: theory and practice of computer science : 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 - February 2, 2018 : proceedings by SOFSEM (Conference)( )

1 edition published in 2018 in English and held by 173 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018. The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; and data model engineering
Algorithm Theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings by Gerhard Goos( )

3 editions published in 2000 in English and held by 171 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, held in Bergen, Norway, in July 2000. The 43 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from a total of 105 submissions. The papers are organized in sections on data structures, dynamic partitions, graph algorithms, online algorithms, approximation algorithms, matchings, network design, computational geometry, strings and algorithm engineering, external memory algorithms, optimization, and distributed and fault-tolerant computing
Advances in Multimedia Information Systems : 4th International Workshop, MIS'98 Istanbul, Turkey September 24-26, 1998 Proceedings by Gerhard Goos( )

3 editions published in 1998 in English and held by 171 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Workshop on Multimedia Information Systems, MIS'98, held in Istanbul, Turkey, in September 1998. The book presents 13 revised full papers together with six short papers and two abstracts of invited talks. Among the topics addressed are multimedia storage system design, image storage and retrieval, quality of service considerations, networking support for multimedia information systems, distributed virtual environments, and multimedia system architecture issues
Object-oriented technology : ECOOP 2000 workshop reader : ECOOP 2000 workshops, panels, and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings by Gerhard Goos( )

2 editions published in 2000 in English and held by 154 WorldCat member libraries worldwide

This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains
PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, the Netherlands, June 10-13, 1991. Proceedings by E. H. L Aarts( )

2 editions published in 1991 in English and held by 152 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.13 for The select ... to 0.82 for Jan van Le ...)

Handbook of theoretical computer science
Covers
Computer science today : recent trends and developmentsSOFSEM 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 : proceedingsDistributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedingsTheoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedingsSOFSEM 2010 : theory and practice of computer science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010 : proceedingsDistributed algorithms : 2nd international workshop, Amsterdam, the Netherlands, July 8-10, 1987 : proceedingsGraph-theoretic concepts in computer science : 19th international workshop, WG '93, Utrecht, the Netherlands, June 16-18, 1993 : proceedingsAutomata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
Alternative Names
Jan van Leeuwen Dutch computer scientist

Jan van Leeuwen niederländischer Informatiker

Leeuwen, J. van.

Leeuwen, J. van 1946-

Leeuwen, J. van (Jan), 1946-

Leeuwen, Jan van

Leeuwen, Jan van 1946-

Van Leeuwen, J.

Van Leeuwen, J. 1946-

Van Leeuwen, J. (Jan)

Van Leeuwen, J. (Jan), 1946-

Van Leeuwen Jan

Van Leeuwen Jan 1946-....

Van Leeuwen, Jan helléniste

Van Leeuwen, Johannes helléniste

VanLeeuwen, Jan 1946-

جان فان ليوين

Languages