Lech Banachowski

According to our database, Lech Banachowski authored at least 6 papers between 1974 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Development of the E-Learning System Supporting Online Education at the Polish-Japanese Institute of Information Technology.

Pawel Lenkiewicz, Lech Banachowski, Jerzy Pawel Nowacki

Proceedings of the Advances in Intelligent Information and Database Systems, 2010

An Efficient Tool for Online Assessment at the Polish-Japanese Institute of Information Technology.

Pawel Lenkiewicz, Malgorzata Rzeznik, Lech Banachowski

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

1991

Analysis of algorithms and data structures.

Lech Banachowski, Antoni Kreczmar, Wojciech Rytter

International computer science series, Addison-Wesley, ISBN: 978-0-201-41693-0, 1991

1980

A Complement to Tarjan's Result about the Lower Bound on the Complexity of the Set Union Problem.

Lech Banachowski

Inf. Process. Lett., 1980

On proving program correctness by means of stepwise refinement method.

Lech Banachowski

Proceedings of the Logics of Programs and Their Applications, 1980

1974

Modular Approach to the Logical Theory of Programs.

Lech Banachowski

Proceedings of the Mathematical Foundations of Computer Science, 1974