Výsledky vyhledávání - interations functional programming program based https

1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Vydáno 2015

Obsah: “... Extensions -- Analysis of Asynchronous Programs with Event-Based Synchronization -- A Semantics...”
Získat plný text

Elektronický zdroj E-kniha

2

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Vydáno 2007

Obsah: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
Získat plný text

Elektronický zdroj E-kniha

3

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Vydáno 2006

Obsah: “... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”
Získat plný text

Elektronický zdroj E-kniha

4

Expert One-on-One Oracle

Autor Kyte, Thomas., Kyte, Thomas.
Vydáno 2005

Obsah: “... -- Autonomous Transactions -- Dynamic SQL -- interMedia -- C-Based External Procedures -- Java Stored Procedures...”
Získat plný text

Elektronický zdroj E-kniha

5

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Vydáno 2008

Obsah: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
Získat plný text

Elektronický zdroj E-kniha

6

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Vydáno 2010

Obsah: “... Techniques -- idsocket: API for Inter-domain Communications Base on Xen -- Strategy-Proof Dynamic Resource...”
Získat plný text

Elektronický zdroj E-kniha

7

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Vydáno 2006

Obsah: “...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...”
Získat plný text

Elektronický zdroj E-kniha

8

Electronic Engineering and Computing Technology

Vydáno 2010

Obsah: “... Based Stainless Steel Slurry -- Voxel-Based Component Description for Functional Graded Parts -- A Multi...”
Získat plný text

Elektronický zdroj E-kniha

9

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

Vydáno 2005

Obsah: “...Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block...”
Získat plný text

Elektronický zdroj E-kniha

10

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Vydáno 2010

Obsah: “...-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis...”
Získat plný text

Elektronický zdroj E-kniha

11

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birt...

Vydáno 2005

Obsah: “... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”
Získat plný text

Elektronický zdroj E-kniha

12

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Vydáno 2014

Obsah: “...Secure Text Steganography -- Policy Based Energy Management in Smart Homes -- Saturation Throughput...”
Získat plný text

Elektronický zdroj E-kniha

13

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Vydáno 2010

Obsah: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Získat plný text

Elektronický zdroj E-kniha

14

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

Vydáno 2010

Obsah: “... Feature Extraction and Matching to Iris Recognition -- A Framework for Priority-Based Inter Vehicle...”
Získat plný text

Elektronický zdroj E-kniha

15

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings /

Vydáno 2005

Obsah: “... Solution for Co-design in Radio Base Station DSP SW -- A Framework for Classification of Change Approaches...”
Získat plný text

Elektronický zdroj E-kniha

16

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Pro...

Vydáno 2010

Obsah: “... an Ontology Based on Business Model Thinking -- The Role of Social Networks in Early Adoption of Mobile...”
Získat plný text

Elektronický zdroj E-kniha

17

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Vydáno 2006

Obsah: “.../EDF* -- Web Service Based Inter-AS Connection Managements for QoS-Guaranteed DiffServ Provisioning....”
Získat plný text

Elektronický zdroj E-kniha

18

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Vydáno 2006

Obsah: “... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”
Získat plný text

Elektronický zdroj E-kniha

19

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Vydáno 2006

Obsah: “... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”
Získat plný text

Elektronický zdroj E-kniha

20

Chemical Signals in Vertebrates 10

Vydáno 2005

Obsah: “... by male house mice -- A possible function for female enurination in the mara, Dolichotis patagonum...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání