Resultados da pesquisa - Lecture Notes in Computer Science

401

Refinement techniques in software engineering first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004: revised lectures /

Por Pernambuco Summer School on Software Engineering, Cavalcanti, Ana., Sampaio, Augusto., Woodcock, Jim.
Publicado em 2006.

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

402

A carregar...

Foundations on natural and artificial computation 4th International Work-conference...

Por IWINAC 2011, Ferrández, José Manuel.
Publicado em 2011.

“...Lectures notes in computer science...”
Obter o texto integral

Livro

403

A carregar...

Computational geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran...

Por Márquez, Alberto., Ramos, Pedro., Urrutia, Jorge.
Publicado em 2012.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

404

A carregar...

Research in computational molecular biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 – April 2, 2008 : proceedings /

Por RECOMB (Conferência : 2005- ), Vingron, Martin., Wong, Limsoon
Publicado em c2008

“...Lecture notes in computer science....”
Obter o texto integral

Livro

405

A carregar...

Logic, language, information and computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /

Por Workshop on Logic, Language, Information and Computation, Hodges, Wilfrid., Queiroz, Ruy de.
Publicado em c2008

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

406

A carregar...

Advances in bioinformatics and computational biology Third Brazilian Symposium on Bioinformatics...

Por Brazilian Symposium on Bioinformatics, Bazzan, Ana Lúcia Cetertich., Craven, Mark., Martins, Natália Florêncio.
Publicado em c2008

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

407

A carregar...

Programming Languages and Systems

Publicado no Lecture Notes in Computer Science (2019)

Assuntos: “...Computer science...”
Obter o texto integral

Livro

408

A carregar...

Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, 2007 : proceedings /

Por CAV (Conferência), Damm, Werner., Hermanns, Holger.
Publicado em 2007.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

409

A carregar...

Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /

Por Comon-Lundh, Hubert., Kirchner, Claude., Kirchner, Hélène.
Publicado em 2007.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

410

A carregar...

Tools and Algorithms for the Construction and Analysis of Systems

Publicado no Lecture Notes in Computer Science (2019)

Assuntos: “...Computer science...”
Obter o texto integral

Livro

411

A carregar...

Intelligent control and automation International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August, 2006 /

Por Huang, De-Shuang, Irwin, George William
Publicado em 2006.

“...Lecture Notes in Control and Information Sciences,...”
Obter o texto integral

Livro

412

A carregar...

Numerical analysis of multiscale computations proceedings of a winter workshop at the Banff International Research Station 2009 /

Por Engquist, Björn., Runborg, Olof., Tsai, Yen-Hsi R.
Publicado em 2012.

“...Lecture notes in computational science and engineering,...”
Obter o texto integral

Livro

413

A carregar...

Distributed computing, artificial intelligence, bioinformatics, soft computing and ambient assisted...

Por International Workshop on Artificial Neural Networks, Omatu, Sigeru.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

414

A carregar...

Reasoning web semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009 : tutorial lectures /

Por Summer School on Reasoning Web, Tessaris, Sergio.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

415

A carregar...

Language engineering and rigorous software development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /

Por LerNet ALFA Summer School, Bove, Ana.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

416

A carregar...

Rough sets and current trends in computing 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008 : proceedings /

Por RSCTC (Conferência), Chan, Chien-Chung., Grzymala-Busse, Jerzy W., Ziarko, Wojciech.
Publicado em c2008

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

417

A carregar...

Knowledge science, engineering and management Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009 : proceedings /

Por KSEM 2009, Karagiannis, D., Jin, Zhi.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

418

A carregar...

Knowledge science, engineering and management second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedings /

Por KSEM 2007, Zhang, Zili., Siekmann, Jörg.
Publicado em 2007.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

419

A carregar...

Automated Reasoning

Publicado no Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2022)

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory...”
Obter o texto integral

Livro

420

A carregar...

Rigorous software engineering for service-oriented systems results of the SENSORIA Project on software engineering for service-oriented computing /

Por Wirsing, Martin., Hölzl, Matthias.
Publicado em 2011.

“...Lectures notes in computer science...”
Obter o texto integral

Livro

Refinar a Pesquisa