প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
বিকল্প অনুসন্ধান করুন:
interactive specification » interaction specifications, interactive sonification, interactive verification
specification program » specifications program, verification program, purification program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
interactive specification » interaction specifications, interactive sonification, interactive verification
specification program » specifications program, verification program, purification program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
2
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
3
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
4
সূচিপত্রের সারণি:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
5
প্রকাশিত 2006
সূচিপত্রের সারণি:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
6
প্রকাশিত 2012
সূচিপত্রের সারণি:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
7
প্রকাশিত 2005
সূচিপত্রের সারণি:
“... Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
8
প্রকাশিত 2015
সূচিপত্রের সারণি:
“... in Construction: Sludge and Recycling -- Recycling of waste plastics -- Recent resource and environmental issues...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
9
বিষয়গুলি:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
10
সূচিপত্রের সারণি:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
11
সূচিপত্রের সারণি:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
সম্পূর্ণ পাঠ পাওয়ার জন্য
সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
12
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
13
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
14
প্রকাশিত 2005
সূচিপত্রের সারণি:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
15
প্রকাশিত 2006
সূচিপত্রের সারণি:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
16
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
17
প্রকাশিত 2010
সূচিপত্রের সারণি:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
18
প্রকাশিত 2007
সূচিপত্রের সারণি:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
19
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ
20
প্রকাশিত 2008
সূচিপত্রের সারণি:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”সম্পূর্ণ পাঠ পাওয়ার জন্য
বৈদ্যুতিক
বৈদ্যুতিন গ্রন্থ