کتاب‌های Jan Van Leeuwen - BookPine

Mnemosyne: Bibliotheca Classica Batava, Volume 43

Mnemosyne: Bibliotheca Classica Batava, Volume 43

Carel Gabriel Cobet

Mnemosyne, Volumes 1-2

Mnemosyne, Volumes 1-2

Carel Gabriel Cobet

Aristophanis Acharnenses

Aristophanis Acharnenses

Aristophanes

Mnemosyne, Volume 34

Mnemosyne, Volume 34

Carel Gabriel Cobet

Annals of Discrete Mathematics, Volume 24: Topics in the Theory of Computation

Annals of Discrete Mathematics, Volume 24: Topics in the Theory of Computation

Marek Karpiński

Alan Turing: His Work and Impact

Alan Turing: His Work and Impact

S. Barry Cooper

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, ...

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, ...

Jan Van Leeuwen

High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings

High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings

F. Mueller

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ...

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ...

Jan Van Leeuwen

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and ...

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and ...

Al Mullery

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ...

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ...

Miquel Bertran

Distributed Artificial Intelligence: Architecture and Modelling: First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings

Distributed Artificial Intelligence: Architecture and Modelling: First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings

Chengqi Zhang

Computer Science Today: Recent Trends and Developments

Computer Science Today: Recent Trends and Developments

Jan Van Leeuwen

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

Gerhard Goos

Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings

Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings

Jan Van Leeuwen

Computer Vision, Virtual Reality and Robotics in Medicine: First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings

Computer Vision, Virtual Reality and Robotics in Medicine: First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings

Nicholas Ayache

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings

Jan Van Leeuwen

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings

Jan Van Leeuwen

مشاهده بیشتر