Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
program smart » program summary
smart https » smart http, sport https, smart hotels
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
program smart » program summary
smart https » smart http, sport https, smart hotels
1
Table of Contents:
“... Hydrogel Functional Materials -- Smart Functional Membranes with Alcohol-Responsive Characteristics -- Part...”
View full text
View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Smart Microcapsules with Thermo-Responsive Gating Membranes -- Smart Microcapsules with Thermo...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for Superconducting Spintronics -- Amorphous Chalcogenide Materials with Smart Memory -- Magnetic Refrigeration...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
11
Table of Contents:
“... -- Syncing basics (you only have 4 or 8 GB available), esp with smart playlists -- Bringing along iBooks...”
View full text
View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”View full text
Electronic
eBook
17
Table of Contents:
“... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”View full text
Electronic
eBook
19
by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010
Table of Contents:
“... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”Published 2010
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... in the Electrical Smart Grid -- Security Analysis of the MPLS Label Distribution Protocol -- U.S. Federal Oversight...”View full text
Electronic
eBook



