Modeling Time in Computing

Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Furia, Carlo A. (Συγγραφέας), Mandrioli, Dino (Συγγραφέας), Morzenti, Angelo (Συγγραφέας), Rossi, Matteo (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:	Monographs in Theoretical Computer Science. An EATCS Series,
Θέματα:	Computer science. Computer hardware. Computers. Computer science > Mathematics. Computer Science. Theory of Computation. Computer Hardware. Mathematics of Computing. Computing Methodologies.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Evolvable Hardware
Έκδοση: (2006)

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
ανά: Herdt, Vladimir
Έκδοση: (2016)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings /
Έκδοση: (2014)

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /
Έκδοση: (2011)

Raspberry Pi Image Processing Programming Develop Real-Life Examples with Python, Pillow, and SciPy /
ανά: Pajankar, Ashwin
Έκδοση: (2017)

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives /
Έκδοση: (2014)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
Έκδοση: (2005)

Memristor Networks
Έκδοση: (2014)

Applications of Evolutionary Computing EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings /
Έκδοση: (2009)

Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures /
ανά: Feller, Thomas
Έκδοση: (2014)

Applications of Evolutionary Computing EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings /
Έκδοση: (2005)

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings /
Έκδοση: (2006)

Evolvable Hardware
ανά: Higuchi, Tetsuya
Έκδοση: (2006)

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives /
ανά: Chen, Quan, κ.ά.
Έκδοση: (2017)

Information Technology Selected Tutorials /
Έκδοση: (2004)

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Έκδοση: (2017)

Computer Systems: Architectures, Modeling, and Simulation Third and Fourth International Workshops, SAMOS 2004, Samos, Greece, July 21-23, 2004 and July 19-21, 2004. Proceedings /
Έκδοση: (2004)

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings /
Έκδοση: (2005)

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings /
Έκδοση: (2007)

High Performance Computing Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings /
Έκδοση: (2015)

Distributed Algorithms for Message-Passing Systems
ανά: Raynal, Michel
Έκδοση: (2013)

Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings /
Έκδοση: (2016)

Journal of Universal Computer Science
Έκδοση: (2021)

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition /
ανά: Ben Abdallah, Abderazek
Έκδοση: (2013)

Computer Arithmetic Algorithms and Hardware Implementations /
ανά: Vlăduţiu, Mircea
Έκδοση: (2012)

Practical Introduction to Computer Architecture
ανά: Page, Daniel
Έκδοση: (2009)

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings /
Έκδοση: (2007)

Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design /
ανά: Ben Abdallah, Abderazek
Έκδοση: (2017)

Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings /
Έκδοση: (2008)

Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
Έκδοση: (2015)

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
ανά: Raynal, Michel
Έκδοση: (2013)

System Specification & Design Languages Best of FDL’02 /
Έκδοση: (2003)

Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings /
Έκδοση: (2014)

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings /
Έκδοση: (2013)

Computational Intelligence in Digital and Network Designs and Applications
Έκδοση: (2015)

VLSI Design and Test 21st International Symposium, VDAT 2017, Roorkee, India, June 29 – July 2, 2017, Revised Selected Papers /
Έκδοση: (2017)

VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers /
Έκδοση: (2013)

Beginning C for Arduino Learn C Programming for the Arduino /
ανά: Purdum, Jack
Έκδοση: (2015)

Cryptographic Security Architecture Design and Verification /
ανά: Gutmann, Peter
Έκδοση: (2004)

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