Various links

Dictionary

English dictionnary: Britannica
Italian dictionnary: Dizionario Garzanti
LEO Dictionnary German <-> English
LEO Dictionnary German <-> Italian

Bonn

Bonn map
General information about Bonn
U-Bahn

Berlin

Berlin map
General information about Berlin
U-Bahn

Munich

Munich map
General information about Munich
U-Bahn

Travel links

FFS Online
Deusche Bahn

Latex e Unix

Latex

• Una buona guida di Latex per iniziare
• Un file con tanti piccoli trucchetti per Latex
• Come mettere le note a piè di pagina con numeri tra parentesi
• Due trucchetti
• Miktex packages
• Per vedere i label definiti in latex, usare il package "showlabels". Per vedere gli overfull, aggiungere "draft" nelle opzioni di "documentclass".
• TUM POSTER: Base per un poster A0, A1, ...
• Esempio di un poster A0
• Abbreviazioni dei nomi delle riviste di matematica

Unix

Comando CHMOD
Cambiare i diritti di accesso, lettura, ... ad un file.
Ad esempio: chmod u+xrw nome_file.sss
aggiunge "+" la possibilità di eseguire "x", leggere "r" e scrivere "w" sul file "nome_file.sss" per l'utilizzatore "u".

Comando TAR
Come creare un archivio .tar sotto unix. Voglio mettere nell'archivio "Nome.tar" i seguenti files "file1.ps", "file2.tex", "file3.eps".
Per creare l'archivio: tar cfv Nome.tar file1.ps file2.tex file3.eps.
Per estrarre il contenuto di un archivio: tar xfv Nome.tar.
Per testare il contenuto di un archivio: tar tfv Nome.tar.
Per creare un archivio con una directory basta digitarla al posto della lista dei files da immettere.

Gnu debug for g++
1) Compilare come segue: "g++ -g programma.cpp" => a.out creato
2) gdb
3) run a.out (+ eventualmente opzioni)
4) quit

BibTex manual
Clicca qui!

Alcune espressioni inglesi fuorvianti
1) Actually = veramente e non attualmente.
2) Eventually = in the end = alla fine e non eventualmente

Nature

NASA Earth Observatory
Naturschutz.ch

Switzerland

Parco Nazionale Svizzero

Italy

Portale dei parchi nazionali italiani
Parco della Val Grande
Parco dello Stelvio
Parco del Gran Paradiso
Parco delle Dolomiti
Parco dell'Abruzzo

United States

National Parks Service