Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bollig, Benedikt
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Θέματα:	Software engineering Information theory Computer science Computer software Information systems Computer Science Software Engineering Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Information Systems and Communication Service
Διαθέσιμο Online:	http://dx.doi.org/10.1007/3-540-32923-4

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Search Computing Challenges and Directions
ανά: Ceri, Stefano
Έκδοση: (2010)

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ανά: Brennan, Rob
Έκδοση: (2010)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ανά: Zomaya, Albert Y.
Έκδοση: (2006)

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ανά: Zhu, Rongbo
Έκδοση: (2010)

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ανά: Zhu, Rongbo
Έκδοση: (2010)

Transactions on Petri Nets and Other Models of Concurrency IV
ανά: Jensen, K. (Kurt), 1950-
Έκδοση: (2010)

Algorithmic Randomness and Complexity
ανά: Downey, Rodney G
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 β April 1, 2010. Proceedings
ανά: Pries-Heje, Jan
Έκδοση: (2010)

Parameterized Complexity Theory
ανά: Flum, JΓΆrg
Έκδοση: (2006)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
ανά: Rothe, JΓΆrg
Έκδοση: (2005)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ανά: Abramsky, Samson, 1953-
Έκδοση: (2010)

Theory of Computation
ανά: Kozen, Dexter 1951-
Έκδοση: (2006)

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β15 August 2004
ανά: Broy, M., 1949-
Έκδοση: (2005)

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
ανά: Tomar, G. S
Έκδοση: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ανά: Saberi, Amin
Έκδοση: (2010)

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
ανά: Kim, Tai-hoon
Έκδοση: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
ανά: Wyrzykowski, Roman
Έκδοση: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
ανά: Wyrzykowski, Roman
Έκδοση: (2010)

Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
ανά: Krishnamurthy, Arvind
Έκδοση: (2010)

Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
ανά: Komninos, Nikos
Έκδοση: (2010)

Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings
ανά: Balandin, Sergey
Έκδοση: (2010)

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
ανά: Pandurangan, Gopal
Έκδοση: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ανά: Pont, Ana
Έκδοση: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ανά: Raman, Venkatesh
Έκδοση: (2010)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
ανά: Hromkovic, Juraj
Έκδοση: (2005)

Computation Engineering Applied Automata Theory and Logic
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings
ανά: Nitto, Elisabetta
Έκδοση: (2010)

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
ανά: Bellavista, Paolo
Έκδοση: (2010)

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
ανά: Altman, Eitan
Έκδοση: (2010)

Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
ανά: Stiller, Burkhard
Έκδοση: (2010)

Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
ανά: Stiller, Burkhard
Έκδοση: (2010)

Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
ανά: Nikolaidis, Ioanis
Έκδοση: (2010)

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
ανά: Dan, Asit
Έκδοση: (2010)

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