Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs

Programming with java.
Dahkki: Balagurusamy, E
Almmustuhtton: (2019)

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems

Java : how to program early objects /
Dahkki: Deitel, Paul J, et al.
Almmustuhtton: (2018)

Proceedings of the Principles and Practices of Programming on The Java Platform

Proceedings of the Workshop on JavaScript Tools

Java : the complete reference /
Dahkki: Schildt, Herbert
Almmustuhtton: (2022)

Java : beginner's guide /
Dahkki: Schildt, Herbert

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java

Proceedings of the 4th international symposium on Principles and practice of programming in Java

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java

Proceedings of the 5th international symposium on Principles and practice of programming in Java

Proceedings of the 6th international symposium on Principles and practice of programming in Java

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java

Proceedings of the 12th Workshop on Programming Languages and Operating Systems

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis

Speculative Formalism
Dahkki: Eyers

Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the second workshop on Automated formal methods

Proceedings of the 2nd international conference on Principles and practice of programming in Java

Proceedings of the 3rd international symposium on Principles and practice of programming in Java

Java/Jini Technologies

Head first java.
Dahkki: Sierra, Kathy
Almmustuhtton: (2005)

Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis