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)
- Albert, Elvira (2)
- Bensalem, Saddek (2)
- Boer, Frank S. de (2)
- Bonsangue, Marcello ... (2)
- Damiani, Ferruccio (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)
- Ortmeier, Frank (2)
- Spivakovsky, Aleksan... (3)
- Vasconcelos, Wambert... (2)
- Yakovlev, Alex (2)
- Zholtkevych, Grygori... (3)
- Ábrahám, Erika (2)
- Afficher plus
- Afficher moins
Types de document
- Ebook (165)
Collection
- Communications in Co... (7)
- Lecture Notes in Com... (150)
- Undergraduate Topics... (2)
Sujets
- Algorithms (28)
- Artificial intellige... (40)
- Artificial Intellige... (40)
- Computation by Abstr... (30)
- Computer Communicati... (33)
- Computer communicati... (33)
- Computer logic (148)
- Computer programming (43)
- Computer science (164)
- Computer Science (163)
- Computers (36)
- Logics and Meanings ... (148)
- Management of Comput... (27)
- Mathematical logic (86)
- Mathematical Logic a... (85)
- Programming Language... (96)
- Programming language... (96)
- Programming Techniqu... (43)
- Software engineering (165)
- Software Engineering (160)
- Afficher plus
- Afficher moins

		Using Event-B for Critical Device Software Systems par Singh, Neeraj Kumar. Publication : . XVIII, 326 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5260-6, Ajouter au panier (Supprimer)
		Refinement in Z and Object-Z Foundations and Advanced Applications / par Derrick, John. Publication : . XVIII, 492 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5355-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)
		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)
		Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift / Publication : . VII, 113 p. 35 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-00966-7, 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)
		Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / Publication : . XII, 385 p. 156 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-02654-1, 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)
		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)
		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)
		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)
		Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings / Publication : . XX, 326 p. 69 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05843-6, Ajouter au panier (Supprimer)
		Introduction to Software Quality par O’Regan, Gerard. Publication : . XXVII, 354 p. 124 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06106-1, Ajouter au panier (Supprimer)
		NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings / Publication : . XXVI, 360 p. 114 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06200-6, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 165 résultats.