WorldCat Identities

Lindholm, Tim 1961-

Overview
Works: 10 works in 41 publications in 4 languages and 732 library holdings
Classifications: QA76.73.J38, 005.133
Publication Timeline
Key
Publications about  Tim Lindholm Publications about Tim Lindholm
Publications by  Tim Lindholm Publications by Tim Lindholm
Most widely held works by Tim Lindholm
The Java virtual machine specification by Tim Lindholm ( Book )
25 editions published between 1996 and 2013 in English and held by 667 WorldCat member libraries worldwide
"The nucleus of the Java 2 platform, the Java virtual machine is the technology that enables the Java 2 platform to host applications on any computer or operating system without rewriting or recompiling." "This book was written by those directly responsible for the design and implementation of the Java virtual machine, and is the complete and definitive specification for the technology. It is an essential reference for writers of compilers for the Java programming language and implementors of the Java virtual machine. This second edition specifies the newest version of the Java virtual machine and provides a fascinating view into the inner workings of the Java 2 platform."--BOOK JACKET
Java - die Spezifikation der virtuellen Maschine : [die offizielle Dokumentation von Javasoft ; auch gültig für Version 1.1 by Tim Lindholm ( Book )
2 editions published in 1997 in German and held by 39 WorldCat member libraries worldwide
Software -- Programming Languages
The Java virtual machine specification : [Java 2 platform] by Tim Lindholm ( Book )
2 editions published between 1999 and 2002 in English and held by 8 WorldCat member libraries worldwide
The Java virtual machine specification : Java SE 7 edition by Tim Lindholm ( Book )
3 editions published in 2013 in English and held by 6 WorldCat member libraries worldwide
Java kasō mashin shiyō ( Book )
3 editions published between 1997 and 2001 in Japanese and held by 4 WorldCat member libraries worldwide
Sport i sproget by Preben Breds ( Book )
1 edition published in 1987 in Danish and held by 4 WorldCat member libraries worldwide
100 år med fjernvarme på Frederiksberg ( Visual )
1 edition published in 2003 in Danish and held by 1 WorldCat member library worldwide
100 varme år 100 år med fjernvarme på Frederiksberg ( Visual )
1 edition published in 2003 in Danish and held by 1 WorldCat member library worldwide
A tutorial on the Warren Abstract Machine for computational logic by John Gabriel ( Book )
2 editions published between 1985 and 1986 in Undetermined and English and held by 1 WorldCat member library worldwide
Computational logic can roughly be defined as that branch of artifical intelligence that is based on logic. It includes logic programming, theorem-proving, rewrite-rule systems, and production-rule systems. Such fields are going through a truly interesting transition. It now is becoming apparent that performance improvements for computational logic systems could be as high as 3 to 5 orders or magnitude during the next 5 to 7 years. These improvements will come from three distinct sources:
The Warren abstract machine for computational logic : tutorial ( Book )
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.00 for The Warren ... to 0.66 for The Java v ...)
Alternative Names
リンドホルム, ティム
Languages
English (32)
Danish (3)
Japanese (3)
German (2)
Covers