Rezultaty - program description https functional structures https

Inne możliwości wyszukiwania:
functional structures » functional structure , functional structural , functional status
program description » problem description , process description , profile description
description https » description atoms , description mtt , description graphs
https functional » cots functional , cuts functional , dots functional

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings /

Wydane 2012

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

Wydane 2011

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /

Wydane 2014

Spis treści: “... measures -- Trade-offs between computational models and modes of operation -- Succinctness of description...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /

Wydane 2013

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Wydane 2006

Spis treści: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages An Active Learning Approach /

od Lee, Kent D., Lee, Kent D.
Wydane 2008

Spis treści: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Wydane 2008

Spis treści: “... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Wydane 2007

Spis treści: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Operational Semantics A Concise Overview /

od Fernández, Maribel., Fernández, Maribel.
Wydane 2014

Spis treści: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Foundations of Programming Languages

od Lee, Kent D., Lee, Kent D.
Wydane 2014

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages: Principles and Paradigms

od Gabbrielli, Maurizio., Gabbrielli, Maurizio., Martini, Simone.
Wydane 2010

Spis treści: “... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Wydane 2006

Spis treści: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... Modules for the Description Logic SRIQ -- An Event Structure Model for Probabilistic Concurrent Kleene...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Towards the Internet of Services: The THESEUS Research Program

Wydane 2014

Spis treści: “... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...”
Dokumenty pełnotekstowe

Elektroniczne E-book

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Wydane 2010

Spis treści: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
Następna »
[6]

Redukuj rezultaty