All links @ cidoku.nethttp://cidoku.net/en/links/all
strings. HTML 4.01 Specification The HTML 4.01 standard, all you need to build good web pages. How I experience the Web today An emulation of the modern Web experience. Index DOT
Steven Pembertonhttps://homepages.cwi.nl/~steven/
official Invisible XML Specification . Igor - an Internet of Things Framework : The Internet of Things is driven by many tiny low-powered processors that produce data in a variety
Stroustrup: C++ Glossaryhttps://www.stroustrup.com/glossary.html
a program meets its specification and systematically searching for error. this - pointer to the object for which a non-static member function is called. TC++PL 10.2.7, D&E 2.5.2.
https://www.rfc-editor.org/rfc/rfc2839.txthttps://www.rfc-editor.org/rfc/rfc2839.txt
open Kermit protocol specification [KER]. The Internet has formed the primary mechanism by which users and developers of Kermit software have collaborated to produce feature and c
posts tagged "scheme"http://wingolog.org/tags/scheme
and the negative specification metablog breaking silence, innocuously dispatch strategies in dynamic languages guile bar mitzvah barna dispatch ((lambda (x) ((compile x) x)) '(lam
Develop an Applicationhttps://www.billdietrich.me/DevelopApplication.html
2.0 is a library/specification/abstraction layer that works on top of any of them (.NET 5, .NET Framework, .NET Core). .NET doesn't have a strong cross-platform desktop GUI toolki
Strategies, tools, and languages for developing applications for personal computers and smartphones
The Nascom Home Pagehttp://www.nascomhomepage.com/#TheNascomRepository/mon/nassys1.txt
Nascom 2 Manual: NASBUS specification. Nascom 2 Manual: Construction Manual. Nascom 2 Manual: Getting started Nascom 2 Manual: Hardware Manual. 2708/2716 EPROM programmer Gemini G
G-Kermit 2.01https://www.kermitproject.org/gkermit.html
protocol appears in Specification and Validation Methods , edited by Egon Börger, Oxford University Press (1995). Using C-Kermit by Frank da Cruz and Christine M. Gianone, Di
https://www.rfc-editor.org/rfc/rfc959.txthttps://www.rfc-editor.org/rfc/rfc959.txt
memo is the official specification of the File Transfer Protocol (FTP). Distribution of this memo is unlimited. The following new optional commands are included in this edition of
Windows Internet Kermit Service - User Guidehttps://www.kermitproject.org/wiksduser.html
out you can type a file specification. Or for that matter, you can press the Return or Enter key to start the command. In other words, you can type DIR, then zero or more options,
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
consistency of a specification. It reports on deadlocks, unspecified receptions, flags incompleteness, race conditions, and unwarranted assumptions about the relative speeds of pr
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
Distributed System The Specification and Proof of Correctness of Interactive Programs The Implementation of Reliable Distributed Multiprocess Systems SIFT: Design and Analysis of
Find more...