Rete Bibliotecaria della Provincia di Como

Abstract: Ogni disciplina scientifica si definisce pienamente nel momento in cui viene delimitata da una teoria in grado di evidenziarne i limiti e le potenzialità. Per l'informatica ciò avvenne negli anni trenta del XX secolo, in un effervescente panorama culturale e scientifico che affrontava i fondamenti della matematica, della fisica e della biologia, ben prima dell'avvento del calcolatore elettronico. Cosa significa «calcolare»? Cos'è un algoritmo? Cosa possiamo e cosa non possiamo calcolare? Ci sono dei limiti? Esiste un calcolatore universale? Cos'è un programma? Il programma che ho comperato funzionerà sempre o potrebbe entrare in loop su certi dati? Cos'è un linguaggio? Come si genera? Come si riconosce? Tra le cose che possiamo calcolare, quanti passi di calcolo dovremo ragionevolmente attendere per avere il risultato? Si può fare di meglio di quell'algoritmo per risolvere quel problema? Tutte queste domande hanno condotto alla teoria della calcolabilità effettiva, alla teoria dei linguaggi formali, e più tardi alla teoria della complessità computazionale, che include uno dei più importanti problemi ancora aperti per la scienza contemporanea. Questo volume illustra come sono state affrontate tali questioni. Nasce dall'esperienza ventennale degli autori nell'insegnamento del corso di Fondamenti dell'informatica, dapprima assieme, presso l'Università di Verona, poi separatamente nelle sedi di Verona e di Udine. Nato come dispensa già nel 1999, il volume è via via maturato negli anni, includendo note storiche, esempi e un gran numero di esercizi, molti dei quali assegnati come prova scritta d'esame.

Abstract: I chatbot, programmi robot in grado di interfacciarsi con gli utenti e svolgere operazioni in autonomia, sono la nuova frontiera delle applicazioni software e sono sempre più diffusi nei reparti commerciali, di marketing e nel customer care. Questo manuale mostra come utilizzare Node.js per costruire interfacce conversazionali e bot in grado di automatizzare processi di lavoro e comunicazioni. Viene spiegato come elaborare il linguaggio naturale per consentire alle macchine di individuare le intenzioni di un utente e rispondere nella maniera più appropriata. Le applicazioni utilizzano strumenti come Slack, Twitter, Facebook Messenger, Skype ma anche email e SMS, e spaziano tra il servizio clienti, l'organizzazione di documenti e dati, la pianificazione di riunioni, l'invio di report, il tracciamento di bug e anomalie software. L'obiettivo finale è imparare a valutare quali benefici un bot ben configurato può portare in un'organizzazione.

Abstract: Lo sviluppo di applicazioni che utilizzano la tecnologia blockchain sta registrando una crescita esponenziale in ambiti che vanno oltre le criptovalute e spaziano tra il settore enterprise e quello pubblico. Le opportunità sono tante ma affrontare la sfida non è semplice. Questo manuale illustra una vasta gamma di paradigmi per lo sviluppo di applicazioni blockchain. Si parte da un'introduzione ai fondamenti della tecnologia blockchain e agli smart contract per poi passare alla creazione di applicazioni su piattaforme compatibili con Ethereum, il più grande e solido ecosistema blockchain al mondo. Il lettore impara così a costruire applicazioni decentralizzate (DApp) e implementare token, per poi immergersi nei framework Tendermint e Cosmos e nella creazione di architetture software che superano i limiti degli ambienti blockchain più diffusi. Il volume si conclude illustrando alcuni temi di cripto-economia, quali la classificazione, la stima, la compravendita e gli exchange di criptovalute. Una guida completa per gli sviluppatori che vogliono apprendere le architetture e i modelli di programmazione blockchain più avanzati e affidabili di oggi.

Abstract: Vent'anni dopo la pubblicazione del "Manifesto per lo sviluppo agile di software", Robert C. Martin ne presenta i valori e i principi a una nuova generazione di sviluppatori, riportandoli alla loro veste originaria e facendo chiarezza sugli errori e le incomprensioni che nel corso degli anni hanno reso difficile applicare Agile. In questo manuale, "Uncle Bob" mostra come alzare il livello di professionalità nello sviluppo software e scrivere codice più efficace ed efficiente. Come in tutti i suoi libri, Martin non si limita a presentare diverse opzioni tra cui orientarsi ma suggerisce quali scelte fare e perché queste sono fondamentali per avere successo, dando risposte dirette a domande cruciali. Come e perché è nato Agile? Cosa comporta la sua applicazione in termini di costi e benefici? Quali sono le pratiche più efficaci da seguire? Come deve essere organizzato un team agile? Quali tipi di progetto ne traggono beneficio? Qual è il ruolo dell'agile coach? Una lettura per programmatori, architetti software, tester, manager, project manager e ogni professionista del software chiamato a guidare o partecipare a un progetto di sviluppo agile.

Abstract: Un algoritmo non è altro che una procedura passo passo per risolvere un problema. Gli algoritmi più utilizzati sono già stati testati e verificati ma questo non vuol dire che comprenderne la logica sia facile. Questa guida illustrata e divertente aiuta a capirli appieno senza dover faticare su migliaia di pagine di teoria e spiega come applicarli al meglio nei problemi pratici con cui un programmatore si trova spesso a confrontarsi. Partendo dagli algoritmi di ricerca e ordinamento si rafforza l'abilità di pensare in maniera algoritmica affrontando via via problemi sempre più complessi come la compressione dei dati e l'intelligenza artificiale. Ogni esempio include diagrammi che corredano i commenti agli esempi di codice Python per rendere chiari anche i concetti più difficili. Grazie al suo linguaggio semplice e a oltre 400 immagini che accompagnano i singoli passi delle procedure, questa guida è perfetta per programmatori alle prime armi, ingegneri, appassionati di informatica e in generale chiunque voglia avvicinarsi allo studio degli algoritmi.

Abstract: Senza tempo e alla portata di tutti, Code sa spiegare a chiunque come funzionano veramente i computer. Senza essere necessariamente un ingegnere o un programmatore, ti aiuta a vedere i computer nella loro intrinseca bellezza e come il coronamento di una conquista dell'umanità. Charles Petzold ha completamente aggiornato il suo best seller per considerare gli incredibili cambiamenti degli ultimi vent'anni che hanno trasformato il modo in cui si utilizzano, si programmano e si vive il rapporto con i computer. Questa edizione, per prima cosa, definisce i codici numerici e poi accompagna alla scoperta dei concetti base che permettono di costruire un semplice computer. Quindi approfondisce gli aspetti chiave delle tecnologie digitali e mostra come oggi il mondo dei media sia costruito e basato su codici informatici. Corredato da oltre 300 disegni e schemi per spiegare al meglio i concetti chiave, questo testo è una lettura fondamentale per chiunque voglia capire come funziona il mondo delle macchine.

Abstract: WebAssembly (Wasm o semplicemente WA) è uno standard web del W3C che permette di creare applicazioni con prestazioni e velocità incredibili. Per raggiungere questo risultato utilizza un formato binario ottenuto dalla compilazione di un formato testuale. Il codice binario può essere così eseguito quasi alla stessa velocità del codice in linguaggio macchina. WebAssembly può essere integrato con JavaScript per migliorare le prestazioni e sempre grazie a JavaScript è possibile utilizzare i moduli Wasm ottenuti dalla compilazione di codice sorgente scritto in C, C++ o Rust. Questa guida pratica spiega in modo semplice il complesso ecosistema che ruota intorno a WebAssembly mostrando come utilizzarlo nello sviluppo web e fornendo solidi punti fermi sulla struttura dei moduli, gli oggetti Promise di JavaScript, le WebAssembly JavaScript API. Un testo adatto a tutti gli sviluppatori che hanno una conoscenza di base di C o C++, JavaScript e HTML.

Abstract: Viviamo in un mondo dove i compiti più complessi e ripetitivi sono automatizzati. Robot intelligenti hanno il potenziale per rivoluzionare il modo in cui svolgiamo un sacco di attività, con estrema precisione ed efficienza. La programmazione di robot è quindi un tema più che mai attuale e in questo libro viene mostrato come l'utilizzo combinato di Raspberry Pi e Python possa essere un ottimo punto di partenza per avventurarsi in questo mondo. Si comincia introducendo le basi della programmazione robotica per arrivare velocemente alla progettazione e realizzazione di un robot controllato da remoto. Quindi si procede aggiungendo funzionalità e controlli, sensori e sistemi di output, motori e servomotori, fotocamere, fino ad arrivare a scrivere il codice che permette al robot di agire in autonomia in determinate situazioni. Alla fine il lettore avrà costruito un automa in grado di svolgere alcuni compiti grazie a funzioni di intelligenza artificiale di base e potrà usare le competenze acquisite in progetti di complessità crescente.

Abstract: Con questo nuovo libro sulle macchine utensili a controllo numerico, intendiamo trattare temi di programmazione avanzata con particolare riferimento alla tornitura CNC. Il presente testo è la naturale prosecuzione del percorso iniziato con la pubblicazione del libro "Macchine utensili CNC: tecnologia, programmazione ISO e diretta, cicli fissi", sempre edito da Sandit. L'impiego di sistemi CNC complessi comporta la necessità di conoscere in dettaglio la loro configurazione e la loro metodologia di programmazione. Il testo è articolato in quattro capitoli. Nel primo capitolo viene presa in esame la programmazione parametrica. Il secondo capitolo è dedicato alle moderne configurazioni di torni CNC ed alla loro programmazione. Abbiamo preso in considerazione torni che comprendono assi lineari Y, assi rotanti C, e utensili motorizzati per effettuare fresature e forature. La tematica è molto vasta e difficile da esaminare in modo esaustivo: sono state perciò evidenziate quelle che sono le caratteristiche comuni a molti sistemi presenti sul mercato. Il terzo capitolo tratta la configurazione e la programmazione dei torni a fantina mobile, integrati da caricatore di barre. Infine il quarto e ultimo capitolo è dedicato ai materiali: si analizzano i principali materiali metallici e la loro designazione, per poi esaminare la notevole importanza che rivestono oggi i materiali polimerici, ceramici e compositi.

Abstract: Esplora alcuni popolari linguaggi di coding e, seguendo i tutorial passo passo, comprendi come utilizzarli per creare il tuo primo sito web, sviluppare un videogioco, progettare una semplice applicazione e programmare minicomputer come Raspberry Pi. Mettiti alla prova dando sfogo alla creatività. Scritto da un team di esperti e docenti di coding, questo libro è l'ideale per iniziare a programmare dalle basi.

Abstract: Ogni paragrafo di ogni capitolo ha uno spiccato approccio pratico e contribuisce a costruire un sistema di soluzioni applicabili a tutti gli aspetti del processo di sviluppo software: dall'individuazione dei requisiti alle modalità di rilascio, dagli strumenti per la gestione del codice al suo mantenimento e possibile riutilizzo. Ma c'è di più, un pragmatic programmer padroneggia una filosofia di lavoro che aiuta a definire i ruoli e le responsabilità in progetti complessi. Il testo è arricchito da esercizi, esempi reali e aneddoti in cui ogni programmatore può facilmente ritrovarsi per capire come evitare gli errori più importanti tipici delle varie fasi della creazione di software. L'obiettivo finale è migliorare la produttività, l'accuratezza e la soddisfazione per il codice prodotto. Un libro per sviluppatori, esperti o alle prime armi, e project manager che vogliono acquisire competenze per una carriera di successo e diventare programmatori pragmatici

Abstract: Cosa succede, nella Silicon Valley? Per quale ragione gli spazi di lavoro sono disegnati come appartamenti, e gli appartamenti come spazi di lavoro? In base a quale idea del mondo anche chi hai seduto di fronte comunica con te solo via messaggio? Come mai gli unici scambi diretti fra umani ruotano intorno alle ordinazioni del delivery successivo? E soprattutto, oltre a imporre una vita quotidiana così diversa da tutte le altre, cosa fanno veramente le startup? Accumulano quantità inimmaginabili di dati su ciascuno di noi, e li organizzano secondo strategie sempre più veloci e sofisticate, ma perché? Per vendere, d'accordo. Per sorvegliare, come no. Ma poi? Su domande come queste speculiamo ogni giorno, senza peraltro neppure sapere bene come sia fatta, Silicon Valley, e cosa sia. Anna Wiener ci ha lavorato per cinque anni, e quando ne è uscita ha deciso di scrivere questo rapporto, che ha assunto quasi da solo la forma di un romanzo. Si ride molto, a leggerlo. Ma si ride sempre, quando si ha paura.

Abstract: Cos'è il coding? Perché i bambini dovrebbero imparare a programmare? Perché molte scuole non insegnano adeguatamente la scienza dei computer? Rispondere a queste domande non è così semplice e, anche se la stragrande maggioranza di docenti, genitori e studenti comprende l'importanza dell'informatica nel 21° secolo, molti faticano a trovare risorse educative adeguate. Questo libro vuole colmare una lacuna nelle conoscenze attuali spiegando esattamente cos'è il coding e come possa essere insegnato in modo adeguato. Scritto da educatori e ricercatori esperti, è una guida pratica e accessibile a tutto ciò che serve sapere per poter insegnare un linguaggio di programmazione, sfatando alcuni falsi miti e offrendo spunti per definire un percorso educativo in campo informatico. I capitoli, scritti con un linguaggio chiaro e privo di tecnicismi, esplorano una vasta gamma di argomenti: dalla storia dell'educazione informatica e della sua influenza sull'attuale sistema scolastico all'analisi dei linguaggi programmazione. Ricco di spunti di riflessione ed esercizi, questo libro è utile per gli insegnanti alle prime armi e utile a docenti e formatori più esperti che vogliono migliorare l'approccio all'insegnamento del coding.

Abstract: La progettazione del software orientato agli oggetti può essere facilitata e ottimizzata utilizzando linee guida e schemi di progettazione standard. I problemi che si presentano allo sviluppatore e al software designer sono spesso risolvibili mediante soluzioni architetturali elaborate da esperti del settore, quindi ampiamente testate e utilizzate sul campo. Si evita così di studiare nuovamente questioni già risolte e di "reinventare ogni volta la ruota". Dopo un'introduzione ai principi fondamentali del software design e del paradigma orientato agli oggetti, questo libro illustra i 23 design patterns fondamentali e mostra come applicarli ai corrispondenti casi di progettazione, attraverso descrizioni, schemi, esempi e implementazioni di casi reali. Grazie ai diagrammi in formato UML e al codice sorgente scritto in C# (ma facilmente comprensibile anche a chi sviluppa in Java, C++ o qualsiasi altro linguaggio orientato agli oggetti), il libro va incontro alle esigenze di analisti, progettisti, sviluppatori intermedi ed esperti e studenti di ingegneria del software.

Abstract: STEM è l'acronimo di Science, Technology, Engineering and Mathematics. Lo STEM mira proprio a ripensare il mondo scolastico in termini di progettazione di nuovi corsi di studio orientati a incrementare le conoscenze e la competitività nei campi sia scientifico che tecnologico. L'insegnamento di queste materie c'è sempre stato ma è soltanto negli ultimi anni che sta assumendo una importanza maggiore soprattutto per via del fatto che il mondo è e sarà sempre più tecnologico. La scienza si applica al mondo tecnologico/industriale fin dai tempi della rivoluzione industriale ma oggi l'interconnessione di queste materie ha forti implicazioni per lo sviluppo della futura forza lavoro. L'obiettivo dello studio delle materie STEM è migliorare la competitività nel campo scientifico e tecnologico. Un nuovo approccio all'insegnamento di queste materie viene proprio dall'utilizzo della robotica nelle scuole. La robotica educativa sicuramente facilita l'insegnamento di queste discipline in quanto permette allo studente di "toccare" con mano i concetti esposti in teoria. Lo studente, così facendo, acquista anche un ruolo "attivo" durante le lezioni. Lo scopo di questo libro è proprio quello di fare luce sul concetto di STEM e di mostrare come la matematica, la fisica, l'informatica, l'elettronica, la meccanica stanno rivoluzionando non solo il mondo del lavoro ma anche e soprattutto il mondo dell'istruzione. Il futuro è nelle mani di queste discipline che sempre più spesso si intrecciano. Alcuni capitoli di questo libro illustreranno esempi pratici di come si possono intrecciare queste discipline e con che grado di complessità.

Abstract: In "Clean craftsmanship" il leggendario "Uncle Bob" riunisce tutta la sua esperienza in un testo unico e descrive discipline, standard e principi necessari per scrivere codice efficace in modo rapido e produttivo, diventando programmatori migliori e orgogliosi del proprio lavoro. Il volume inizia illustrando i cinque pilastri che i maestri del software sanno padroneggiare: lo sviluppo test-driven, il refactoring, il simple design, la programmazione collaborativa e i test di accettazione. Successivamente descrive come, tra sviluppatore e utente, aspettative e prospettive possano divergere e cerca di ricomporre questa frattura con la condivisione di standard comuni. Infine, si concentra sugli aspetti etici, definendo le dieci promesse fondamentali che ogni programmatore dovrebbe fare ai colleghi, agli utenti e, soprattutto, a se stesso. Una guida per scrivere codice affidabile di qualità, ricca di consigli per diventare veri maestri dello sviluppo software.

Abstract: Un'utile introduzione al coding che spiega in maniera accessibile le nozioni base di Scratch, il più famoso ambiente di programmazione a blocchi gratuito e reperibile online. Con tanti consigli e spiegazioni illustrate passo dopo passo per creare e condividere semplici giochi e animazioni

Abstract: Cos'è il coding? Come funziona un videogioco? Possiamo imparare a programmarlo? L'arrivo inaspettato di una nuova compagna di scuola sconvolge la vita svogliata di Mattia, più appassionato di videogiochi che di libri e di studio. Linda diventerà sua grande amica e gli insegnerà che è più divertente ideare e creare videogiochi che giocarci. E che tutti possono farlo con un po' di logica e tanta fantasia. Con l'aiuto della maestra, verrà organizzato a scuola un corso per imparare le basi del coding, cioè della programmazione del computer. Mattia, Linda e i loro compagni inizieranno così a esplorare un nuovo mondo fatto di blocchi colorati che, sovrapposti, permettono di ottenere il codice per progettare e sviluppare giochi, animazioni, storie...

Abstract: Questa pratica guida ­ aggiornata con tutte le moderne tecnologie per lo sviluppo web, contiene gli strumenti, i principi e le tecniche necessari per costruire un sito completamente funzionale basato su MySQL e PHP. Chiunque abbia una conoscenza di base di HTML e un minimo di esperienza nella gestione di un sito web potrà muovere i primi passi nella programmazione lato server, per imparare a gestire dinamicamente grandi quantità di dati, fornire agli utenti contenuti personalizzati e interattivi, costruire CMS e piattaforme di e­commerce efficienti. Gli sviluppatori alle prime armi apprezzeranno il linguaggio semplice, le spiegazioni passo passo e il codice degli esempi da testare, mentre quelli più esperti troveranno utile la trattazione di tecniche avanzate, come la memorizzazione di dati binari in MySQL, i cookie e le sessioni PHP.

Abstract: Un modo nuovo e più bello per imparare PHP e MySQL. Questo libro è per chi non conosce il linguaggio PHP, il sistema di database MySQL e la programmazione web lato server. L'obiettivo è creare pagine e siti web dinamici comprendendo le logiche alla base e le tecnologie necessarie. Tutto grazie a un approccio visuale che attraverso grafici, immagini, esempi passo passo, aiuta a semplificare e rende chiari anche i concetti più difficili. Pagina dopo pagina il lettore scopre come funziona PHP e impara a utilizzarlo per generare pagine web personalizzate per ogni utente usando dati e contenuti organizzati in database MySQL. I numerosi esempi di codice spiegano funzionalità e tecniche applicabili a diverse tipologie di siti, come ecommerce, blog, social network, motori di ricerca, e più in generale piattaforme per la gestione dei contenuti (CMS). In breve si inizia a pensare come un programmatore web realizzando pagine che permettono di registrarsi a un sito, creare e modificare articoli, caricare file e immagini, gestire preferenze, aggiungere commenti e Mi piace, e molto altro.