Beginning Linux Programming

Extends functional programming to solve I/O problems, while retaining usual verification features.

Conference proceedings presenting the state-of-the-art in Logic Programming.

Genetic Programming II extends the results of John Koza's ground-breaking work on programming by means of natural selection, described in his first book, Genetic Programming. Using a hierarchical appr

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using c

The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by

A Small Matter of Programming asks why it has been so difficult for end users to command programming power and explores the problems of end-user-driven application development that must be solved to a

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic,

Presents a step-by-step guide in Prolog programming through 4 stages: declarative, procedural, advanced and meta programming with an emphasis on artificial intelligence.

Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to student

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which will make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

A comprehensive survey of the theory and applications of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic p

Clear, comprehensive exposition of interrelation of game theory and linear programming, interrelation of linear programming and modern welfare economics, Leontief theory of input-output, problems of d

Games Programming has been written for the personal computer owner who is setting out to write fams programs. It charts the territory which lies beyond the simplistic arcade game and which leads to the more intellectually exciting game moderators and learning programs. This is not another book of program listings, nor does it present game algorithms in isolation from the computer methods which make them work. The aim is to equip the reader with an awareness of modern techniques of structured programming, a robust attitude to computer languages, and a source of valuable 'know how'.

A comprehensive, up-to-date text on linear programming. Covers all practical modeling, mathematical, geometrical, algorithmic, and computational aspects. Surveys recent developments in the field, incl

A Comprehensive Introduction to Object-Oriented Programming with Java provides an accessible and technically thorough introduction to the basics of programming using java. The text takes a truly objec

《Linux系統與網絡管理（第3版）》以目前廣泛應用的RedHatEnterpriseLinux6．5企業服務器版為平臺，從實際應用的角度全面介紹Linux的系統管理與網絡管理技術。在內容的選取、組織和編排上，強調先進性、技術性和實用性，淡化理論，突出實踐，強調應用。全書共18章，主要內容包括：Linux的文件系統管理、用戶管理、進程管理、軟件包管理、打印機管理，以及DNS服務器、DHCP服務器、

本書從Linux系統出發，以CentOS系統為背景詳細介紹了Linux系統開發的環境及編程介面。全書共分為7章，分別介紹了Linux系統概述、開發環境搭建、檔編程、進程編程、線程編程、網路編程以及資料庫編程等內容。 本書重點突出、應用性較強、內容簡練、題材新穎、案例詳實，理論性與實踐性並重，在結合大量實例的基礎上對Linux系統編程介面進行了細緻的講解與剖析，既涉及作業系統基本原理，又涉及作業系統

Starting Out with Programming Logic and Design, Third Edition, is a language-independent introductory programming book that orients students to programming concepts and logic without assuming any prev

MATLAB PROGRAMMING WITH APPLICATIONS FOR ENGINEERS seeks to simultaneously teach MATLAB as a technical programming language while introducing the student to many of the practical functions that make s

The leading author of programming tutorials for beginners introduces you to Visual C++ 2010 Ivor Horton is the preeminent author of introductory programming language tutorials; previous editions of h

為一本基礎的Java程式設計教科書，內容簡單適宜初學者。每一章後面都有練習題,提供學生課後複習。Ideal for the introductory programming course, An Introduction to Programming Using Java covers all recommended topics put forth by the ACM/IEEE curricu

本書圍繞操作系統基礎與實用技能展開講解，教學內容從Linux系統的歷史背景與開源理念切入，逐步過渡到實際操作層面。為了對接當前企業業務自動化運維的需求，本書引入了企業業務中常用的Python自動化管理模塊，強化跨學科融合教學。不僅如此，書中還融入了虛擬化技術實踐，通過VMware或VirtualBox搭建多機實驗環境，並逐步引入集群管理工具SaltStack的初級應用，以適配企業級運維需求。 本書共9個模塊，包括Linux系統概述、Linux系統基礎運維與管理、進程和服務管理、Linux存儲管理、Linux Shell腳本編程、高效文本處理、配置和管理Linux服務、Linux系統自動化運維、集群管理工具SaltStack等內容。部分模塊提供了對應的實訓題目及自動化評分腳本。此外，本書還提供了相關主流技能競賽和行業權威認證的部分真題，幫助讀者通過練習和實操深度鞏固相關知識。 本書可以作為高校計算機及相關專業的教材，也可作為培訓機構的教材，還適合計算機操作系統運維人員、提供計算機服務器售前售後技術支持的專業人員和廣大計算機愛好者自學使用。

本書以應用為導向，基於Ubuntu平臺，詳細講解Linux系統管理與服務配置相關技術。本書共9章，分為3篇：快速入門篇、系統管理篇、服務配置篇。第一篇主要包括：Linux基礎。第二篇主要包括：文件和目錄管理，用戶和組管理，磁盤存儲管理。第三篇主要包括：網絡服務配置基礎，DNS與DHCP服務，Web、FTP和郵件服務，文件共享服務，網絡安全與訪問管理。本書可作為高校計算機科學與技術、軟件工程、網絡工程、物聯網工程、數據科學與大數據技術、智能科學與技術、通信工程、電子信息工程等專業的教材，也可供廣大Linux愛好者學習使用，還可作為信息技術領域從業人員的參考書。

內容簡介 這是一部從技術原理、工程實踐兩個方面系統、深入講解Linux系統安全的著作，得到了來自騰訊、杭州銀行、叮咚買菜等知名企業的多位行業專家的高度評價。本書從縱深防禦、安全掃描、入侵檢測3個維度細緻講解了如何構建一個銅牆鐵壁般的Linux防護體系，不僅包含大量工程實踐案例，而且對各種的核心知識點繪製了方便記憶的思維導圖。 全書共15章： 第1章介紹了安全的概念和保障安全的主要原則，引申出“縱深防禦”理念。 第2～9章對Linux系統的縱深防禦做了全面、深入的講解，分別從網絡層面、操作系統層面、應用層面對Linux系統進行安全防護，以及如何在保障業務連續性的前提下做好數據備份和恢復，防止數據丟失或被篡改。 第10章介紹了nmap、masscan等掃描工具的原理與使用，以及各種開源和商業Web漏洞掃描工具的原理和使用。 第11～13章重點講解了Linux系統的入侵檢測，涉及Linux Rootkit、病毒木馬檢查、日誌與審計等主題。 第14章介紹了利用威脅情報追蹤最新攻擊趨勢、確定攻擊事件性質的方法。 第15章首先概要性地介紹了網絡安全相關法律和網絡安全等級保護制度的背景與聯繫，然後基於網絡安全等級保護制度的要求，介紹了對Linux系統進行安全加固的具體方案。

《Linux內核模塊開發技術指南》旨在幫助讀者快速理解Linux內核,並掌握內核模塊開發及性能調優的能力.本書以Linux5.10版本內核為藍本,通過對內核工作原理的闡釋與諸多核心模塊的動手實現,詳細介紹了內核模塊相關基礎、併發與互斥、系統調用、內核監控與調試、字符和塊設備驅動、外部中斷、塊/O調度、文件系統、進程調度、網絡數據包過濾、安全模塊等內容.本書不僅適合初學者學習Linux內核開發的基礎知識,也適合有一定基礎的開發者深入學習高級主題和前沿技術.

本書參照當前的CentOS 10 手冊，從實用的角度介紹了被廣泛應用的Linux 操作系統的管理及常見網絡服務器的配置方法。本書內容包括Linux 的安裝與啟動、Shell 的基本命令、用戶和組管理、文件系統管理、系統高級管理、NFS 服務器配置與管理、Samba 服務器配置與管理、DNS 服務器配置與管理、Web 服務器配置與管理、FTP 服務器配置與管理、DHCP 服務器配置與管理、E-mail 服務器配置與管理、Linux 安全配置與管理等。本書內容深入淺出，知識全面且實例豐富，語言通俗易懂。本書採用教、學、做相結合的模式，以培養技能型人才為目標，注重知識的實用性和可操作性，強調職業技能訓練，是學習Linux 技術的優秀教材。 本書既適應Linux 初學者又兼顧技能提高者，適合作為高校相關專業的教材；同時，本書可作為信息類職業技能競賽選手不可多得的參考用書，也可作為中小型網絡管理員、技術支持人員以及從事網絡管理的工作人員的必備參考書。

本書是一本基於openEuler介紹Linux操作系統的入門教材，共14個項目。項目1介紹Linux操作系統的基礎知識及如何安裝openEuler操作系統；項目2～9介紹Linux操作系統的核心知識，包括用戶與用戶組管理、文件管理、文件編輯、軟件包管理、進程管理、磁盤管理、網絡管理、系統安全管理等；項目10～14介紹Linux操作系統的重要知識，包括搭建Apache服務器、搭建FTP服務器、部署DNS服務系統、搭建DHCP服務器、部署基礎電子郵件系統等。本書配套豐富的教學資源，包括教學PPT、教學大綱、教學設計、源代碼、課後習題及答案等。為幫助讀者更好地學習本書中的內容，編寫團隊還提供了在線答疑服務。本書既可作為高等教育本、專科院校計算機相關專業的教材，也可作為Linux操作系統愛好者的自學參考書。

本書主要講解Linux企業級系統運維，共9個項目，包括安裝和批量部署Linux服務器操作系統、系統配置管理進階、部署LAMP與LNMP平臺、反向代理與Web負載均衡、文件同步、MySQL數據庫企業級部署、部署高可用集群、系統監控與日誌管理和分析，以及系統自動化運維。本書內容豐富，注重實踐性和可操作性，針對知識點設計相應的實驗操作示範，便於讀者快速上手。本書可作為高等院校、職業院校計算機相關專業的教材，也可作為Linux系統運維人員的參考用書，以及各類培訓班的教材。

本書根據普通高等院校計算機專業本科生的教學要求，並按照Linux課程教學大綱的規定，同時在參考兄弟院校實用的經典教材和教案的基礎上編寫而成。作者在總結最近幾年Linux課程教學經驗的基礎上，結合本課程及專業的發展趨勢、Linux系統最新發展的情況，安排了本書的內容。本書緊緊圍繞著OpenEuler 24.03 LTS SP1展開，共分6章。第1章簡要介紹了Linux的由來、特點及較為常用的發行版本，詳細描述了如何安裝OpenEuler 24.03 LTS，並介紹了這一系統的基本情況；第2章介紹了OpenEuler 24.03 LTS圖形用戶界面下的日常操作。第3章介紹了OpenEuler 24.03 LTS命令行界面下的常用命令；第4章介紹了如何使用vi/vim編輯器；第5章介紹OpenEuler 24.03 LTS下較為常用的實用程序；第6章介紹了OpenEuler 24.03 LTS下Shell腳本編程的初步知識。本書內容重點突出，語言精煉易懂，可作為普通高等院校計算機相關專業Linux課程教材，也可供計算機相關專業的教學人員、科研人員使用。高職高專類學校也可選用本教材，使用時可以根據學校和學生的實際情況略去某些章節。

本書將基於Kali Linux系統介紹x86組合語言程式的開發方法，從理論基礎出發，結合實戰專案，詳細闡述組合語言的語法規則和shellcode機器碼的編寫流程和分析方法，以及加密和混淆shellcode機器碼的方式。本書共12章，第1～3章詳細講述Kali Linux的使用方法，從搭建Kali Linux虛擬機器環境開始，逐步深入介紹Linux系統命令，以及調試器gdb基本用法等相關內容。第4～7章將介紹組合語言的基礎語法規則，包括資料操作、流程控制、函式定義與調用，以及調用庫函數的方法。第8～12章闡述了使用組合語言開發shellcode機器碼的流程、加密和混淆shellcode的方式，以及分析Metasploit工具內置Linux shellcode的方法。本書示例代碼豐富，實際性和系統性較強，詳細闡述每個案例，助力讀者透徹地理解書中的重點、難點。本書既適合初學者入門，對於工作多年的安全工程師也有參考價值，並可作為高等院校和培訓機構相關專業的教學參考書。

本書介紹二進制、十六進制、計算、編程和x64架構的基礎知識, 分析Linux軟件開發過程, 講解x64指令集、內存尋址、過程、宏及Linux的C庫函數接口, 披露軟件設計、編碼、測試和調試的實用技巧。本書示例代碼豐富, 文筆幽默, 將深奧的知識講得簡單易懂, 為你燃燈指路, 引導你循序漸進地學會彙編編程。

《Kali Linux滲透測試從新手到高手 : 微課超值版》在剖析用戶進行黑客防禦中迫切需要或想要用到的技術時，力求對其進行實操式的講解，使讀者對Kali Linux滲透測試與攻防技術有一個系統的掌握，從而能夠更好地防範黑客的攻擊。全書共分為11章，包括滲透測試概述、搭建滲透測試環境、配置Kali Linux系統、配置靶機系統、滲透信息的收集、掃描系統漏洞、滲透測試框架、嗅探與欺騙技術、破解路由器密碼、從無線網絡滲透內網、網絡中的虛擬AP技術。另外，《Kali Linux滲透測試從新手到高手 : 微課超值版》還贈送海量**資源，包括同步教學微視頻、精美教學幻燈片、教學大綱、108個黑客工具速查手冊、160個常用黑客命令速查手冊、180頁計算機常見故障維修手冊、8大經典密碼破解工具電子書、加密與解密技術快速入門電子書、網站入侵與黑客腳本編程電子書、100款黑客攻防工具包等，幫助讀者掌握黑客防守方方面面的知識。《Kali Linux滲透測試從新手到高手 : 微課超值版》內容豐富、圖文並茂、深入淺出，不僅適用於網絡安全和Kali Linux滲透測試從業人員及網絡管理員，而且適用於廣大網絡愛好者，也可作為大、中專院校相關專業的教學參考書。

本書以CentOS 7.2 為操作平臺，通過項目驅動的方式對Linux 操作系統的基本操作和網絡服務的配置與管理方法進行講解，重點培養學生的實際動手能力和應用能力。全書共14 個項目，內容包括安裝Linux 操作系統、Linux 操作系統常用命令、文本管理、網絡接口管理、用戶管理、權限管理、軟件包的安裝與管理、存儲設備管理、防火牆配置與管理、FTP 服務配置與管理、NFS服務配置與管理、DHCP 服務配置與管理、DNS 服務配置與管理、Web 服務配置與管理。本書內容豐富，由淺入深，強調基礎技能的應用，適用於理論與實踐一體化教學。本書可以作為高等職業院校計算機相關專業的教材，也可以作為Linux 操作系統運維培訓教材和自學參考書。

本書是“十二五”職業教育國家規劃教材，是一本基於“項目驅動、任務導向”項目化教學方式的Linux零基礎教材，體現“基於工作過程”的教學理念。本書以Red Hat Enterprise Linux 7.4/CentOS 7.4為平臺，對Linux網絡操作系統的應用進行詳細講解。全書分為系統安裝與常用命令、系統配置與管理、vim與編程及調試、網絡服務器配置與管理4個學習情境、14個教學實訓項目。教學實訓項目包括安裝與配置Linux操作系統、熟練使用Linux常用命令、管理Linux服務器的用戶和組、配置與管理文件系統、配置與管理磁盤、配置網絡和使用ssh服務、熟練使用vim程序編輯器與shell、學習shell script、使用gcc和make調試程序、配置與管理Samba、DHCP、DNS、Apache、FTP服務器。每個項目配有“項目實錄”“實踐習題”“超級鏈接”等結合實踐應用的內容，引用大量的企業應用實例，配以知識點微課和項目實訓慕課，使“教、學、做”融為一體，實現理論與實踐的完美統一。本書可作為高職高專院校計算機應用技術專業、計算機網絡技術專業、網絡系統管理專業、軟件技術專業及其他計算機類專業的理論與實踐一體化教材，也可作為Linux系統管理和網絡管理人員的自學指導書。

本書是“十二五”“十三五”“十四五”職業教育國家規劃教材，是國家精品課程、國家級精品資源共享課和國家在線精品課程配套教材，是一本基於“項目導向、任務驅動”的“雙元”模式的Linux零基礎教材。本書上一版獲評首屆全國教材建設獎全國優秀教材一等獎。本書以Red Hat Enterprise Linux 7.4/CentOS 7.4為平臺，對Linux網絡操作系統的應用進行詳細講解。全書分為系統安裝與常用命令、系統配置與管理、shell編程與調試、網絡服務器配置與管理4個學習情境共14個教學實訓項目。教學實訓項目包括安裝與配置Linux操作系統、熟練使用Linux常用命令與vim編輯器、管理Linux服務器的用戶和組、配置與管理文件系統、配置與管理磁盤、配置網絡和使用SSH服務、掌握shell基礎、學習shell script、使用GCC編譯器和make命令調試程序、配置與管理服務器(包括samba、DHCP、DNS、Apache、FTP)。幾乎每個項目都配有項目實訓、練習題等結合實踐應用的內容。本書引用大量的企業應用實例，配以知識點微課和項目實訓慕課，使“教、學、做”融為一體，實現理論與實踐的統一。本書可作為計算機應用技術、計算機網絡技術、軟件技術及其他計算機類專業的技術型、技能型人才培養的理論與實踐一體化教材，也可作為Linux系統管理和網絡管理人員的自學指導書。

本書以目前廣泛使用的Ubuntu 20.04平臺為例，由淺入深、系統地講解了Linux操作系統的基本概念和各種網絡服務配置。全書共8個項目，內容包括Ubuntu概述、安裝與基本操作，Linux基本操作命令，用戶組群與文件目錄權限管理，磁盤配置與管理，系統高級配置與管理，軟件包安裝配置與管理，Shell編程基礎，以及常用服務器配置與管理。本書既可作為計算機及相關專業的教材，也可作為廣大計算機愛好者自學Linux操作系統的教材，還可作為網絡管理員的參考用書及相關機構的培訓教材。

本書從原理性和實用性出發，從初學者的角度全面而詳細介紹了Linux操作系統的基本概念和常用命令的使用。闡述的內容都是針對初學者完成日常工作所必需的各個方面，包括Linux的基本概念、常用命令、文件系統、屏幕編輯器、進程管理、shell程序設計、數據管理工具、集成編譯工具、系統調用接口與應用程序開發、進程間通信和線程控制等，最後給出了一組綜合設計實驗。本書各章都有大量的實例講述，各章末尾也有練習題，可幫助讀者由淺入深、循序漸進地學習Linux操作系統，理論聯繫實際，快速上手實踐，逐步達到熟練掌握Linux操作系統的使用技巧以及提高應用開發能力的目的。

本書是《Linux網絡操作系統項目教程(RHEL 8/CentOS 8)(微課版)(第4版)》的國產操作系統EulerOS/KylinOS(歐拉/麒麟)版本，本書旨在滿足國家自主可控操作系統和信息技術創新發展的戰略需求，對接“全國職業院校技能大賽”和“世界技能大賽”，符合“三教”(教師、教材、教法)改革精神。本書是採用了基於“項目驅動、任務導向”的“雙元”模式的“紙質教材+電子活頁”的項目化教程。本書以Linux EulerOS/KylinOS為平臺，分為6個學習情境，分別為系統安裝與常用命令、系統管理與配置、shell編程與調試、網絡服務器配置與管理、系統安全與故障排除(電子活頁)、拓展與提高(電子活頁)。本書共14個項目，包括安裝與配置Linux操作系統、Linux常用命令與vim、管理Linux服務器的用戶和組、配置與管理文件系統、配置與管理硬盤、配置網絡和防火牆(含NAT)、shell基礎、學習shell script、使用gcc和make調試程序、配置與管理samba服務器、配置與管理DHCP服務器、配置與管理DNS服務器、配置與管理Apache服務器、配置與管理FTP服務器。項目配有“項目實訓”等結合實踐應用的內容，引用大量的企業應用實例，配以知識點微課和課堂慕課，使“教、學、做”融為一體，實現理論與實踐統一。本書可作為普通高等院校、職業院校計算機網絡技術、大數據技術、雲計算技術應用、計算機應用技術、軟件技術等專業的理論與實踐教材，也可作為Linux系統管理和網絡管理人員的自學用書。

本書對接“全國職業院校技能大賽”和“世界技能大賽”，符合“三教”改革精神。本書是國家精品課程、國家級精品資源共享課和精品在線開放課程“Linux網絡操作系統”的配套教材。本書是一本基於“項目驅動、任務導向”的“雙元”模式的紙媒+電子活頁的項目化零基礎教程。本書以Ubuntu Linux為平臺，包含6個學習情境，分別為系統安裝與常用命令、系統管理與配置、shell編程與調試、網絡服務器配置與管理、系統安全與故障排除(電子活頁)、拓展與提高(電子活頁)。本書共14個項目，包括安裝與配置Linux操作系統，Linux常用命令與vim，管理用戶、組與文件目錄，配置與管理硬盤，配置網絡和防火牆，軟件包的安裝與管理，Linux編程基礎，學習shell script，使用gcc和make調試程序，以及配置與管理samba、DHCP、DNS、Apache、FTP服務器。此外，還有16個擴展項目(電子活頁)。本書項目配有“項目實訓”等結合實踐應用的內容，引用大量的企業應用實例，配以教學視頻，使“教、學、做”融為一體，實現理論與實踐統一。本書可作為普通高等學校、職業院校計算機網絡技術、大數據技術、雲計算技術與應用、計算機應用技術、軟件技術等相關專業的理論與實踐教材，也可作為Linux系統管理和網絡管理人員的自學用書。

本書結合大量實驗程序和圖表，通俗易懂地介紹了Linux操作系統的運行原理和硬件的基礎知識，涉及進程管理、進程調度器、內存管理、存儲層次、文件系統和外部存儲器等。實驗程序使用C語言和Python編寫，讀者可親自動手運行程序，來確認系統的行為。另外，以圖解的方式介紹各知識點，簡明且直觀，能夠幫助讀者加深理解。讀者只需對Linux基本命令有所瞭解，即可輕鬆閱讀。本書適合應用程序開發人員、系統設計師、運維管理人員和技術支持人員等人士閱讀。