Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Logic'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Aalst, Wil M. P. van... (2)
- Bensalem, Saddek (2)
- Boer, Frank S. de (2)
- Bonsangue, Marcello ... (3)
- Damiani, Ferruccio (2)
- D’Argenio, Pedro R. (2)
- Ermolayev, Vadim (3)
- Filipe, Joaquim (2)
- Koutny, Maciej (3)
- Legay, Axel (4)
- Maciaszek, Leszek A. (3)
- Margaria, Tiziana (2)
- Mayr, Heinrich C. (3)
- Nikitchenko, Mykola (3)
- Spivakovsky, Aleksan... (3)
- Stoelinga, Mariëlle (2)
- Vasconcelos, Wambert... (2)
- Voronkov, Andrei (2)
- Yakovlev, Alex (2)
- Zholtkevych, Grygori... (3)
- Afficher plus
- Afficher moins
Types de document
- Ebook (204)
Collection
- Atlantis Studies in ... (1)
- Communications in Co... (8)
- IFIP Advances in Inf... (1)
- Lecture Notes in Com... (180)
- Outstanding Contribu... (1)
- Proceedings in Infor... (1)
- Semantic Web and Bey... (1)
- SpringerBriefs in Co... (1)
- Texts in Computer Sc... (1)
- Undergraduate Topics... (3)
- Afficher plus
- Afficher moins
Sujets
- Algorithm Analysis a... (40)
- Algorithms (40)
- Artificial Intellige... (55)
- Artificial intellige... (55)
- Computation by Abstr... (49)
- Computer communicati... (34)
- Computer logic (204)
- Computer programming (47)
- Computer science (238)
- Computer Science (202)
- Computers (62)
- Logics and Meanings ... (204)
- Mathematical logic (114)
- Mathematical Logic a... (113)
- Programming language... (97)
- Programming Language... (97)
- Programming Techniqu... (47)
- Software engineering (148)
- Software Engineering (146)
- Afficher plus
- Afficher moins

		Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts / par O’Regan, Gerard. Publication : . XX, 288 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-4534-9, Ajouter au panier (Supprimer)
		Programming Languages and Operational Semantics A Concise Overview / par Fernández, Maribel. Publication : . IX, 209 p. 10 illus. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-6368-8, Ajouter au panier (Supprimer)
		Social Semantics The Search for Meaning on the Web / par Halpin, Harry. Publication : . XVI, 220 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-1885-6, Ajouter au panier (Supprimer)
		Distributed Programming Theory and Practice / par Shankar, A. Udaya. Publication : . XVIII, 386 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-4881-5, Ajouter au panier (Supprimer)
		A General Framework for Reasoning On Inconsistency par Martinez, Maria Vanina. Publication : . VII, 45 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-6750-2, Ajouter au panier (Supprimer)
		Modelling Computing Systems Mathematics for Computer Science / par Moller, Faron. Publication : . XVI, 500 p. 46 illus. Disponibilité : http://dx.doi.org/10.1007/978-1-84800-322-4, Ajouter au panier (Supprimer)
		Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / Publication : . XIV, 528 p. 115 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-02444-8, Ajouter au panier (Supprimer)
		Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Publication : . XX, 366 p. 147 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03077-7, Ajouter au panier (Supprimer)
		Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / Publication : . XXIV, 380 p. 86 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03089-0, Ajouter au panier (Supprimer)
		Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / Publication : . X, 381 p. 40 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03542-0, 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)
		Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / Publication : . XII, 379 p. 89 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03998-5, Ajouter au panier (Supprimer)
		Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / Publication : . XVI, 233 p. 51 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04132-2, Ajouter au panier (Supprimer)
		Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics / par Majkić, Zoran. Publication : . XX, 516 p. 170 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04156-8, Ajouter au panier (Supprimer)
		Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / Publication : . X, 193 p. 64 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04915-1, Ajouter au panier (Supprimer)
		Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / Publication : . XVIII, 433 p. 95 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04939-7, Ajouter au panier (Supprimer)
		Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / Publication : . XXV, 432 p. 150 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05032-4, Ajouter au panier (Supprimer)
		OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings / Publication : . X, 191 p. 83 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05215-1, Ajouter au panier (Supprimer)
		Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings / Publication : . XIV, 265 p. 124 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05359-2, Ajouter au panier (Supprimer)
		Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / Publication : . X, 297 p. 91 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05416-2, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 204 résultats.