1
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun...
View full text
Electronic eBook
3
by Atan, Rodziah
Published 2005
Subjects: ...Automatic programming (Computer science)...
View full text
Thesis
4
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ... and Schematic Design -- Adult Things -- Higher Order Programming and Lower Level Activity -- Programming...
View full text
Electronic eBook
5
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
View full text
Electronic eBook
6
by McLaughlin, Michael
Published 2014
Subjects: ...PL/SQL (Computer program language)....
Book
7
Published 2014
Table of Contents: ... Dispute -- Negotiating Construction Dispute -- Mediation as a Form of Assisted Negotiation....
View full text
Electronic eBook
8
Table of Contents: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
View full text
Electronic eBook
9
by Holt, Alan., Holt, Alan.
Published 2008
Table of Contents: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Approach -- Learning Block-Preserving Outerplanar Graph Patterns and Its Application to Data Mining....
View full text
Electronic eBook
11
Table of Contents: ... programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced...
View full text
Electronic eBook
12
by Graba, Jan., Graba, Jan.
Published 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
View full text
Electronic eBook
13
by Ahmad, Syarbaini
Published 2016
Subjects: ...Debugging in computer science - Computer programs...
View full text
Thesis
14
Published 2005
Table of Contents: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
View full text
Electronic eBook
15
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...-DIMENSIONAL MODEL -- A MULTI-AGENT TRAFFIC AND ENVIRONMENTAL SIMULATOR AND ITS APPLICATION TO THE ANA....
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Clustering Algorithm Based on Power for WSNs -- Analysis of Local Route Maintenance for Ad Hoc Network...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... British Computing -- 50 Years Ago We Constructed the First Hungarian Tube Computer, the M-3: Short Stories...
View full text
Electronic eBook