Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Computers and itype:Ebook and su-to:Programming languages Electronic computers '

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Bensalem, Saddek (2)
- Chapman, Barbara M. (2)
- Cordeiro, José (4)
- Damiani, Ferruccio (2)
- Filipe, Joaquim (2)
- Giannakopoulou, Dimi... (2)
- Legay, Axel (3)
- Maciaszek, Leszek A. (3)
- Margaria, Tiziana (2)
- Merayo, Mercedes G. (2)
- Müller, Matthias S. (2)
- Peña, Ricardo (2)
- Reed, Rick (2)
- Salaün, Gwen (2)
- Schaefer, Ina (2)
- Shishkov, Boris (2)
- Smolka, Scott A. (2)
- Steffen, Bernhard (2)
- Tanter, Éric (2)
- Tillmann, Nikolai (2)
- Afficher plus
- Afficher moins
Types de document
- Ebook (173)
Collection
- Advances in computer... (1)
- Atlantis Studies in ... (1)
- Communications in Co... (8)
- Lecture Notes in Com... (126)
- Lecture Notes in Ele... (1)
- SpringerBriefs in Co... (2)
- Statistics and Compu... (1)
- Undergraduate Topics... (4)
- Use R! (2)
- Afficher plus
- Afficher moins
Sujets
- Algorithms (21)
- Artificial Intellige... (22)
- Artificial intellige... (22)
- Computer Communicati... (32)
- Computer communicati... (32)
- Computer logic (97)
- Computer programming (70)
- Computer science (166)
- Computer Science (166)
- Computers (27)
- Logics and Meanings ... (97)
- Management informati... (25)
- Management of Comput... (25)
- Mathematical logic (62)
- Mathematical Logic a... (61)
- Programming language... (171)
- Programming Language... (171)
- Programming Techniqu... (70)
- Software engineering (127)
- Software Engineering (122)
- Afficher plus
- Afficher moins

		Compiler Design Syntactic and Semantic Analysis / par Wilhelm, Reinhard. Publication : . X, 225 p. Disponibilité : http://dx.doi.org/10.1007/978-3-642-17540-4, Ajouter au panier (Supprimer)
		Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / Publication : . XII, 269 p. 99 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-29578-2, Ajouter au panier (Supprimer)
		Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / Publication : . X, 219 p. 102 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-32341-6, Ajouter au panier (Supprimer)
		Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / Publication : . XII, 322 p. 93 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35632-2, Ajouter au panier (Supprimer)
		Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / Publication : . VIII, 249 p. 4 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35705-3, Ajouter au panier (Supprimer)
		Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / Publication : . X, 415 p. 49 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35722-0, Ajouter au panier (Supprimer)
		ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / Publication : . XIV, 245 p. 52 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35737-4, Ajouter au panier (Supprimer)
		Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / Publication : . X, 393 p. 110 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35813-5, Ajouter au panier (Supprimer)
		Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / Publication : . X, 277 p. 72 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35861-6, Ajouter au panier (Supprimer)
		Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / Publication : . X, 356 p. 129 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35887-6, Ajouter au panier (Supprimer)
		Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / Publication : . XII, 449 p. 112 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-35992-7, Ajouter au panier (Supprimer)
		Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / Publication : . X, 299 p. 132 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36036-7, Ajouter au panier (Supprimer)
		Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures / Publication : . X, 237 p. 72 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36054-1, Ajouter au panier (Supprimer)
		Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / Publication : . XII, 413 p. 172 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36089-3, Ajouter au panier (Supprimer)
		Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach / par Jörges, Sven. Publication : . XXIV, 246 p. 75 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36127-2, Ajouter au panier (Supprimer)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / Publication : . IX, 258 p. 150 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36157-9, Ajouter au panier (Supprimer)
		Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / Publication : . XII, 287 p. 90 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36177-7, Ajouter au panier (Supprimer)
		Assurances for Self-Adaptive Systems Principles, Models, and Techniques / Publication : . X, 341 p. 94 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36249-1, Ajouter au panier (Supprimer)
		Learning C# by Programming Games par Egges, Arjan. Publication : . XXII, 443 p. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36580-5, Ajouter au panier (Supprimer)
		Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Publication : . XXIV, 646 p. 137 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-36742-7, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 173 résultats.