 |
 |
DataSys 2023 Congress June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- AICT 2023, The Nineteenth Advanced International Conference on Telecommunications
- ICIW 2023, The Eighteenth International Conference on Internet and Web Applications and Services
- ICIMP 2023, The Eighteenth International Conference on Internet Monitoring and Protection
- SMART 2023, The Twelfth International Conference on Smart Cities, Systems, Devices and Technologies
- IMMM 2023, The Thirteenth International Conference on Advances in Information Mining and Management
- INFOCOMP 2023, The Thirteenth International Conference on Advanced Communications and Computation
- MOBILITY 2023, The Thirteenth International Conference on Mobile Services, Resources, and Users
- SPWID 2023, The Ninth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
- ACCSE 2023, The Eighth International Conference on Advances in Computation, Communications and Services
ComputationWorld 2023 Congress June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- SERVICE COMPUTATION 2023, The Fifteenth International Conference on Advanced Service Computing
- CLOUD COMPUTING 2023, The Fourteenth International Conference on Cloud Computing, GRIDs, and Virtualization
- FUTURE COMPUTING 2023, The Fifteenth International Conference on Future Computational Technologies and Applications
- COGNITIVE 2023, The Fifteenth International Conference on Advanced Cognitive Technologies and Applications
- ADAPTIVE 2023, The Fifteenth International Conference on Adaptive and Self-Adaptive Systems and Applications
- CONTENT 2023, The Fifteenth International Conference on Creative Content Technologies
- PATTERNS 2023, The Fifteenth International Conference on Pervasive Patterns and Applications
- COMPUTATION TOOLS 2023, The Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
- BUSTECH 2023, The Thirteenth International Conference on Business Intelligence and Technology
NetWare 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- SENSORCOMM 2023, The Seventeenth International Conference on Sensor Technologies and Applications
- SENSORDEVICES 2023, The Fourteenth International Conference on Sensor Device Technologies and Applications
- SECURWARE 2023, The Seventeenth International Conference on Emerging Security Information, Systems and Technologies
- AFIN 2023, The Fifteenth International Conference on Advances in Future Internet
- CENICS 2023, The Sixteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
- ICQNM 2023, The Seventeenth International Conference on Quantum, Nano/Bio, and Micro Technologies
- FASSI 2023, The Ninth International Conference on Fundamentals and Advances in Software Systems Integration
- GREEN 2023, The Eighth International Conference on Green Communications, Computing and Technologies
NexTech 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- UBICOMM 2023, The Seventeenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
- ADVCOMP 2023, The Seventeenth International Conference on Advanced Engineering Computing and Applications in Sciences
- SEMAPRO 2023, The Seventeenth International Conference on Advances in Semantic Processing
- AMBIENT 2023, The Thirteenth International Conference on Ambient Computing, Applications, Services and Technologies
- EMERGING 2023, The Fifteenth International Conference on Emerging Networks and Systems Intelligence
- DATA ANALYTICS 2023, The Twelfth International Conference on Data Analytics
- GLOBAL HEALTH 2023, The Twelfth International Conference on Global Health Challenges
- CYBER 2023, The Eighth International Conference on Cyber-Technologies and Cyber-Systems
TrendNews 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- CORETA 2023, Advances on Core Technologies and Applications
- DIGITAL 2023, Advances on Societal Digital Transformation
SocSys 2023 Congress November 13, 2023 to November 17, 2023 - Valencia, Spain
SoftNet 2023 Congress November 13, 2023 to November 17, 2023 - Valencia, Spain
- ICSEA 2023, The Eighteenth International Conference on Software Engineering Advances
- ICSNC 2023, The Eighteenth International Conference on Systems and Networks Communications
- CENTRIC 2023, The Sixteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
- VALID 2023, The Fifteenth International Conference on Advances in System Testing and Validation Lifecycle
- SIMUL 2023, The Fifteenth International Conference on Advances in System Simulation
- SOTICS 2023, The Thirteenth International Conference on Social Media Technologies, Communication, and Informatics
- INNOV 2023, The Twelfth International Conference on Communications, Computation, Networks and Technologies
- HEALTHINFO 2023, The Eighth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing
IARIA Congress 2023, The 2023 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications November 13, 2023 to November 17, 2023 - Valencia, Spain
|
|
|
|
|
ThinkMind // COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
 Type: conference Download: COMPUTATION TOOLS 2013 cover page Download: COMPUTATION TOOLS 2013 foreword page Download: COMPUTATION TOOLS 2013 committee page Download: COMPUTATION TOOLS 2013 table of contents Download: COMPUTATION TOOLS 2013 full proceedings Notes: IARIA Conference. Editors: Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria Sandra Sendra, Polytechnic University of Valencia, Spain Event editions: - there are 12 editions. ISSN: 2308-4170 ISBN: 978-1-61208-277-6 Location: Valencia, Spain Dates: from May 27, 2013 to June 1, 2013 Articles: there are 7 articles Recognition of Java Source Code by Graph Matching Algorithm Tomáš Bublík and Miroslav Virius keywords: abstract syntax tree; Java; Scripthon; trees matching; compiler API
On an Inference System for a Hybrid Process Calculus Zining Cao keywords: hybrid process calculus; symbolic bisimulation; inference system
Static and Dynamic Analysis for Robustness under Slowdown Ingram Bondin and Gordon Pace keywords: Synchronous Languages; Lustre; Slowdown
Prediction System of Larynx Cancer Benjamín Moreno-Montiel and Carlos Hiram Moreno-Montiel keywords: Data Minning; Classification; Classifier; Biochip genetic; Larynx Cancer.
Introduction in First-Order Combinatorics Providing a Conceptual Framework for Computation in Predicate Logic Mikhail Peretyatkin keywords: first-order logic; computation; theory; computably axiomatizable theory; interpretation; signature reduction procedure; combinatorics.
Using an Expression Interpreter to Reason With Partial Terms Lev Naiman keywords: logic; partial-terms;expression interpreter; theorem prover; two-valued logic
Reducing Higher Order pi-Calculus to Spatial Logics Zining Cao keywords: higher order pi-calculus; spatial logic; inference system
|
|
SERVICES CONTACT
2010 - 2022 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy. |
|
|
 |