Your search returned 310 results. Subscribe to this search

|
1. Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.

by Beckert, Bernhard | Hähnle, Reiner | Schmitt, P. H. (Peter H.), 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: KeY approach.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.V47 V474 2007.
Place hold Log in to add tags.
2. Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings / Bartłomiej Beliczyński ... [et al.] (eds.).

by International Conference on Artificial Neural Networks and Genetic Algorithms (2007 : Warsaw, Poland) | Beliczyński, Bartłomiej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ICANNGA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (2). Location(s): Online QA76.9.A43 I52 2007.
3. Advances in Smalltalk : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006 ; revised selected papers / Wolfgang De Meuter (ed.).

by International Smalltalk Conference (14th : 2006 : Prague, Czech Republic) | De Meuter, Wolfgang.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Smalltalk.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.73.S59 I58 2006.
4. Applications of evolutionary computing : EvoWorkshops 2007, EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTRANSLOG, Valencia, Spain, April 11-13, 2007 : proceedings / Mario Giacobini et al. (eds.).

by EvoWorkshops 2007 (2007 : Valencia, Spain) | Giacobini, Mario.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: EvoWorkshops 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.618 .E838 2007.
5. Model driven architecture - foundations and applications : third European conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007 : proceedings / David H. Akehurst, Regis Vogel, Richard F. Paige (eds.).

by European Conference on Model Driven Architecture - Foundations and Applications (3rd : 2007 : Haifa, Israel) | Akehurst, David H | Vogel, Régis | Paige, Richard F.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ECMDA-FA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.D47 E76 2007.
6. Holonic and multi-agent systems for manufacturing : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 : proceedings / Vladimír Mařík, Valeriy Vyatkin, Armando W. Colombo (eds.).

by International Conference on Industrial Applications of Holonic and Multi-Agent Systems (3rd : 2007 : Regensburg, Germany) | Mařík, V. (Vladimír) | Vyatkin, Valeriy | Colombo, Armando W.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems | International Conference on Industrial Applications of Holonic and Multi-Agent Systems | Industrial applications of holonic and multi-agent systems | HoloMAS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TS155.63 .I59 2007.
7. Applied cryptography and network security : 5th international conference, ACNS 2007, Zhuhai, China, June 5-8, 2007 : proceedings / Jonathan Katz, Moti Yung (eds.).

by ACNS 2007 (2007 : Zhuhai, China) | Katz, Jonathan, 1974- | Yung, Moti.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ACNS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK5102.94 .A28 2007.
8. Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Marcello M. Bonsangue, Einar Broch Johnsen (eds.).

by International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) | Bonsangue, Marcello M | Johnsen, Einar Broch | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: FMOODS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.D5 I573 2007.
9. Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).

by RR 2007 (2007 : Innsbruck, Austria) | Marchiori, M. (Massimo) | Pan, Jeff Z | Sainte Marie, Christian de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RR 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.63 .I56 2007.
10. Computational and ambient intelligence : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastian, Spain, June 20-22, 2007 : proceedings / Francisco Sandoval ... [et al.] (eds.).

by International Work-Conference on Artificial and Natural Neural Networks (9th : 2007 : San Sebastián, Spain) | Sandoval, Francisco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: 9th International Work-Conference on Artificial and Natural Neural Networks | Ninth International Work-Conference on Artificial and Natural Neural Networks | International Work-Conference on Artificial and Natural Neural Networks | IWANN 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.87 .I588 2007.
11. Transactions on data hiding and multimedia security II / Yun Q. Shi (ed.).

by Shi, Yun Q.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.575 .T7282 2007.
12. Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).

by Comon, Hubert | Kirchner, Claude | Kirchner, H. (Hélène).

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA267 .R473 2007.
13. Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.).

by International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England) | Davies, Jim, 1964- | Gibbons, Jeremy, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: IFM 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F67 I58 2007.
14. Computational science and its applications : ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings / Osvaldo Gervasi, Marina L. Gavrilova (eds.).

by ICCSA 2007 (2007 : Kuala Lumpur, Malaysia) | Gervasi, Osvaldo | Gavrilova, Marina L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ICCSA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (3). Location(s): Online QA75.5 .I12 2007.
15. Natural language processing and information systems : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007 : proceedings / Zoubida Kedad ... [et al.] (eds.).

by International Conference on Applications of Natural Language to Information Systems (12th : 2007 : Paris, France) | Kedad, Zoubida.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c2007Other title: International Conference on Applications of Natural Language to Information Systems | NLDB 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.N38 I558 2007.
16. Public key infrastructure : 4th European PKI Workshop : theory and practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007 : proceedings / Javier Lopez, Pierangela Samarati, Josep L. Ferrer (eds.).

by European PKI Workshop (4th : 2007 : Palma de Mallorca, Spain) | López, Javier | Samarati, Pierangela | Ferrer, Josep L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.A25 E973 2007.
17. Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).

by International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France) | Baader, Franz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RTA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA267 .I555 2007.
18. Computing and combinatorics : 13th annual international conference, COCOON 2007, Banff, Canada, July 16-19, 2007 : proceedings / Guohui Lin (ed.).

by COCOON 2007 (2007 : Banff, Alta.) | Lin, Guohui.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: COCOON 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .C549 2007.
19. Unconventional computation : 6th international conference, UC 2007, Kingston, Canada, August 13-17, 2007 : proceedings / Selim G. Akl ... [et al.] (eds.).

by UC 2007 (2007 : Kingston, Ont.) | Akl, Selim G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: UC 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.S63 U5 2007.
20. Abstraction, reformulation, and approximation : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / Ian Miguel, Wheeler Ruml (eds.).

by SARA 2007 (2007 : Whistler, B.C.) | Miguel, Ian | Ruml, Wheeler.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: SARA 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .S27 2007.