Search Results - programme computing https functionality setting https

1

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

Published 2006

Table of Contents: “... of Sets and Binary Relations in Continuum Theory: A Survey -- Weak Systems of Gandy, Jensen and Devlin...”
View full text

Electronic eBook

2

Pro T-SQL 2008 Programmer's Guide

by Coles, Michael., Coles, Michael.
Published 2008

Table of Contents: “...The Role of T-SQL -- Tools of the Trade -- T-SQL for SQL Server 2000 Programmers -- Expand coverage...”
View full text

Electronic eBook

3

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

4

Natural Computing 4th International Workshop on Natural Computing, Himeji, Japan, September 2009, Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...”
View full text

Electronic eBook

5

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”
View full text

Electronic eBook

6

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

Published 2005

Table of Contents: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
View full text

Electronic eBook

7

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”
View full text

Electronic eBook

8

Symbolic Integration I Transcendental Functions /

by Bronstein, Manuel., Bronstein, Manuel.
Published 2005

Table of Contents: “...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
View full text

Electronic eBook

9

Arithmetic Geometry over Global Function Fields

by Böckle, Gebhard., Böckle, Gebhard., Burns, David., Goss, David., Thakur, Dinesh., Trihan, Fabien., Ulmer, Douglas.
Published 2014

Table of Contents: “...Cohomological Theory of Crystals over Function Fields and Applications -- On Geometric Iwasawa...”
View full text

Electronic eBook

10

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: “... Breakpoints -- Key Management for Onion Routing in a True Peer to Peer Setting (short paper) -- Threshold...”
View full text

Electronic eBook

11

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

12

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers /

Published 2014

Table of Contents: “... in Programmable Logic Controllers Using Power Fingerprinting -- Timing of Cyber-Physical Attacks on Process...”
View full text

Electronic eBook

13

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Published 2014

Table of Contents: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
View full text

Electronic eBook

14

Advances in Cryptology -- CRYPTO 2012 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings /

Published 2012

Table of Contents: “... for Secure Computation.- Black-Box Constructions of Composable Protocols without Set-Up.- Privacy -- Crowd...”
View full text

Electronic eBook

15

Automated Security Management

Published 2013

Table of Contents: “... Configuration Checking in Secure Cooperative Data Access -- 9: Programmable Diagnostic Network Measurement...”
View full text

Electronic eBook

16

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /

Published 2006

Table of Contents: “...The Need for Standards -- Programmable Platform Characterization for System Level Performance...”
View full text

Electronic eBook

17

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
View full text

Electronic eBook

18

Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers /

Published 2015

Table of Contents: “... -- On the Security of Distributed Multiprime RSA -- Formal Modeling of Random Oracle Programmability and Verification...”
View full text

Electronic eBook

19

ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference /

Published 2007

Table of Contents: “... -- Setting up an Effective Information Security Awareness Programme -- Saferinternet.pl Project — Educational...”
View full text

Electronic eBook

20

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

Narrow Search