Rezultaty - function method program development smart https

1

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Wydane 2007

Spis treści: “... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Smart Materials for Energy, Communications and Security

Wydane 2008

Spis treści: “... for Superconducting Spintronics -- Amorphous Chalcogenide Materials with Smart Memory -- Magnetic Refrigeration...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Wydane 2010

Spis treści: “...New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective -- New...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Towards the Internet of Services: The THESEUS Research Program

Wydane 2014

Spis treści: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Directed Evolution Library Creation Methods and Protocols /

Wydane 2014

Spis treści: “... Assistant Program -- Computational Tools for Designing Smart Libraries -- Computational Tools for Directed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Decision Support for Forest Management

od Kangas, Annika., Kangas, Annika., Kurttila, Mikko., Hujala, Teppo., Eyvindson, Kyle., Kangas, Jyrki.
Wydane 2015

Spis treści: “... Programming and its Extensions in Forest Planning -- 7. Heuristic Optimisation -- 8. Uncertainty...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2006

Spis treści: “... Development Beyond Programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Wydane 2005

Spis treści: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Wydane 2008

Spis treści: “... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Wydane 2010

Spis treści: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings /

Wydane 2010

Spis treści: “... for Efficient Development of Task-Based Applications -- Towards an Integrated Model for Functional and User...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2010

Spis treści: “... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2014

Spis treści: “...Secure Text Steganography -- Policy Based Energy Management in Smart Homes -- Saturation Throughput...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Wydane 2005

Spis treści: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Wydane 2006

Spis treści: “...1: Research Track Full Papers -- Requirements and Method for Assessment of Service Interoperability...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Gra...

Wydane 2007

Spis treści: “...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Wydane 2008

Spis treści: “... Development -- Short Papers -- Smart communications network management through a synthesis of distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty