Arama Sonuçları - integrate computer programs programme abstracts https

1

Foundations of Java for ABAP Programmers

Yazar: Rooney, Alistair., Rooney, Alistair.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Introducing Java -- Your First Java Program -- Object Orientation in a Nutshell -- The Primitive...”
Tam Metin Erişim

Elektronik Ekitap

2

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”
Tam Metin Erişim

Elektronik Ekitap

3

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Architecture for Reconfigurable Computing -- Integrated Design Environment for Reconfigurable HPC...”
Tam Metin Erişim

Elektronik Ekitap

4

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Tam Metin Erişim

Elektronik Ekitap

5

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Research Papers -- Business Process Model Abstraction Based on Behavioral Profiles -- Root-Cause...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...”
Tam Metin Erişim

Elektronik Ekitap

7

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Tam Metin Erişim

Elektronik Ekitap

8

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Designing Programming Exercises with Computer Assisted Instruction -- The Strategy and Practice of Blended...”
Tam Metin Erişim

Elektronik Ekitap

9

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

10

PHP Objects, Patterns and Practice

Yazar: Zandstra, Matt., Zandstra, Matt.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... Principles -- Generating Object -- Pattern for Flexible Object Programming -- Performing and Representing...”
Tam Metin Erişim

Elektronik Ekitap

11

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Tam Metin Erişim

Elektronik Ekitap

12

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Tam Metin Erişim

Elektronik Ekitap

13

Domain-Specific Model-Driven Testing

Yazar: Bärisch, Stefan., Bärisch, Stefan.
Baskı/Yayın Bilgisi 2010

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

14

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Integrated Computation, Communication and Control: Towards Next Revolution in Information Technology...”
Tam Metin Erişim

Elektronik Ekitap

15

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM...”
Tam Metin Erişim

Elektronik Ekitap

16

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”
Tam Metin Erişim

Elektronik Ekitap

17

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... to Regulate Project-Based Learning -- Lost in Translation from Abstract Learning Design to ICT Implementation...”
Tam Metin Erişim

Elektronik Ekitap

18

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...”
Tam Metin Erişim

Elektronik Ekitap

19

Introduction to Cryptography with Maple

Yazar: Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Baskı/Yayın Bilgisi 2013

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

20

Pro Drupal 7 for Windows Developers

Yazar: Travis, Brian., Travis, Brian.
Baskı/Yayın Bilgisi 2011

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt