Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Science/Mathematics and su-to:Science and su-to:Computers'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Agrawal, Manindra (1)
- Bulatov, Andrei A. (1)
- Carton, Olivier (1)
- Cooper, S. Barry (1)
- Dediu, Adrian-Horia (1)
- Diaz, Josep (1)
- Dowek, Gilles (1)
- D’Alessandro, Flavio (1)
- Gonthier, Georges (1)
- Lau, Lap Chi (1)
- Lodaya, Kamal (1)
- Luca, Aldo de (1)
- Plaat, Aske (1)
- Reis, Rogério (1)
- Roy, Olivier (1)
- Shur, Arseny M. (2)
- Truthe, Bianca (1)
- van den Herik, H. Ja... (1)
- Volkov, Mikhail V. (1)
- Zemek, Petr (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (20)
Collection
- Lecture Notes in Com... (18)
- UNITEXT, (1)
Sujets
- Algorithm Analysis a... (12)
- Algorithms (12)
- Artificial intellige... (4)
- Artificial Intellige... (4)
- Computation by Abstr... (12)
- Computer logic (14)
- Computer science (40)
- Computer Science (20)
- Computers (18)
- Discrete Mathematics... (13)
- Logics and Meanings ... (14)
- Mathematical logic (20)
- Mathematical Logic a... (20)
- Mathematical Logic a... (4)
- Mathematics of Compu... (6)
- Numeric Computing (3)
- Numerical analysis (3)
- Symbolic and Algebra... (5)
- Theory of Computatio... (6)
- Afficher plus
- Afficher moins

		Regulated Grammars and Automata par Meduna, Alexander. Publication : . XX, 694 p. 12 illus. Disponibilité : http://dx.doi.org/10.1007/978-1-4939-0369-6, Ajouter au panier (Supprimer)
		Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / Publication : . XII, 309 p. 44 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03545-1, Ajouter au panier (Supprimer)
		Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / Publication : . XIV, 614 p. 108 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04921-2, Ajouter au panier (Supprimer)
		Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / Publication : . XIV, 423 p. 75 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06089-7, Ajouter au panier (Supprimer)
		Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / Publication : . XX, 389 p. 39 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06686-8, Ajouter au panier (Supprimer)
		Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Publication : . XXII, 491 p. 58 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08918-8, Ajouter au panier (Supprimer)
		Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / Publication : . XX, 257 p. 131 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09165-5, Ajouter au panier (Supprimer)
		Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / Publication : . XVIII, 349 p. 51 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09698-8, Ajouter au panier (Supprimer)
		Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings / Publication : . XII, 366 p. 59 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09704-6, Ajouter au panier (Supprimer)
		Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / Publication : . X, 259 p. 18 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36039-8, Ajouter au panier (Supprimer)
		Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / Publication : . X, 283 p. 71 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-37635-1, Ajouter au panier (Supprimer)
		Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / Publication : . XV, 356 p. 37 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38236-9, Ajouter au panier (Supprimer)
		Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / Publication : . XII, 445 p. 55 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38536-0, Ajouter au panier (Supprimer)
		Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Publication : . XIV, 460 p. 46 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38771-5, Ajouter au panier (Supprimer)
		Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / Publication : . XII, 251 p. 18 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38946-7, Ajouter au panier (Supprimer)
		Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / Publication : . X, 289 p. 56 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-39310-5, Ajouter au panier (Supprimer)
		Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / Publication : . XVIII, 898 p. 226 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-40627-0, Ajouter au panier (Supprimer)
		Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Publication : . XII, 363 p. 41 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-40948-6, Ajouter au panier (Supprimer)
		Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / Publication : . XVI, 355 p. 57 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-662-44602-7, Ajouter au panier (Supprimer)
		Teoria degli Automi Finiti par Luca, Aldo de. Publication : . XI, 323 pagg. Disponibilité : http://dx.doi.org/10.1007/978-88-470-5474-5, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 20 résultats.