{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":38,"n_cols":5,"rows_kept":38,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[7,2,7,3],[8,2,8,3],[13,2,13,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[26,2,26,3],[32,2,32,3],[33,2,33,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996394871303316"]
[null,null,"Autore",null,"Flavel John <1630?-1691.>"]
[null,null,"Titolo",null,"The sea-mans companion [[electronic resource] ] : wherein the mysteries of Providence relating to sea-men are opened, their sins and dangers discovered, their duties pressed, and their several troubles and burdens relieved, in six practical and suitable sermons / / by John Flavell ."]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed for Francis Titon ..., 1676"]
[null,null,"Descrizione fisica",null,"[10], 195, [3] p"]
[null,null,"Soggetti",null,"Sailors - Religious life"]
[{"$nulls":4},"Sermons, English - 17th century"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Advertisement: p. [1]-[2] at end."]
[{"$nulls":4},"Corrigenda: p. [3] at end."]
[{"$nulls":4},"Reproduction of original in the British Library."]
[null,null,"Nota di contenuto",null,"(from t.p.) I. The sea-mans farewel, from Acts 21. 5, 6 -- II. The sea-man in a storm, from Psal. 107. 23, &c. -- III. The sea-mans preservative, from Psal. 139. 9 -- IV. The successful sea-man, from Deut. 8. 17, 18 -- V. The disappointed sea-man, from Luk. 5. 5 -- VI. The sea-mans return, from Deut. 33. 19."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNINA9910522987703321"]
[null,null,"Autore",null,"Morazán Marco T."]
[null,null,"Titolo",null,"Animated Problem Solving : An Introduction to Program Design Using Video Game Development / / by Marco T. Morazán"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"9783030850913"]
[{"$nulls":4},"9783030850906"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (688 pages)"]
[null,null,"Collana",null,"Texts in Computer Science, , 1868-095X"]
[null,null,"Disciplina",null,"519.028553"]
[{"$nulls":4},"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Video games - Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Game Development"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Part I: The Basics of Problem Solving with a Computer -- 1. The Science of Problem Solving -- 2. Expressions and Data Types -- 3. The Nature of Functions -- 4. Aliens Attack Version 0 -- 5. Making Decisions -- 6. Aliens Attack Version 1 -- Part II: Compound Data of Finite Size -- 7. Structures -- 8. Defining Structures -- 9. Aliens Attack Version 2.-10. Structures and Variety -- 1.1 Aliens Attack Version 3 -- Part III: Compound Data of Arbitrary Size -- 12. Lists -- 13. List Processing -- 14. Natural Numbers -- 15. Interval Processing -- 16. Aliens Attack Version 4 -- 17. Binary Trees -- 18 -- Mutually Recursive Data -- 19 -- Processing Multiple Inputs of Arbitrary Size -- Part IV: Abstraction -- 20. Functional Abstraction -- 21. Encapsulation -- 22. Lambda Expressions -- 23. Aliens Attack Version 5 -- 24. For-Loops and Pattern Matching -- 25. Interfaces and Objects -- Part V: Distributed Programming -- 26. Introduction to Distributed Programming -- 27. Aliens Attack Version 6 -- 28. Aliens Attack Version 7 -- 29. Aliens Attack Version 8 -- Part VI: Epilogue -- 30. Advice for Future Steps."]
[null,null,null,"Sommario/riassunto","This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving "]
[{"$nulls":4},"techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem. Iterative refinement is the process by which a solution to a problem is gradually made better–like the drafts of an essay. Mastering these techniques are essential to becoming a good problem solver and programmer. The book is divided in five parts. Part I focuses on the basics. It starts with how to write expressions and subsequently leads to decision making and functions as the basis for problem solving. Part II then introduces compound data of finite size, while Part III covers compound data of arbitrary size likee.g. lists, intervals, natural numbers, and binary trees. It also introduces structural recursion, a powerful data-processing strategy that uses divide and conquer to process data whose size is not fixed. Next, Part IV delves into abstraction and shows how to eliminate repetitions in solutions to problems. It also introduces generic programming which is abstraction over the type of data processed. This leads to the realization that functions are data and, perhaps more surprising, that data are functions, which in turn naturally leads to object-oriented programming. Part V introduces distributed programming, i.e., using multiple computers to solve a problem. This book promises that by the end of it readers will have designed and implemented a multiplayer video game that they can play with their friends over the internet. To achieve this, however, there is a lot about problem solving and programming that must be learned first. The game is developed using iterative refinement. The reader learns step-by-step about programming and how to apply new knowledge to develop increasingly better versions of the video game. This way, readers practice modern trends that are likely to be common throughout a professional career and beyond."]