Search Results - programme foundations https functionality computing https

1

Foundation Flex for Designers

by Goralski, Greg., Goralski, Greg., Leon, Lordalex.
Published 2008

Subjects: “...Computer programming....”
View full text

Electronic eBook

2

Foundations of F#

by Pickering, Robert., Pickering, Robert.
Published 2007

Table of Contents: “...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
View full text

Electronic eBook

3

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /

Published 2014

Table of Contents: “... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”
View full text

Electronic eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “...Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure...”
View full text

Electronic eBook

5

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
View full text

Electronic eBook

6

Advances in Information and Computer Security 9th International Workshop on Security, IWSEC 2014, Hirosaki, Japan, August 27-29, 2014. Proceedings /

Published 2014

Table of Contents: “... Computation for Elliptic Curves (short paper) -- More Constructions of Re-splittable Threshold Public Key...”
View full text

Electronic eBook

7

Molecular Imaging: Computer Reconstruction and Practice

Published 2008

Table of Contents: “...Clinical PET and PET-CT -- Digital X-Ray Imaging -- Physics Simulation Software Foundations...”
View full text

Electronic eBook

8

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Published 2006

Table of Contents: “... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...”
View full text

Electronic eBook

9

Harmonic and Complex Analysis and its Applications

Published 2014

Table of Contents: “...L.D. Abreu, H.G. Feichtinger: Function spaces of polyanalytic functions -- F. Bracci, M.D...”
View full text

Electronic eBook

10

Measure, Topology, and Fractal Geometry

by Edgar, Gerald., Edgar, Gerald.
Published 2008

Subjects: “...Real Functions. https://scigraph.springernature.com/ontologies/product-market-codes/M12171...”
View full text

Electronic eBook

11

Memristor Networks

Published 2014

Table of Contents: “... -- Memristors and Memristive Devices for Neuromorphic Computing -- Bio-inspired Neural Networks -- Self...”
View full text

Electronic eBook

12

Advances in Cryptology - CRYPTO 2008 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008, Proceedings /

Published 2008

Table of Contents: “...Random Oracles -- The Random Oracle Model and the Ideal Cipher Model Are Equivalent -- Programmable...”
View full text

Electronic eBook

13

Network Control and Engineering for QoS, Security and Mobility, IV Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion,...

Published 2007

Table of Contents: “... Aspects of Network Configurations -- Programmable Network Functionality for Improved QoS of Interactive...”
View full text

Electronic eBook

14

Set Theory Centre de Recerca Matemàtica Barcelona, 2003-2004 /

Published 2006

Table of Contents: “...(?, ?) and Part*(?, ?) -- Local Connectedness and Distance Functions -- Bounded Martin’s Maximum and Strong...”
View full text

Electronic eBook

15

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

16

Optimization with PDE Constraints ESF Networking Program 'OPTPDE' /

Published 2014

Table of Contents: “... Methods for Mesh Generation -- Differentiability of Energy Functionals for Unilateral Problems in Domains...”
View full text

Electronic eBook

17

Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedin...

Published 2010

Table of Contents: “... -- Collision Attacks against the Knudsen-Preneel Compression Functions -- Symmetric-Key Cryptosystems...”
View full text

Electronic eBook

18

Personal Wireless Communications The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007 /

Published 2007

Table of Contents: “... Personal Networks over Heterogeneous Ad-hoc Scenarios -- Analysis of Algorithms for Radial Basis Function...”
View full text

Electronic eBook

19

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

by Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
Published 2011

Table of Contents: “...: Appendix -- OpenComRTOS-Suite 1.3 Usage Tutorial -- Foundations for TLA+ and Temporal Logic -- Comparison...”
View full text

Electronic eBook

20

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...On a Logical Foundation for Explicit Substitutions -- From Proof-Nets to Linear Logic Type Systems...”
View full text

Electronic eBook

Narrow Search