Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interactive applications » internet applications, enterprise applications, quantitative applications
applications program » applications programs, application program, application programs
program programs » program program, programs program, program progress
programs based » programs case, programming based
based https » based http
interactive applications » internet applications, enterprise applications, quantitative applications
applications program » applications programs, application program, application programs
program programs » program program, programs program, program progress
programs based » programs case, programming based
based https » based http
1
Argitaratua 2013
Aurkibidea:
“... Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach...”Testu osoa
Baliabide elektronikoa
eBook
2
Aurkibidea:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“... -- Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs -- Public vs Private Coin...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2015
Aurkibidea:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
7
Gaiak:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2011
Aurkibidea:
“... -- Design and Development of a Migratory Application based on OPEN Migration Service Platform -- Next...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“...-Based Disambiguation of Meta Programs with Concrete Object Syntax -- A Versatile Kernel for Multi...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“... and Collaboration Support -- V: Web-Based and Mobile Applications and Services -- VI: Advanced Design...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2006
Aurkibidea:
“... with Added Appendix -- Computability Logic: A Formal Theory of Interaction -- Applications -- Human-Computer...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2012
Aurkibidea:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2014
Aurkibidea:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Testu osoa
Baliabide elektronikoa
eBook