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

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Agrawal, Manindra (1)
- Blum, Christian (2)
- Colbaugh, Richard (1)
- Diaz, Josep (1)
- Donovan, Peter (1)
- Esparza, Javier (2)
- Fomin, Fedor V. (2)
- Fraigniaud, Pierre (2)
- Freivalds, Rūsiņš (2)
- Husfeldt, Thore (2)
- Iwata, Tetsu (2)
- Jürjens, Jan (2)
- Koutsoupias, Elias (2)
- Kwiatkowska, Marta (2)
- Pardalos, Panos M. (2)
- Peleg, David (2)
- Sarkar, Palash (2)
- Shur, Arseny M. (2)
- Thoai, Nam (1)
- Whigham, Peter (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (73)
Collection
- Advanced Topics in S... (1)
- Communications in Co... (1)
- Lecture Notes in Com... (59)
- Lecture Notes of the... (1)
- Mathematics in scien... (1)
- North-Holland mathem... (1)
- Springer Optimizatio... (1)
- Springer Proceedings... (1)
- UNITEXT, (1)
- Afficher plus
- Afficher moins
Sujets
- Algorithm Analysis a... (39)
- Algorithms (39)
- Artificial Intellige... (21)
- Artificial intellige... (21)
- Computation by Abstr... (38)
- Computer Communicati... (12)
- Computer communicati... (12)
- Computer logic (18)
- Computer science (141)
- Computer Science (69)
- Computers (65)
- Data structures (Com... (11)
- Discrete Mathematics... (45)
- Logics and Meanings ... (18)
- Math Applications in... (10)
- Mathematical logic (21)
- Mathematical Logic a... (20)
- Mathematics of Compu... (16)
- Theory of Computatio... (19)
- Afficher plus
- Afficher moins

		Scientific computing with automatic result verification / Publication : . 1 online resource (x, 612 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780120442102, http://www.sciencedirect.com/science/publication?issn=00765392&volume=189, Ajouter au panier (Supprimer)
		Mathematical approaches to neural networks / Publication : . 1 online resource (vii, 382 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444816924, http://www.sciencedirect.com/science/publication?issn=09246509&volume=51, Ajouter au panier (Supprimer)
		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)
		Clusters, Orders, and Trees: Methods and Applications In Honor of Boris Mirkin's 70th Birthday / Publication : . XI, 404 p. 80 illus., 28 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4939-0742-7, Ajouter au panier (Supprimer)
		DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / Publication : . XII, 205 p. 73 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-01928-4, Ajouter au panier (Supprimer)
		Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / Publication : . XII, 339 p. 165 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03473-7, 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)
		Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / Publication : . XIV, 281 p. 62 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03850-6, Ajouter au panier (Supprimer)
		Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings / Publication : . XVIII, 231 p. 59 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04897-0, 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)
		Multivariate Network Visualization Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions / Publication : . XVI, 237 p. 73 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06793-3, Ajouter au panier (Supprimer)
		Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings / Publication : . XIV, 410 p. 33 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08019-2, Ajouter au panier (Supprimer)
		Code Breaking in the Pacific par Donovan, Peter. Publication : . XXVI, 387 p. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08278-3, Ajouter au panier (Supprimer)
		Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings / Publication : . XVI, 692 p. 126 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08783-2, Ajouter au panier (Supprimer)
		Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / Publication : . X, 251 p. 51 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08909-6, 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)
		Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Publication : . XXVI, 448 p. 77 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-09284-3, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 73 résultats.