Search Results - computers computer program languages javascript.
Search alternatives:
- program languages »
-
361
-
362
-
363
-
364by Zakas, Nicholas C.Subjects: “...JavaScript (Computer program language)...”
Published 2007
Table of contents only
Book -
365by Brooks, David R., 1941-Subjects: “...JavaScript (Computer program language) http://id.loc.gov/authorities/subjects/sh96004880...”
Published 2007
Connect to the full text of this electronic book
eBook -
366
-
367PHP & MySQL : the missing manual® guo ji Zhong wen ban /PHP & MySQL : the missing manual® 國際中文版 /by McLaughlin, BrettConnect to the full text of this electronic book
Published 2012
eBook -
368
-
369by Bohnacker, Hartmut, 1972-, Gross, Benedikt, 1980-, Laub, Julia, 1980-, Lazzeroni, ClaudiusSubjects: “...JavaScript (Computer program language) http://id.loc.gov/authorities/subjects/sh96004880...”
Published 2018
Book -
370Published 2021Table of Contents: “...-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants....”
Connect to the full text of this electronic book
eBook -
371by Harwani, B. M.Subjects: “...JavaScript (Computer program language) http://id.loc.gov/authorities/subjects/sh96004880...”
Published 2010
Connect to the full text of this electronic book
eBook -
372Published 2018Subjects: “...JavaScript (Computer program language)...”
Connect to this streaming video (Alexander Street Press)
Video -
373
-
374
-
375Node yu Express kai fa : di 2 ban = Web development with Node and Express : second edition /Node 与 Express 开发 : 第2版 = Web development with Node and Express : second edition /by Brown, Ethan, 1975-Subjects: “...JavaScript (Computer program language)...”
Published 2021
Connect to the full text of this electronic book
eBook -
376Wang ye ying yong cheng shi she ji : shi yong Node he Express = Web development with Node and Express /網頁應用程式設計 : 使用 Node 和 Express = Web development with Node and Express /by Brown, Ethan, 1975-Subjects: “...JavaScript (Computer program language)...”
Published 2014
Connect to the full text of this electronic book
eBook -
377by Peterke, LarsSubjects: “...JavaScript (Computer program language)...”
Published 2019
Connect to the full text of this electronic book
eBook -
378Published 2018Subjects: “...JavaScript (Computer program language)...”
Connect to this streaming video (Alexander Street Press)
Video -
379Published 2018Subjects: “...JavaScript (Computer program language)...”
Connect to this streaming video (Alexander Street Press)
Video -
380