Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Calude, Cristian S
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Sassone, Vladimiro
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Σειρά:	IFIP Advances in Information and Communication Technology 323
Θέματα:	Computer science Computer Communication Networks Software engineering Computer software Logic design Computer Science Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computation by Abstract Devices Software Engineering Mathematical Logic and Formal Languages
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-15240-5

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

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ανά: KuΔera, AntonΓn
Έκδοση: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ανά: Blass, Andreas
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010)

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
ανά: Blesa, Maria J.
Έκδοση: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ανά: MΓ©ry, Dominique
Έκδοση: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ανά: Chatterjee, Krishnendu
Έκδοση: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Hatcliff, John
Έκδοση: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
ανά: Ehrig, Hartmut
Έκδοση: (2010)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ανά: Tratt, Laurence
Έκδοση: (2010)

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ανά: Hinchey, Mike
Έκδοση: (2010)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
ανά: Vitek, Jan
Έκδοση: (2010)

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
ανά: Calude, Cristian S
Έκδοση: (2010)

A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
ανά: Caromel, Denis
Έκδοση: (2005)

Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ανά: Bottaci, Leonardo
Έκδοση: (2010)

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ανά: Real, Jorge
Έκδοση: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ανά: Puppis, Gabriele
Έκδοση: (2010)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ανά: Eekelen, Marko
Έκδοση: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
ανά: Touili, Tayssir
Έκδοση: (2010)

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
ανά: Engels, Gregor
Έκδοση: (2010)

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
ανά: HorvΓ'th, ZoltΓ'n
Έκδοση: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ανά: Hull, Richard
Έκδοση: (2010)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ανά: Barthe, Gilles
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (2010)

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
ανά: Tempesti, Gianluca
Έκδοση: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
ανά: Hutter, Marcus
Έκδοση: (2010)

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

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ανά: Kurki-Suonio, Reino
Έκδοση: (2005)

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
ανά: Bowman, Howard
Έκδοση: (2006)

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