Model Checking Software [Risorsa elettronica] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Havelund, Rupak Majumdar, Jens Palsberg

• Record Nr.: UNINA990009256220403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540851141
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5156
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Opere di C. G. Jung / [edizione diretta da Luigi Aurigemma]

• Record Nr.: UNICASCFI0021478
• Autore: Jung, Carl Gustav
• Pubbl/distr/stampa: Torino, : P. Boringhieri, : [poi] Bollati Boringhieri
• Descrizione fisica: volumi ; 22-25 cm
• Disciplina: 150.1954
• Soggetti: Psicanalisi; Psicologia analitica - Saggi; Jung, Carl Gustav - Opere minori
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Nelle ristampe il formato varia in 22 cm; Non confondere con "Opere" (CFI0217459) dello stesso editore legato alla collana Gli archi.