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
- Bensalem, Saddek (2)
- Damiani, Ferruccio (2)
- Filipe, Joaquim (2)
- Fähndrich, Manuel (1)
- Giannakopoulou, Dimi... (2)
- Gorp, Pieter Van (1)
- Johnsen, Einar Broch (2)
- Legay, Axel (3)
- Liu, Shaoying (2)
- Maciaszek, Leszek A. (3)
- Margaria, Tiziana (2)
- Merayo, Mercedes G. (2)
- Peña, Ricardo (2)
- Potapov, Igor (2)
- Rubin, Julia (2)
- Salaün, Gwen (2)
- Schaefer, Ina (2)
- Smolka, Scott A. (2)
- Steffen, Bernhard (2)
- Varró, Dániel (2)
- Afficher plus
- Afficher moins
Types de document
- Ebook (107)
Collection
- Atlantis Studies in ... (1)
- Communications in Co... (4)
- Lecture Notes in Com... (99)
- Undergraduate Topics... (1)
Sujets
- Algorithms (13)
- Artificial intellige... (19)
- Artificial Intellige... (19)
- Computer communicati... (26)
- Computer Communicati... (26)
- Computer logic (97)
- Computer programming (38)
- Computer science (107)
- Computer Science (107)
- Computers (17)
- Logics and Meanings ... (97)
- Management informati... (22)
- Management of Comput... (22)
- Mathematical logic (62)
- Mathematical Logic a... (61)
- Programming Language... (107)
- Programming language... (107)
- Programming Techniqu... (38)
- Software engineering (96)
- Software Engineering (95)
- Afficher plus
- Afficher moins

		From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz / Publication : . XII, 208 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-4282-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)
		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)
		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)
		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)
		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)
		Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / Publication : . XVI, 353 p. 81 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07151-0, Ajouter au panier (Supprimer)
		Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / Publication : . VIII, 343 p. 101 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07317-0, Ajouter au panier (Supprimer)
		Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / Publication : . X, 385 p. 132 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07602-7, Ajouter au panier (Supprimer)
		Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / Publication : . XIV, 395 p. 155 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07734-5, Ajouter au panier (Supprimer)
		Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / Publication : . IX, 189 p. 37 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08260-8, Ajouter au panier (Supprimer)
		Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / Publication : . XIV, 193 p. 56 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08311-7, Ajouter au panier (Supprimer)
		Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / Publication : . XVI, 203 p. 81 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-08789-4, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 107 résultats.