Αποτελέσματα αναζήτησης - program function https functions mind https

1

Drawing Programs: The Theory and Practice of Schematic Functional Programming

ανά Addis, Tom., Addis, Tom., Addis, Jan.
Έκδοση 2010

Πίνακας περιεχομένων: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Έκδοση 2014

Πίνακας περιεχομένων: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Έκδοση 2015

Πίνακας περιεχομένων: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

The Evolving Brain The Mind and the Neural Control of Behavior /

ανά Vanderwolf, C. H., Vanderwolf, C. H.
Έκδοση 2007

Πίνακας περιεχομένων: “...The mind and the explanation of behavior -- An introduction to behavior for neuroscientists...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Krister Segerberg on Logic of Actions

Έκδοση 2014

Θέματα: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings /

Έκδοση 2015

Πίνακας περιεχομένων: “... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Causality, Meaningful Complexity and Embodied Cognition

Έκδοση 2010

Πίνακας περιεχομένων: “... -- The Genesis of Mathematical Objects, Following Weyl and Brouwer -- Randomness, Determinism and Programs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

ανά Carsetti, A., Carsetti, A.
Έκδοση 2013

Θέματα: “...Philosophy of Mind. https://scigraph.springernature.com/ontologies/product-market-codes/E31000...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Enhancing Cognitive Fitness in Adults A Guide to the Use and Development of Community-Based Programs /

Έκδοση 2011

Πίνακας περιεχομένων: “...? -- Keys to a Sharp Mind: Results of a model program designed by retirees in an independent living...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Έκδοση 2015

Πίνακας περιεχομένων: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

PHP 5 Recipes A Problem-Solution Approach /

ανά Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Έκδοση 2005

Πίνακας περιεχομένων: “... with Variables -- Using Functions -- Understanding Web Basics -- Creating and Using Forms -- Working with Markup...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

PHP Solutions Dynamic Web Design Made Easy /

ανά Powers, David., Powers, David.
Έκδοση 2014

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

PHP Solutions Dynamic Web Design Made Easy /

ανά Powers, David., Powers, David.
Έκδοση 2010

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

PHP Solutions Dynamic Web Design Made Easy /

ανά Powers, David., Powers, David.
Έκδοση 2007

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Fast Track to MDX

ανά Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Έκδοση 2006

Θέματα: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Java Closures and Lambda

ανά Fischer, Robert., Fischer, Robert.
Έκδοση 2015

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Learning Regression Analysis by Simulation

ανά Takezawa, Kunio., Takezawa, Kunio.
Έκδοση 2014

Θέματα: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Visual C# 2005 Recipes A Problem-Solution Approach /

ανά Rajan, Rakesh., Rajan, Rakesh., MacDonald, Matthew., Jones, Allen.
Έκδοση 2006

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης