Imagen de Portada

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

Guardado en:

Autor Principal:	Bollig, Benedikt.
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Materias:	Computer science Software engineering Information theory Computer software Information systems Computer Science Computation by Abstract Devices Software Engineering Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Information Systems and Communication Service
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings /
por: Obbink, Henk.
Publicado: (2005)

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings /
por: Abrahamsson, Pekka.
Publicado: (2007)

Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings /
por: Richardson, Ita.
Publicado: (2005)

Software Process Improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings /
por: Richardson, Ita.
Publicado: (2006)

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings /
por: Morisio, Maurizio.
Publicado: (2006)

Testing Commercial-off-the-Shelf Components and Systems
por: Beydeda, Sami.
Publicado: (2005)

Rationale Management in Software Engineering
por: Dutoit, Allen H.
Publicado: (2006)

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems /
por: Lanza, Michele.
Publicado: (2006)

Secure Systems Development with UML
por: Jürjens, Jan.
Publicado: (2005)

Engineering and Managing Software Requirements
por: Aurum, Aybüke.
Publicado: (2005)

Essential Software Architecture
por: Gorton, Ian.
Publicado: (2006)

Coordination of Large-Scale Multiagent Systems
por: Scerri, Paul.
Publicado: (2006)

Petri Nets and Other Models of Concurrency ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
por: Kleijn, Jetty.
Publicado: (2007)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
por: Donatelli, Susanna.
Publicado: (2006)

Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings /
por: Cho, Kenjiro.
Publicado: (2006)

Web Engineering
por: Mendes, Emilia.
Publicado: (2006)

Personal Wireless Communications IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings /
por: Cuenca, Pedro.
Publicado: (2006)

Developing Services for the Wireless Internet
por: Morisio, Maurizio.
Publicado: (2006)

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings /
por: Gerndt, Michael.
Publicado: (2006)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
por: Daydé, Michel.
Publicado: (2005)

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
por: Daydé, Michel.
Publicado: (2007)

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings /
por: Fdida, Serge.
Publicado: (2007)

Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings /
por: Cho, Kenjiro.
Publicado: (2005)

Theory of Computation
por: Kozen, Dexter C.
Publicado: (2006)

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings /
por: Perrott, Ronald.
Publicado: (2007)

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings /
por: Yang, Laurence T.
Publicado: (2005)

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings /
por: Boavida, Fernando.
Publicado: (2006)

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings /
por: Boutaba, Raouf.
Publicado: (2005)

Parameterized Complexity Theory
por: Flum, Jörg.
Publicado: (2006)

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings /
por: Cao, Jiannong.
Publicado: (2005)

Super-Recursive Algorithms
por: Burgin, Mark.
Publicado: (2005)

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
por: Guelfi, Nicolas.
Publicado: (2006)

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers /
por: Voelker, Geoffrey M.
Publicado: (2005)

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers /
por: Castro, Miguel.
Publicado: (2005)

Software Quality ECSQ 2002 Quality Connection 7th European Conference on Software Quality Helsinki, Finland, June 913, 2002 Proceedings /
por: Kontio, Jyrki.
Publicado: (2006)

Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday /
por: Härder, Theo.
Publicado: (2005)

Computation Engineering Applied Automata Theory and Logic /
por: Gopalakrishnan, Ganesh.
Publicado: (2006)

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
por: Ciardo, Gianfranco.
Publicado: (2005)

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /
por: Cai, Jin-Yi.
Publicado: (2006)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
por: Cai, Jin-Yi.
Publicado: (2007)