Rezultati - problem statement https functionality design https

1

A Cp-Theory Problem Book Compactness in Function Spaces /

od Tkachuk, Vladimir V., Tkachuk, Vladimir V.
Izdano 2015

Kazalo: “... of Compactness in Function Spaces -- 2. Solutions of Problems 001-0500 -- 3. Bonus Results: Some Hidden...”
Polni tekst

Elektronski eKnjiga

2

A Cp-Theory Problem Book Special Features of Function Spaces /

od Tkachuk, Vladimir V., Tkachuk, Vladimir V.
Izdano 2014

Kazalo: “... and Properties of Function Spaces -- 2. Solutions of Problems 001-500 -- 3. Bonus Results: Some Hidden statements...”
Polni tekst

Elektronski eKnjiga

3

A Cp-Theory Problem Book Topological and Function Spaces /

od Tkachuk, Vladimir V., Tkachuk, Vladimir V.
Izdano 2011

Kazalo: “... -- 1.2. Solutions of problems 1.001–1.500 -- 1.3. Bonus results: some hidden statements -- 1.4. Open...”
Polni tekst

Elektronski eKnjiga

4

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /

od Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Izdano 2014

Kazalo: “... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...”
Polni tekst

Elektronski eKnjiga

5

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design...”
Polni tekst

Elektronski eKnjiga

6

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

od Spear, Chris., Spear, Chris.
Izdano 2008

Kazalo: “... Statements and Routines -- 3.1 Procedural Statements -- 3.2 Tasks, Functions, and Void Functions -- 3.3 Task...”
Polni tekst

Elektronski eKnjiga

7

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling /

od Pastor, Oscar., Pastor, Oscar., Molina, Juan Carlos.
Izdano 2007

Kazalo: “... -- The OO-Method -- Conceptual Modelling: About the Problem Space -- Conceptual Modelling Primitives...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2005

Kazalo: “... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...”
Polni tekst

Elektronski eKnjiga

9

Introduction to Mathematical Structures and Proofs

od Gerstein, Larry J., Gerstein, Larry J.
Izdano 2012

Kazalo: “.... Functions -- 4. Finite and Infinite Sets -- 5. Combinatorics -- 6. Number Theory -- 7. Complex Numbers...”
Polni tekst

Elektronski eKnjiga

10

Continuous System Simulation

od Cellier, François E., Cellier, François E., Kofman, Ernesto.
Izdano 2006

Kazalo: “.... The Computational Causality of if–Statements, 2. Multi–valued Functions) -- The Switch Equation -- Ideal Diodes...”
Polni tekst

Elektronski eKnjiga

11

Progress in Sustainable Energy Technologies Vol II Creating Sustainable Development /

Izdano 2014

Kazalo: “... Low-Energy Prototype House -- Green Jubail Industrial City -- Design of a Nearly Zero Energy One...”
Polni tekst

Elektronski eKnjiga

12

Innovation through Knowledge Transfer

Izdano 2010

Kazalo: “... in Knowledge-Intense Domains -- Applied Imagination - Designing Innovative Knowledge Transfer Approaches...”
Polni tekst

Elektronski eKnjiga

13

Progress in Sustainable Energy Technologies: Generating Renewable Energy

Izdano 2014

Kazalo: “... Energy Storage Systems: Design, Assessment and Parametric Study of Effects of Charging Temperature...”
Polni tekst

Elektronski eKnjiga

14

Stability and Stabilization of Linear Systems with Saturating Actuators

od Tarbouriech, Sophie., Tarbouriech, Sophie., Garcia, Germain., Gomes da Silva Jr., João Manoel., Queinnec, Isabelle.
Izdano 2011

Kazalo: “...Introduction -- Part I: Generalities -- Description of Systems Considered: Problem Statement...”
Polni tekst

Elektronski eKnjiga

15

The Python Workbook A Brief Introduction with Exercises and Solutions /

od Stephenson, Ben., Stephenson, Ben.
Izdano 2014

Kazalo: “...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...”
Polni tekst

Elektronski eKnjiga

16

Elementary Logic For Software Development /

od Lover, Robert., Lover, Robert.
Izdano 2008

Kazalo: “... Designs -- Material Truth -- Truth for Statements with at Most One Connective -- Truth for Statements...”
Polni tekst

Elektronski eKnjiga

17

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

Izdano 2005

Kazalo: “... Prover for Reasoning on Constraint Problems -- Good and Bad Practices in Propositionalisation...”
Polni tekst

Elektronski eKnjiga

18

Reading, Writing, and Proving A Closer Look at Mathematics /

od Daepp, Ulrich., Daepp, Ulrich., Gorkin, Pamela.
Izdano 2011

Kazalo: “.... Functions, Domain, and Range.- 15. Functions, One-to-One, and Onto -- 16. Inverses -- 17. Images and Inverse...”
Polni tekst

Elektronski eKnjiga

19

Compressible Navier-Stokes Equations Theory and Shape Optimization /

od Plotnikov, Pavel., Plotnikov, Pavel., Sokołowski, Jan.
Izdano 2012

Kazalo: “...Preface -- Introduction -- 1 Preliminaries -- 2 Physical background -- 3 Problem formulation -- 4...”
Polni tekst

Elektronski eKnjiga

20

An Introduction to Programming and Numerical Methods in MATLAB

od Otto, Steve., Otto, Steve., Denier, James P.
Izdano 2005

Kazalo: “...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje