Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
113 | Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige |
Challenges in Constraint-Based Analysis of Hybrid Systems. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation |
113 | Mohamed El-bachir Menai |
An Evolutionary Local Search Method for Incremental Satisfiability. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization |
113 | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah |
On Solving Stack-Based Incremental Satisfiability Problems. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
90 | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva |
On Applying Incremental Satisfiability to Delay Fault Testing. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
68 | Robert J. Hall 0001 |
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
Formal Methods, Reactive Systems, Electronic Mail |
47 | Leszek Borzemski, Jerzy Swiatek, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology - ISAT 2019 - Part I, Wrocław, Poland, 15-17 September, 2019. |
ISAT (1) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jerzy Swiatek, Leszek Borzemski, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology - ISAT 2019 - Part II, Wrocław, Poland, 15-17 September, 2019. |
ISAT (2) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Zofia Wilimowska, Leszek Borzemski, Jerzy Swiatek (eds.) |
Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology - ISAT 2019 - Part III, Wrocław, Poland, 15-17 September, 2019. |
ISAT (3) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Dariusz Put |
Designing Information Integrating Systems Based on Co-shared Ontologies. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jakub Flotynski, Anna Englert, Adrian Nowak, Krzysztof Walczak 0001 |
An Architecture for Distributed Explorable HMD-Based Virtual Reality Environments. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Lukasz Guresz, Anna Kaminska-Chuchmala |
Quality of Data Transmission in the Access Points of PWR-WiFi Wireless Network. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Olesya Afanasyeva |
Development of Parameter Measurement Method of Information Systems. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Leszek Borzemski, Maja Kedras |
Measured vs. Perceived Web Performance. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Daniel Misík, Ladislav Hudec |
Detection of Intrusions to Web System Using Computational Intelligence. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Tomasz Krokosz, Jarogniew Rykowski |
Verification of IoT Devices by Means of a Shared Secret. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Waldemar Pokuta |
The Concept of a Flexible Database - Implementation of Inheritance and Polymorphism. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Ronny Kramer, Gudula Rünger |
A Web-Based Support for the Management and Evaluation of Measurement Data from Stress-Strain and Continuous-Cooling-Transformation Experiments. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Bartlomiej Dabinski |
OSAA: On-Demand Source Authentication and Authorization in the Internet. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Michal Kedziora, Patryk Kozlowski, Michal Szczepanik, Piotr P. Józwiak |
Analysis of Blockchain Selfish Mining Attacks. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Viacheslav Paramonov, Alexey O. Shigarov, Varvara Vetrova, Andrey A. Mikhailov |
Heuristic Algorithm for Recovering a Physical Structure of Spreadsheet Header. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Anatolii Kosolapov |
Models and Method for Estimate the Information-Time Characteristics of Real-Time Control System. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Steffen G. Scholz, Ahmed Elkaseer, Mahmoud Salem, Veit Hagenmeyer |
Software Toolkit for Visualization and Process Selection for Modular Scalable Manufacturing of 3D Micro-Devices. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Grzegorz Górski, Mateusz Wojsa |
New Encryption Method with Adaptable Computational and Memory Complexity Using Selected Hash Function. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Anna O'Faoláin de Bhróithe, Fritz Heiden, Alena Schemmert, Dschialin Phan, Lillian Hung, Jörn Freiheit, Frank Fuchs-Kittowski |
A Generic Approach to Schema Evolution in Live Relational Databases. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Joseph Bamidele Awotunde, Roseline Oluwaseun Ogundokun, Femi Emmanuel Ayo, Gbemisola J. Ajamu, Emmanuel Abidemi Adeniyi, Eyitayo Opeyemi Ogundokun |
Social Media Acceptance and Use Among University Students for Learning Purpose Using UTAUT Model. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Cecilia Zanni-Merk |
On the Need of an Explainable Artificial Intelligence. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Paul Christoph Gembarski |
The Meaning of Solution Space Modelling and Knowledge-Based Product Configurators for Smart Service Systems. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Krzysztof Zatwarnicki, Anna Zatwarnicka |
Cooperation of Neuro-Fuzzy and Standard Cloud Web Brokers. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Nai-Wei Lo, Sheng-Hsiang Hsu |
A Secure IoT Firmware Update Framework Based on MQTT Protocol. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Krystian Fras, Ziemowit Nowak |
WebAssembly - Hope for Fast Acceleration of Web Applications Using JavaScript. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Mariusz Fras, Jan Kwiatkowski, Michal Stas |
A Study on Effectiveness of Processing in Computational Clouds Considering Its Cost. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Catalin Marian Dumitrescu, Marius Minea, Petrica Ciotirnae |
UAV Detection Employing Sensor Data Fusion and Artificial Intelligence. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Dariusz Gasior |
Resource Management for SD-WANs. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Leila Goosen, Sunday A. Ajibola |
Information Systems Architecture and Technology Security Aspects Relating to the Usability Attributes and Evaluation Methods of Mobile Commerce Websites. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Janusz Jaworski, Waldemar Karwowski, Marian Rusek |
Microservice-Based Cloud Application Ported to Unikernels: Performance Comparison of Different Technologies. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Andrzej Paszkiewicz, Kamil Iwaniec |
Evolutionary Approach Based on the Ising Model to Analyze Changes in the Structure of the IT Networks. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Caterine Silva de Oliveira, Cesar Sanín, Edward Szczerbicki |
Context-Aware Indexing and Retrieval for Cognitive Systems Using SOEKS and DDNA. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | David Chalupa, Peter Nielsen, Zbigniew Antoni Banaszak, Grzegorz Bocewicz |
A Large-Scale Customer-Facility Network Model for Customer Service Centre Location Applications. |
ISAT (1) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Kamil Buczel, Jolanta Wrzuszczak-Noga |
Prefiltration Analysis for Image Recognition Algorithms for the Android Mobile Platform. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Dagmara Górnicka, Joanna Kochanska, Anna Burduk |
Production Resources Utilization Improvement with the Use of Simulation Modelling. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Galina Setlak, Lukasz Pasko |
Random Forests in a Glassworks: Knowledge Discovery from Industrial Data. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Leanne Rebecca Miller, Antonio Ros García, Pedro Javier Navarro Lorente, Carlos Fernández Andrés, Raúl Borraz Morón |
Time of Flight Camera Calibration and Obstacle Detection Application for an Autonomous Vehicle. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Parfait Bemarisika, André Totohasina |
Elimination of Redundant Association Rules. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Lubomír Stepánek, Pavel Kasal, Jan Mesták |
Machine-Learning and R in Plastic Surgery - Evaluation of Facial Attractiveness and Classification of Facial Emotions. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | N. F. Khalimon, Dmytro P. Kucherov, Igor V. Ogirko |
Estimation of the Characteristics of the Stochastic Interconnection of Meteorological Elements of an Aerodrome for Solving Problems of Forecasting Flight Conditions. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Kristína Machová, Dominik Kolesár |
Recognition of Antisocial Behavior in Online Discussions. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Mariusz Mulka, Wojciech A. Lorkiewicz |
Different Hierarchical Clustering Methods in Basic-Level Extraction Using Multidendrogram. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Baptiste Jacquet, Jean Baratgin |
Towards a Pragmatic Model of an Artificial Conversational Partner: Opening the Blackbox. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Pawel Dunaj, Stefan Berczynski, Slawomir Marczynski |
Numerical Studies on the Effectiveness of Optimization Algorithms to Identify the Parameters of Machine Tool Hybrid Body Structural Component Model. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Radhwan Al-Jawadi, Marcin Studniarski, Aisha Younus |
An Optimization Algorithm Based on Multi-free Dynamic Schema of Chromosomes. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | P. Joy Prabhakaran |
Enhanced Hierarchical Multi-resolution Imaging. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Kamil Banach, Rafal Kasprzyk |
Online Environment for Prototyping and Testing Graph and Network Algorithms. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Assel Zh. Akzhalova, Atsushi Inoue, Dmitry Mukharsky |
Evolutionary Strategies of Intelligent Agent Training. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jacek Stój |
State Machine of a Redundant Computing Unit Operating as a Cyber-Physical System Control Node with Hot-Standby Redundancy. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Bernd-Jürgen Falkowski |
A Kernel Iterative K-Means Algorithm. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Robert Wójcik, Grzegorz Bocewicz, Zbigniew Antoni Banaszak |
Synthesis of No-Wait Cyclic Schedules for Cascade-Like Systems of Repetitive Processes with Fixed Periods. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Andrzej Najgebauer |
From Interactive Simulations Towards Decision Patterns in Conflict Situations. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Pawel Michalski, Bogdan Ruszczak, Pedro Javier Navarro Lorente |
The Implementation of a Convolutional Neural Network for the Detection of the Transmission Towers Using Satellite Imagery. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Joanna Kochanska, Dagmara Górnicka, Anna Burduk |
Calculation of Labour Input in Multivariant Production with Use of Simulation. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Maciej S. Hojda, Grzegorz Filcek, Grzegorz Popek |
Sequential Function Chart to Function Block Diagram Transformation with Explicit State Representation. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Grzegorz Bocewicz, Jaroslaw Wikarek, Pawel Sitek, Zbigniew Antoni Banaszak |
Robust Competence Allocation for Multi-project Scheduling. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Ján Paralic, Tomás Kaszoni, Jakub Macina |
Predicting Suitable Time for Sending Marketing Emails. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Stefan Plappert, Paul Christoph Gembarski, Roland Lachmayer |
The Use of Knowledge-Based Engineering Systems and Artificial Intelligence in Product Development: A Snapshot. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Oleksandr Sokolov, Veslava Osinska, Aleksandra Mrela, Wlodzislaw Duch, Marcin Burak |
Scientists' Contribution to Science and Methods of Its Visualization. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Daniel Halikowski, Justyna Patalas-Maliszewska |
The Image Classification of Workstation Instructions Using Convolutional Neural Networks. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Piotrowska Ewelina |
Evaluation of the Classifiers in Multiparameter and Imbalanced Data Sets. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Aneta Górniak, Ewa Skubalska-Rafajlowicz |
Automatic Tissue Type Classification in Large-Scale Microscopic Images Using Zernike Moments. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Rustam A. Burnashev, Ruslan G. Gabdrahmanov, Ismail F. Amer, Galim Z. Vakhitov, Arslan I. Enikeev |
Research on the Development of Expert Systems Using Artificial Intelligence. |
ISAT (2) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Vasyl P. Martsenyuk, Dmytro Vakulenko, S. M. Skochylyas, Ludmyla Vakulenko |
Modeling and Stability Investigation of Investment of Health Sector on Regional Level. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Michal J. Kowalski, Lukasz Bilinski |
Influence Threshold Margin on Value Migration Processes. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Maria Rosienkiewicz |
Accuracy Assessment of Artificial Intelligence-Based Hybrid Models for Spare Parts Demand Forecasting in Mining Industry. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yi-Ting Yang, Jiann-Cherng Shieh |
Bibliomining the Pareto Principle of Public Libraries. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Celina M. Olszak, Arkadiusz Kisiolek |
Big Data for Customer Knowledge Management. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Agnieszka Parkitna, Magdalena Gadek |
Models of Economic Efficiency of Hospitals in Poland. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Aldona Malgorzata Deren, Danuta Seretna-Salamaj, Jan Skonieczny, Zofia Kondracka |
Security of Enterprise Information Resources in Cyberspace. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Nataliya Kobets, Tetiana Kovaliuk, Daryna Mozoliova |
Cognitive Modeling and Cognitive Map Applying to the Knowledge Management in the Higher Education System. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Beata Bajcar |
Development and Validation of a New Tool to Measure the Profile of Strategic Competencies in the Organizational Practice. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Agnieszka Bienkowska, Katarzyna Tworek, Anna Zablocka-Kluczka |
IT Reliability-Based Model of Excellent IT Solutions for Controlling - Theoretical Approach. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Roman Pietron |
Scrum Project Management Dynamics Simulation. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Mariusz Czekala, Agnieszka Bukietynska, Marek Gurak, Jacek Jagodzinski, Jaroslaw Klosowski |
Extrapolation of Maxima with Application in Chi Square Test. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Dominika Lisiak-Felicka, Maciej Szmit, Anna Szmit, Jolanta Vaiciuniene |
GDPR Implementation in Local Government Administration in Poland and Republic of Lithuania. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Zbigniew Malara, Janusz Kroik, Pawel Ziembicki |
Business Model Environment in the Segment of Language Schools. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Tadeusz Gospodarek, Slawomir Pizon |
The Influence of Strong Changes of Chosen Macroeconomic Factors on Some Parameters of the State of Organization. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Zofia Wilimowska, Marek Wilimowski, Tetiana V. Kalashnikova |
Branch and Bound Method in Feature Selection Process for Models of Financial Condition Evaluation. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Radoslaw Rynca, D. Robert Iskander |
The Need for Changes in the Management Processes of a Young Researcher's Career - Case Study. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Guennadi Khatskevich, Andrei Pranevich, Yury Karaleu |
Analytical Forms of Productions Functions with Given Total Elasticity of Production. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yuri P. Lipuntsov |
Operational and Strategic Administration of Engineering Services Based on Information Models of Economic Life Cycle. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Leila Goosen, Hlole A. Soga |
Information Systems Architecture and Governance of Enterprise Information Technology at a Regulatory Institution. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Alexander V. Mamatov, Igor S. Konstantinov, Aleksandra L. Mashkova, Olga A. Savina |
Agent Model for Evaluating Efficiency of Regional Human Resource Management. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Pawel Rola, Dorota Kuchta |
Implementation of Scrum Retrospective in the Process of Improving Logistics Organization. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Mieczyslaw Drabowski |
Comparison of Exact and Metaheuristic Approaches in Polynomial Algorithms for Scheduling of Processes. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Zbigniew Leszczynski, Tomasz Jasinski |
Artificial Neural Networks in Forecasting Cancer Therapy Methods and Costs of Cancer Patient Treatment. Case Study for Breast Cancer. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Natalia Grigoreva |
Single Machine Scheduling with Precedence Constrains, Release and Delivery Times. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Lukasz Wiechetek |
Outstanding People and Works in the Area of Computer Science Enhancing Quality of Life. The Evidence from Prestigious American, European and Asian Computer Science Awards. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Ricardo Eito-Brun |
Synergies Between Web-Based Open Innovation Platforms and Open Information Infrastructures. |
ISAT (3) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Leszek Borzemski, Jerzy Swiatek, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 - Part I, Szklarska Poręba, Poland, September 17-19, 2017 |
ISAT (1) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Leszek Borzemski, Jerzy Swiatek, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 - Part III, Szklarska Poręba, Poland, September 17-19, 2017 |
ISAT (3) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Leszek Borzemski, Jerzy Swiatek, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 - Part II, Szklarska Poręba, Poland, September 17-19, 2017 |
ISAT (2) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Jerzy Swiatek, Zofia Wilimowska, Leszek Borzemski, Adam Grzech (eds.) |
Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016 - Part III |
ISAT (3) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Leszek Borzemski, Adam Grzech, Jerzy Swiatek, Zofia Wilimowska (eds.) |
Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology - ISAT 2016 - Part I, Karpacz, Poland, September 18-20, 2016. |
ISAT (1) |
2017 |
DBLP DOI BibTeX RDF |
|