Computation Engineering Applied Automata Theory and Logic /

Computation Engineering Applied Automata Theory and Logic /

Taispeáin leaganacha eile (2)

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gopalakrishnan, Ganesh (Údar)
Údar corparáideach:	SpringerLink (Online service)
Formáid:	Ríomhleabhar
Teanga:	English
Foilsithe / Cruthaithe:	Boston, MA : Springer Science+Business Media, LLC, 2006.
Ábhair:	Computer engineering Computer science Information theory Systems engineering Computer Science
Rochtain ar líne:	Click here to view the full text content
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Computation engineering : applied automata theory and logic /
de réir: Gopalakrishnan, Ganesh
Foilsithe / Cruthaithe: (2006)

Computation engineering : applied automata theory and logic /
de réir: Gopalakrishnan, Ganesh
Foilsithe / Cruthaithe: (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 /
Foilsithe / Cruthaithe: (2005)

Science gateways for distributed computing infrastructures : development framework and exploitation by scientific user communities /
Foilsithe / Cruthaithe: (2014)

Regulated grammars and automata /
de réir: Meduna, Alexander
Foilsithe / Cruthaithe: (2014)

Theory of computation /
de réir: Kozen, Dexter C.

Elements of computation theory
de réir: Singh, Arindama
Foilsithe / Cruthaithe: (2009)

Search computing challenges and directions /
Foilsithe / Cruthaithe: (2010)

Proofs and algorithms an itroduction to logic and computability /
de réir: Dowek, Gilles
Foilsithe / Cruthaithe: (2011)

High performance computing for computational science - VECPAR 2004 6th international conference, Valencia, Spain, June 28-30, 2004, revised selected and invited papers
de réir: DaydÃ©, Michel
Foilsithe / Cruthaithe: (2005)

High performance computing for Computational Science - VECPAR 2006 : International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
Foilsithe / Cruthaithe: (2007)

Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies /

Coordination of large-scale multiagent systems /
Foilsithe / Cruthaithe: (2006)

Modelling Autonomic Communication Environments 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. proceedings /
Foilsithe / Cruthaithe: (2010)

Augmented marked graphs /
de réir: Cheung, King Sing
Foilsithe / Cruthaithe: (2014)

Fundamentals of computation theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Foilsithe / Cruthaithe: (2013)

Fuzzy semirings with applications to automata theory /
de réir: Ahsan, Javed
Foilsithe / Cruthaithe: (2012)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /
Foilsithe / Cruthaithe: (2013)

Game of life cellular automata
Foilsithe / Cruthaithe: (2010)

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
Foilsithe / Cruthaithe: (2013)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
Foilsithe / Cruthaithe: (2012)

Continuous software engineering /
Foilsithe / Cruthaithe: (2014)

Rationale management in software engineering /

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Foilsithe / Cruthaithe: (2014)

Structure for dependability: computer-based systems from an interdisciplinary perspective /

Trustworthly global computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
Foilsithe / Cruthaithe: (2010)

Trustworthy global computing : 6th International symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
Foilsithe / Cruthaithe: (2012)

Perspectives on the future of software engineering : essays in honor of dieter rombach /
Foilsithe / Cruthaithe: (2013)

Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Foilsithe / Cruthaithe: (2012)

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
Foilsithe / Cruthaithe: (2013)

Explorations in quantum computing
de réir: Williams, Colin P.
Foilsithe / Cruthaithe: (2011)

Applied parallel computing / state of the art in scientific computing

Software engineering frameworks for the cloud computing paradigm /
Foilsithe / Cruthaithe: (2013)

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
Foilsithe / Cruthaithe: (2008)

Music and human-computer interaction
Foilsithe / Cruthaithe: (2013)

Transactions on computational intelligence XIII /
Foilsithe / Cruthaithe: (2014)

Autonomous search /
Foilsithe / Cruthaithe: (2012)

Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
Foilsithe / Cruthaithe: (2013)

Requirements engineering: foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings /
Foilsithe / Cruthaithe: (2013)

Handbook of natural computing /
Foilsithe / Cruthaithe: (2012)