00978nam0-22003491i-450-99000149180040332120091110114407.00-534-94728-X000149180FED01000149180(Aleph)000149180FED0100014918020020301d1997----km-y0itay50------baengUSa---a---001yyIntroduction to the theory of computationMichael SipserBoston (Mass.)PWSc1997xv, 396 p.ill.24 cmTeoria computazionaleTeoria delle macchineComplessità computazionaleLogica matematica511.321Sipser,Michael66386ITUNINARICAUNIMARCBK990001491800403321511.3-SIP-11184SC1SC1Introduction to the theory of computation377869UNINA00976cam0 22002891 450 SOBE0005042020151214153504.0345901137820151214d1985 |||||ita|0103 bagerITTheologie der HoffnungUntersuchungen zur Begründung und zu den Konsequenzen einer christlichen EschatologieJürgen Moltmann12. auflageMünchenKaiser1985340 p.21 cmKaiser extra001SOBE000504382001 *Kaiser extraMoltmann, JürgenA600200055780070390399ITUNISOB20151214RICAUNISOBUNISOB20042356SOBE00050420M 102 Monografia moderna SBNM200000419SI42356AcquistoNpetrellapUNISOBUNISOB20151214124322.020151214124353.0petrellapTheologie der Hoffnung50772UNISOB