Ditapis dengan
Practical Common Lisp
Introduction: Why Lisp? -- Lather, Rinse, Repeat: A Tour of the REPL -- Practical: A Simple Database -- Syntax and Semantics -- Functions -- Variables -- Macros: Standard Control Constructs -- Macros: Defining Your Own -- Practical: Building a Unit Test Framework -- Numbers, Characters, and Strings -- Collections -- They Called It LISP for a Reason: List Processing -- Beyond Lists: Other Uses f…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200178
- Deskripsi Fisik
- XXV, 501 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Iterating Infusion
Introduction -- Level I Whole Consistency: Part One Orientation; Comparisons among Objects and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One Very Common Enterprise-level Design -- Level II Derived Simplicity: Part Four x = why; Interaction Algebra for Analyzing and Designing -- Part Five Live and Unscripted; Object Animation, a Clearer…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200314
- Deskripsi Fisik
- XXXIV, 224 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cryptography in C and C++
Arithmetic and Number Theory in C -- Number Formats: The Representation of Large Numbers in C -- Interface Semantics -- The Fundamental Operations -- Modular Arithmetic: Calculating with Residue Classes -- Where All Roads Meet: Modular Exponentiation -- Bitwise and Logical Functions -- Input, Output, Assignment, Conversion -- Dynamic Registers -- Basic Number-Theoretic Functions -- Rijndael: A …
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781430200260
- Deskripsi Fisik
- 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Best Software Writing I
Style is Substance -- Award for the Silliest User Interface: Windows Search -- The Pitfalls of Outsourcing Programmers -- Excel as a Database -- ICSOC04 Talk -- Autistic Social Software -- Why Not just Block the Apps that Rely on Undocumented Behavior? -- Kicking the Llama -- Save Canada’s Internet from WIPO -- EA: The Human Story -- Strong Typing vs. Strong Testing -- Processing Processing -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200383
- Deskripsi Fisik
- XVIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Best of Verity Stob
Life Before Guis (1988–1994) -- How Friendly Is Your Software? -- The Programmers’ Guide to Programmers -- Larn Yasel Programmin! -- POET’S Day -- The Maltese Modem -- Late One Night -- The Kraken Sleeps -- Twenty Things (Almost) You Didn’t Know ... -- Few Lend (but Fools) -- The Best Improve with Age -- STOB versus the Software Engineers -- Auntie Verity’s Hardware Help -- Undergroun…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200031
- Deskripsi Fisik
- XVIII, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Mobile Computing
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Str…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320210
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation of Functional Languages
Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Program…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540278610
- Deskripsi Fisik
- X, 190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Assembly Language Programming
Overview -- Basic Computer Organization -- Pentium Assembly Language -- The Pentium Processor -- Overview of Assembly Language -- Procedures and the Stack -- Addressing Modes -- Arithmetic Flags and Instructions -- Selection and Iteration -- Logical and Bit Operations -- String Processing -- ASCII and BCD Arithmetic -- MIPS Assembly Language -- MIPS Processor -- MIPS Assembly Language -- Interr…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271552
- Deskripsi Fisik
- XXIV, 692 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Science Logic
Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formula…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318972
- Deskripsi Fisik
- XI, 567 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Unconventional Programming Paradigms
Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structur…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314820
- Deskripsi Fisik
- XI, 367 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah