Buchtipps:

die folgende liste ist unvollständig, unsortiert und nicht bewertet - sorry ;-)
aber ich geb mir mühe das noch zu ändern - für ein paar tipps bin ich dankbar!

Studium:

logik

Uwe Schöning:
Logik für Informatiker

Taschenbuch - 200 Seiten - Spektrum Akad. Vlg., Hdg.
Erscheinungsdatum: 2000
Auflage: 5. Aufl.
ISBN: 3827410053
formale beschreibungsverfahren
Helmut Eirund, Bernd Müller, Gerlinde Schreiber:
Formale Beschreibungsverfahren der Informatik

Taschenbuch - 124 Seiten - Teubner, Stgt.
Erscheinungsdatum: 2000
ISBN: 3519026430
java - einführung

Fritz Jobst:
Einführung in Java. Mit 33 Programmen und 46 Beispielen und Aufgaben.

Taschenbuch - 177 Seiten - Fachbuchverlag Leipzig
Erscheinungsdatum: 2001
ISBN: 3446216081
balzert

Helmut Balzert:
Lehrbuch Grundlagen der Informatik

Gebundene Ausgabe - Spektrum Akad. Vlg., Hdg.
Erscheinungsdatum: 1999
ISBN: 3827403588
java

Helmut Erlenkötter:
Java. HTML, Skripte, Applets und Anwendungen

Taschenbuch - 320 Seiten - Rowohlt TB-V., Rnb.
Erscheinungsdatum: 1997
ISBN: 349919872X
unix

Unix. Ein praktischer Einstieg

Taschenbuch - OReilly/VVA
Erscheinungsdatum: 1999
Auflage: 2. Aufl.
ISBN: 3897211254