{"title":"Dusko Pavlovic","description":null,"products":[{"product_id":"programs-as-diagrams-book-dusko-pavlovic-9783031348266","title":"Programs as Diagrams","description":"\u003cp\u003eIt is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.\u003c\/p\u003e\n\n\u003cp\u003eIn this unique textbook\/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such \u003ci\u003ep\u003c\/i\u003e\u003ci\u003erograms as diagrams\u003c\/i\u003e show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.\u003c\/p\u003e\n\n\u003cp\u003e\u003cb\u003eTopics and features:\u003c\/b\u003e\u003c\/p\u003e\n\n\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eDelivers a ‘crash’ diagram-based course in theory of computation\u003c\/li\u003e\n\u003cli\u003eUses single-instruction diagrammatic programming language\u003c\/li\u003e\n\u003cli\u003eOffers a practical introduction into categories and string diagrams as computational tools\u003c\/li\u003e\n\u003cli\u003eReveals how computability is programmability, rather than an ‘ether’ permeating computers \u003c\/li\u003e\n\u003cli\u003eProvides a categorical model of intensional computation is unique up to isomorphism\u003c\/li\u003e\n\u003cli\u003eServes as a stepping stone into research of computable categories\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003e\u003c\/p\u003e\n\n\n\n\n\n\n\n\n\n\n\n\u003cp\u003eIn addition to its early chapters introducing computability for beginners, this flexible textbook\/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. \u003c\/p\u003e\n\n\u003cp\u003e\u003cb\u003eDusko Pavlovic\u003c\/b\u003e is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51063388143889,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51063391846673,"sku":"NIN9783031348266","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52141952729361,"sku":"NLS9783031348266","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031348265.jpg?v=1750870492"},{"product_id":"programs-as-diagrams-book-dusko-pavlovic-9783031348297","title":"Programs as Diagrams","description":"\u003cp\u003eIt is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.\u003c\/p\u003e\n\n\u003cp\u003eIn this unique textbook\/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such \u003ci\u003ep\u003c\/i\u003e\u003ci\u003erograms as diagrams\u003c\/i\u003e show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.\u003c\/p\u003e\n\n\u003cp\u003e\u003cb\u003eTopics and features:\u003c\/b\u003e\u003c\/p\u003e\n\n\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eDelivers a ‘crash’ diagram-based course in theory of computation\u003c\/li\u003e\n\u003cli\u003eUses single-instruction diagrammatic programming language\u003c\/li\u003e\n\u003cli\u003eOffers a practical introduction into categories and string diagrams as computational tools\u003c\/li\u003e\n\u003cli\u003eReveals how computability is programmability, rather than an ‘ether’ permeating computers \u003c\/li\u003e\n\u003cli\u003eProvides a categorical model of intensional computation is unique up to isomorphism\u003c\/li\u003e\n\u003cli\u003eServes as a stepping stone into research of computable categories\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003e\u003c\/p\u003e\n\n\n\n\n\n\n\n\n\n\n\n\u003cp\u003eIn addition to its early chapters introducing computability for beginners, this flexible textbook\/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. \u003c\/p\u003e\n\n\u003cp\u003e\u003cb\u003eDusko Pavlovic\u003c\/b\u003e is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52418624979217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52418626027793,"sku":"NGR9783031348297","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031348297.jpg?v=1787752155"},{"product_id":"introduction-to-security-science-book-dusko-pavlovic-9783032009487","title":"Introduction to Security Science","description":"\u003cp\u003eEveryone needs security:  Nations need national security, corporations need corporate security, individuals need personal security, cybersecurity, AI security. What is the common denominator of these security concepts? \u003c\/p\u003e\n\u003cp\u003e\u003cbr\u003eSecurity and science are the building blocks of the modern civilization. Science gave us the powers to change the world. Security should protect us from abuses of those powers. Yet humans have been hesitant to apply the methods of science to the problems of security. This core security-science (SecSci) textbook is a step in that direction. \u003c\/p\u003e\n\u003cp\u003e\u003cbr\u003eWhile many students pursue security out of genuine interest, most security curricula are plastered with industry buzzwords and policy slogans, driven by market incentives and government funding. The result is the attackers get richer, and their victims get poorer—while security experts inhabit the realm of informal narratives in-between. Before joining the fray, some students want to understand it. This textbook arose from the authors' efforts to cater to such students by peeling off the veils of expertise and replacing them with explanations and simple mathematical models.\u003c\/p\u003e\n\u003cp\u003e \u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eTopics, goals and features:\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eUnderstand the basic ideas behind the main security concepts and beyond the buzzwords\u003c\/li\u003e\n\u003cli\u003eCybersecurity and computer security are not as different from physical security and national security as they make you think.\u003c\/li\u003e\n\u003cli\u003ePhysical space is described by its geometry, but what is the geometry of cyberspace?\u003c\/li\u003e\n\u003cli\u003eDifferent programming languages and different network and computer architectures require different security tools. Learn the security methods independent on the differences.\u003c\/li\u003e\n\u003cli\u003ePrivacy is not a security requirement but the right to be left alone.\u003c\/li\u003e\n\u003cli\u003eThe more I trust you, the less security and privacy I need from you. But why do I trust you? \u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cbr\u003eThis uniquely informative textbook provides supporting materials for undergraduate and graduate courses on security, privacy, and trust. The early chapters introduce the basic concepts at the beginner level. The later chapters require some technical confidence and intellectual maturity. The book can also be used as an entry point into SecSci research.\u003c\/p\u003e\n\u003cp\u003e\u003cbr\u003eThe authors are professors at the Department of Information and Computer Sciences at the University of Hawai‘i at Mānoa.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52565396947217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52565397504273,"sku":"NGR9783032009487","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032009487.jpg?v=1785998865"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-dusko-pavlovic.oembed","provider":"World of Books ","version":"1.0","type":"link"}