La riforma della redazione del bilancio di esercizio e del bilancio consolidato : una prima lettura della Direttiva 2013/34/UE del 26 giugno 2013 che abroga le Direttive 78/660/CEE e 83/349/CEE (IV Direttiva CEE e VII Direttiva CEE) / Claudio Sottoriva

• Record Nr.: UNIPARTHENOPE000030271
• Autore: Sottoriva, Claudio
• Pubbl/distr/stampa: Milano : Giuffrè, 2014
• Titolo uniforme: La riforma della redazione del bilancio di esercizio e del bilancio consolidato : una prima lettura della Direttiva 2013/34/UE del 26 giugno 2013 che abroga le Direttive 78/660/CEE e 83/349/CEE (IV Direttiva CEE e VII Direttiva CEE)
• ISBN: 88-14-18284-1; 978-88-14-18284-6
• Descrizione fisica: XVI, 579 p. ; 24 cm.
• Disciplina: 346.4506648
• Collocazione: 346-R/33
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

18th Annual IEEE Symposium on Logic in Computer Science

• Record Nr.: UNISA996198557603316
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 2003
• Descrizione fisica: 1 online resource (xiv, 393 pages)
• Disciplina: 004.0151
• Soggetti: Computer science - Mathematics; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: Annotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.