Arama Sonuçları - functions additional programming design based tools*

1

Network Performance Analysis Using the J Programming Language /

Yazar: Holt, Alan., Holt, Alan.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

2

Analysis and Design of Information Systems

Yazar: Langer, Arthur M., Langer, Arthur M.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Based Tools -- Logic Data Modeling Tools -- Web User Interface Tools -- XML in Analysis and Design...”
Tam Metin Erişim

Elektronik Ekitap

3

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Tam Metin Erişim

Elektronik Ekitap

4

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Tam Metin Erişim

Elektronik Ekitap

5

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design...”
Tam Metin Erişim

Elektronik Ekitap

6

DNA Cloning and Assembly Methods

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...”
Tam Metin Erişim

Elektronik Ekitap

7

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Tam Metin Erişim

Elektronik Ekitap

8

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Papers -- MDA Tool for Telecom Service Functional Design -- A NUI Based Multiple Perspective Variability...”
Tam Metin Erişim

Elektronik Ekitap

9

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”
Tam Metin Erişim

Elektronik Ekitap

10

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Designing Reliable Algorithms in Unreliable Memories -- From Balanced Graph Partitioning...”
Tam Metin Erişim

Elektronik Ekitap

11

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Tam Metin Erişim

Elektronik Ekitap

12

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...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Study for a Hard-Coal Mine -- Optimization of a Class of Uncertain Systems Based on Uncertain Variables...”
Tam Metin Erişim

Elektronik Ekitap

13

Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Processes -- Design-Opportunities and Limitations on Additive Manufacturing Determined by a Suitable Test...”
Tam Metin Erişim

Elektronik Ekitap

14

Guide to Geometric Algebra in Practice

Baskı/Yayın Bilgisi 2011

İçindekiler: “... Geometric Algebra -- Part III: Image Processing -- Quaternion Atomic Function for Image Processing -- Color...”
Tam Metin Erişim

Elektronik Ekitap

15

Inventory control system /

Yazar: Er, Peck Geok.

Tez Kitap

16

Autodesk Inventor 2012 and Inventor LT 2012 essentials : autodesk official training guide /

Yazar: Tremblay, Thom, 1967-.
Baskı/Yayın Bilgisi 2011

Kitap

17

Feature-Oriented Software Product Lines Concepts and Implementation /

Yazar: Apel, Sven., Apel, Sven., Batory, Don., Kästner, Christian., Saake, Gunter.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... Criteria -- Classic, Language-Based Variability Mechanisms -- Classic, Tool-Driven Variability Mechanisms...”
Tam Metin Erişim

Elektronik Ekitap

18

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Functional Program ParaGauss for Complex Systems in Chemistry....”
Tam Metin Erişim

Elektronik Ekitap

19

Field Manual of Techniques in Invertebrate Pathology Application and Evaluation of Pathogens for Control of Insects and other Invertebrate Pests /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Considerations -- Experimental design: statistical considerations and analysis -- Application Equipment -- Ground...”
Tam Metin Erişim

Elektronik Ekitap

20

Perspectives in Business Informatics Research 9th International Conference, BIR 2010, Rostock, Germany, September 29--October 1, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Knowledge and Information Management -- Using HCI-Patterns for Modeling and Design of Knowledge...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt