Refine your search

Your search returned 1540 results.

|
1.
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings.

by Veanes, Margus | Vigano, Luca.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013Copyright date: ©2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5-76.95.
2.
Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings.

by Drira, Khalil.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013Copyright date: ©2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5-76.95.
3.
Programming Multi-Agent Systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers.

by Dastani, Mehdi | Hübner, Jomi F | Logan, Brain | Hübner, Jomi F.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013Copyright date: ©2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5-76.95.
4.
Advances in multimedia modeling : 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007 : proceedings / Tat-Jen Cham ... [et al.] (eds.).

by International Multimedia Modelling Conference (13th : 2007 : Singapore) | Cham, Tat-Jen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: 13th International Multimedia Modeling Conference | Thirteenth International Multimedia Modeling Conference | International Multimedia Modeling Conference | MMM 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (2). Location(s): Online Call number: QA76.575 .I6526 2007.
5.
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 Call number: QA76.76.V47 V474 2007.
6.
Membrane computing : 7th international workshop, WMC 2006, Leiden, the Netherlands, July 17-21, 2006, revised, selected, and invited papers / Hendrik Jan Hoogeboom ... [et al.] (eds.).

by WMC 2006 (2006 : Leiden, Netherlands) | Hoogeboom, Hendrik Jan.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: WMC 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.887 .W48 2006.
7.
Systems biology and regulatory genomics : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA, December 2-4, 2005 : revised selected papers / Eleazar Eskin ... [et al.] (eds.).

by Eskin, Eleazar | RECOMB Satellite Workshop on Systems Biology (2005 : San Diego, Calif.) | RECOMB Satellite Workshop on Regulatory Genomics (2005 : San Diego, Calif.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QH324.2 .S976 2007.
8.
Complex motion : first international workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004 ; revised papers / Bernd Jähne ... [et al.] (eds.).

by International Workshop on Complex Motion (1st : 2004 : Günzdurg, Germany) | Jähne, Bernd, 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: IWCM 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: TA1634 .I71255 2004.
9.
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 Call number: QA76.9.A43 I52 2007.
10.
Knowledge discovery and emergent complexity in bioinformatics : first international workshop, KDECB 2006, Ghent, Belgium, May 10, 2006 : revised selected papers / Karl Tuyls ... [et al.], (eds.).

by KDECB 2006 (2006 : Ghent, Belgium) | Tuyls, Karl.

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 Call number: QA76.9.D343 K37 2006.
11.
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 Call number: QA76.73.S59 I58 2006.
12.
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

by Reps, Thomas W. (Thomas William) | Sagiv, Mooly | Bauer, Jörg | Wilhelm, R. (Reinhard), 1946-.

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 Call number: QA76.76.V47 P745 2007.
13.
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 Call number: QA76.618 .E838 2007.
14.
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 Call number: QA76.76.D47 E76 2007.
15.
Human interface and the management of information : Symposium on Human Interface 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Michael J. Smith, Gavriel Salvendy (eds.).

by Hyūman Intafēsu Shinpojūmu (2007 : Beijing, China) | Smith, Michael J. (Michael James), 1945- | Salvendy, Gavriel, 1938- | International Conference on Human-Computer Interaction (12th : 2007 : Beijing, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Symposium on Human Interface 2007 | HCI International 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (2). Location(s): Online Call number: QA76.9.H85 H933 2007.
16.
Advances in bioinformatics and computational biology : second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007 proceedings / Marie-France Sagot, Maria Emilia M.T. Walter (eds.).

by Brazilian Symposium on Bioinformatics (2nd : 2007 : Angra dos Reis, Brazil) | Sagot, Marie-France, 1956- | Walter, Maria Emilia M. T. (Marie Emilia Machado Telles).

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 Call number: QH441.2 .B73 2007.
17.
Coordination, organizations, institutions, and norms in agent systems II : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006, Hakodate, Japan, May 9, 2006, Riva del Garda, Italy, August 28, 2006 : revised selected papers / Pablo Noriega ... [et al.] (eds.).

by COIN 2006 (2006 : Hakodate-shi, Japan and Riva, Italy) | Noriega, Pablo, 1953- | International Joint Conference on Autonomous Agents and Multiagent Systems (5th : 2006 : Hakodate, Japan) | European Conference on Artificial Intelligence (17th : 2006 : Riva, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: AAMAS 2006 | ECAI 2006 | COIN 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.I58 C637 2006.
18.
Advanced concepts for intelligent vision systems : 9th international conference, ACIVS 2007, Delft, the Netherlands, August 28-31, 2007 : proceedings / Jacques Blanc-Talon ... [et al.] (eds.).

by ACIVS 2007 (2007 : Delft, Netherlands) | Blanc-Talon, Jacques, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ACIVS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: TA1634 .A26 2007.
19.
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.).

by TPHOLs 2007 (2007 : Kaiserslautern, Germany) | Schneider, Klaus, 1967- | Brandt, Jens, 1978-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: TPHOLs 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.9.A96 T655 2007.
20.
Spatial information theory : 8th international conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007 ; proceedings / Stephan Winter ... [et al.] (eds.).

by COSIT 2007 (2007 : Melbourne, Vic.) | Winter, Stephan, 1963-.

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