LEADER 04112nam 22006015 450 001 9910483938103321 005 20200707011535.0 010 $a88-470-0580-9 024 7 $a10.1007/978-88-470-0580-8 035 $a(CKB)1000000000491939 035 $a(EBL)974337 035 $a(OCoLC)824457233 035 $a(SSID)ssj0000715571 035 $a(PQKBManifestationID)11407960 035 $a(PQKBTitleCode)TC0000715571 035 $a(PQKBWorkID)10703738 035 $a(PQKB)10233185 035 $a(DE-He213)978-88-470-0580-8 035 $a(MiAaPQ)EBC974337 035 $a(PPN)128127988 035 $a(EXLCZ)991000000000491939 100 $a20100301d2008 u| 0 101 0 $aita 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAlgoritmi $eLo spirito dell'informatica /$fby David Harel, Yishai Feldman 205 $a1st ed. 2008. 210 1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2008. 215 $a1 online resource (616 p.) 225 1 $aCollana di Informatica 300 $aDescription based upon print version of record. 311 $a88-470-0579-5 320 $aIncludes bibliographical references and index. 327 $aPreliminari -- Introduzione e revisione storica -- Algoritmi e dati -- I linguaggi e i paradigmi di programmazione -- Metodi e analisi -- Metodi algoritmici -- La correttezza degli algoritmi -- L?efficienza degli algoritmi -- Limiti e robustezza -- Inefficienza e intrattabilità -- Non computabilità e indecidibilità -- L?universalità algoritmica e la sua robustezza -- Rilassare le regole -- Parallelismo, Concorrenza e modelli alternativi -- Algoritmi probabilistici -- Crittografia e Interazioni affidabili -- Una veduta più ampia -- Ingegneria del software -- Sistemi reattivi -- Algoritmi e Intelligenza -- Poscritto -- Soluzioni -- Note bibliografiche. 330 $aGli algoritmi sono il cuore dell?informatica e della matematica, poiché senza di loro l?uso del computer non sarebbe possibile. In questo libro, che nella sua edizione inglese è un bestseller da molto tempo, Harel e Feldmann rispondono a tutte le domande relative a questo tema. Parlano della valutazione, della correttezza e dell?efficacia degli algoritmi, ma chiariscono anche qualche dubbio sulle tecniche di programmazione e si riferiscono inoltre all?attualissima discussione sul calcolo quantistico. Il libro è utile sia come testo base per un corso universitario introduttivo all?informatica, sia come introduzione generale alle scienze naturali, alla matematica o all?ingegneria. "Questo libro è un autentico tour de force. Harel scrive con una verve, una chiarezza e un?immaginazione fuori dal comune. Attraverso l?uso di domande stuzzicanti ed esempi selezionati con cura e spesso divertenti, l?autore trasmette al lettore l?entusiasmo e la soddisfazione intellettuale della ricerca nel campo dell?informatica. Senza usare la matematica formale, ma senza per questo motivo sacrificare l?integrità intellettuale, egli comunica al lettore generale i profondi principi su cui si fonda l?informatica; principi che, prima d?ora, risultavano accessibili solo attraverso libri di testo e articoli scientifici molto complessi. Rappresenta il meglio della scrittura scientifica." Dr. Stan Scott, Queen?s University Belfast The Times Higher Education Supplement. 410 0$aCollana di Informatica 606 $aAlgorithms 606 $aComputers 606 $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 615 0$aAlgorithms. 615 0$aComputers. 615 14$aAlgorithms. 615 24$aTheory of Computation. 676 $a520 700 $aHarel$b David$4aut$4http://id.loc.gov/vocabulary/relators/aut$0543182 702 $aFeldman$b Yishai$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910483938103321 996 $aAlgoritmi$92849160 997 $aUNINA LEADER 03839nam 22007095 450 001 9910800136303321 005 20240214233229.0 010 $a9783779958628 010 $a3779958627 035 $a(CKB)5590000000441214 035 $a600effe2-5d58-467e-ab09-257db0dd2d03 035 $a(ScCtBLL)18e67068-4991-4f83-9092-a2f47ac9a876 035 $a(oapen)doab133595 035 $a(EXLCZ)995590000000441214 100 $a20210623d2021 ||| | 101 0 $ager 135 $auruuu---uuuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSozialpädagogische Familienbegleitung $eAusgangsbedingungen ? Praxis ? Wirkungen 205 $a1. Aufl. 210 $cBeltz Juventa$d2021 210 31$aWeinheim$cBeltz Verlagsgruppe$d2021 215 $aOnline-Ressource (265 S.) 300 $aPublicationDate: 20210623 311 08$a9783779965374 311 08$a3779965372 330 $aBiographical note: Heinz Messmer (1955), Prof. Dr. rer. soc. habil., Soziologe. Diplom, Dissertation und Habilitation an der Fakultät für Soziologie der Universität Bielefeld. Seit 2009 Professor an der Hochschule für Soziale Arbeit/FHNW (Basel/Muttenz) mit den Arbeitsschwerpunkten Hilfen zur Erziehung und Forschungsmethoden (insbes. ethnomethodologische Konversationsanalyse). Marina Wetzel (1986), MSc in Erziehungswissenschaften an der Uni. Freiburg i.U/Schweiz. Seit 2014 wiss. Mitarbeiterin an der Hochschule für Soziale Arbeit/FHNW (Basel/ Muttenz) mit den Arbeitsschwerpunkten Ambulante Hilfen zur Erziehung und Pädagogik der frühen Kindheit. Lukas Fellmann (1984), MA in Sozialer Arbeit mit Schwerpunkt Soziale Innovation an der Hochschule für Soziale Arbeit FHNW. Seit 2016 wissenschaftlicher Mitarbeiter an der Hochschule für Soziale Arbeit/FHNW (Basel/Muttenz) mit den Arbeitsschwerpunkten Ambulante Hilfen zur Erziehung, Kindesschutz und quantitative Forschungsmethoden (insbes. Soziale Netzwerkanalyse). Oliver Käch ist wissenschaftlicher Assistent an der Hochschule für Soziale Arbeit der Fachhochschule Nordwestschweiz, Institut Professionsforschung und -entwicklung in Olten. 330 $aLong description: Die Sozialpädagogische Familienbegleitung (SPF) ist eine Form der aufsuchenden sozialpädagogischen Familienarbeit und Gegenstand der vorliegenden Studie. Wie wird die SPF angeboten, wie wird sie umgesetzt und von Betroffenen erlebt? Wie werden Kinder miteinbezogen und welche Rolle spielen dabei die Netzwerkressourcen der Eltern? Welche Wirkungen werden mit ihr erzeugt und wovon hängen diese Wirkungen ab? Diese Fragen sind Gegenstand umfassender empirischer Analysen mit dem Ziel, zentrale Wirkungen und Wirkfaktoren von SPF zu identifizieren. 606 $aSozialarbeit$2gnd 606 $aWirksamkeit$2gnd 606 $aSchweiz$2gnd 606 $aInstitutionen$2gnd 606 $aSoziales System$2gnd 606 $aHandlungssicherheit$2gnd 606 $aNetzwerkressourcen$2gnd 610 $aHandlungssicherheit 610 $aInstitutionen 610 $aNetzwerkressourcen 610 $aSchweiz 610 $aSoziale Arbeit 610 $aSozialsystem 610 $athema EDItEUR::J Society and Social Sciences::JB Society and culture: general 610 $aWirksamkeit 615 07$aSozialarbeit. 615 07$aWirksamkeit 615 07$aSchweiz 615 07$aInstitutionen 615 07$aSoziales System. 615 07$aHandlungssicherheit 615 07$aNetzwerkressourcen 700 $aMessmer$b Heinz$4aut$0722547 702 $aWetzel$b Marina$4aut 702 $aFellmann$b Lukas$4aut 702 $aKäch$b Oliver$4aut 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910800136303321 996 $aSozialpädagogische Familienbegleitung$93877302 997 $aUNINA