Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /

LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development i...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hameurlain, Abdelkader (Επιμελητής έκδοσης), Küng, Josef (Επιμελητής έκδοσης), Wagner, Roland (Επιμελητής έκδοσης), Decker, Hendrik (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Σειρά:	Lecture Notes in Computer Science, 10620
Θέματα:	Computer science. Logic design. Microprocessors. Operating systems (Computers). Computer logic. Mathematical logic. Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Logic Design. Operating Systems. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Έκδοση: (2009)

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
Έκδοση: (2007)

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers /
Έκδοση: (2005)

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers /
Έκδοση: (2005)

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers /
Έκδοση: (2008)

Transactions on High-Performance Embedded Architectures and Compilers I
Έκδοση: (2007)

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
Έκδοση: (2015)

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
Έκδοση: (2013)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings /
Έκδοση: (2006)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
Έκδοση: (2009)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
Έκδοση: (2007)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Transactions on High-Performance Embedded Architectures and Compilers III
Έκδοση: (2011)

Transactions on High-Performance Embedded Architectures and Compilers IV
Έκδοση: (2011)

Validation of Stochastic Systems A Guide to Current Research /
Έκδοση: (2004)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
ανά: Poernomo, Iman Hafiz, κ.ά.
Έκδοση: (2005)

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /
Έκδοση: (2016)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (2017)

Testing of Interposer-Based 2.5D Integrated Circuits
ανά: Wang, Ran, κ.ά.
Έκδοση: (2017)

Fundamentals of Electronic Systems Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

High-Level Synthesis From Algorithm to Digital Circuit /
Έκδοση: (2008)

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings /
Έκδοση: (2006)

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings /
Έκδοση: (2005)

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
Έκδοση: (2007)

High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
Έκδοση: (2009)

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
Έκδοση: (2007)

Computing System Reliability Models and Analysis /
ανά: Xie, Min, κ.ά.
Έκδοση: (2004)

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings /
Έκδοση: (2010)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings /
Έκδοση: (2005)

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
Έκδοση: (2008)

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
Έκδοση: (2009)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings /
Έκδοση: (2005)

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Έκδοση: (2017)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
Έκδοση: (2010)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών