Additions to the MIT Libraries: Computer Science and Computer Engineering

Additions to the MIT Libraries: Computer Science and Computer Engineering http://libraries.mit.edu Additions to the MIT Libraries: Computer Science and Computer Engineering en http://libraries.mit.edu/img/dome/gray-on-white.gif Integration of AI and OR techniques in constraint programming for combinatorial optimization problems :5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514340International Conference on Integration of AI and OR Techniques in Constraint Programming for CombinBarker Library - STACK Q340.I582 2008Sun, 5 Oct 2008 10:17:29 EDT Parallel processing and applied mathematics :7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514434PPAM 2007 (2007 : Gdańsk, Poland)Barker Library - STACK QA76.58.P69 2007Sun, 5 Oct 2008 10:17:29 EDT Advances in computer graphics and computer vision :international conferences, VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506793VISAPP 2006 (2006 : Setúbal, Portugal)Barker Library - STACK T385.V56667 2007Sun, 5 Oct 2008 10:17:29 EDT Computers as components :principles of embedded computing system designhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001508019Wolf, Wayne Hendrix.Barker Library - STACK QA76.9.S88.W64 2008Sun, 5 Oct 2008 10:17:29 EDT Policies and research in identity management :first IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN '07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007http://library.mit.edu/F?func=direct&l_base=&doc_number=001507097IFIP WG11.6 Working Conference on Policies and Research in Identity Management (1st : 2007 : RSM EraBarker Library - STACK TK5105.59.I35 2008Sun, 5 Oct 2008 10:17:29 EDT The Internet of things :from RFID to the next-generation pervasive networked systemshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506782Barker Library - STACK QA76.5915.I68 2008Sun, 5 Oct 2008 10:17:29 EDT Introduction to information retrievalhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510184Manning, Christopher D.Barker Library - STACK QA76.9.T48.M26 2008Sun, 5 Oct 2008 10:17:29 EDT Computer-human interaction :8th Asia-Pacific conference, APCHI 2008, Seoul, Korea, July 6-9, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514857APCHI 2008 (2008 : Seoul, Korea)Barker Library - STACK QA76.9.H85.A66 2008Sun, 5 Oct 2008 10:17:29 EDT Relations and Kleene algebra in computer science :10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513864International Seminar on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany)Barker Library - STACK QA76.R437 2008Sun, 5 Oct 2008 10:17:29 EDT Neural information processing :14th international conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513874International Conference on Neural Information Processing (14th : 2007 : Kitakyūshū-shi, Japan)Barker Library - STACK QA76.87.B735 2007Sun, 5 Oct 2008 10:17:29 EDT DW 2.0 :the architecture for the next generation of data warehousinghttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510298Inmon, William H.Barker Library - STACK QA76.9.D37.I4563 2008Sun, 5 Oct 2008 10:17:29 EDT Latin 2008 :theoretical informatics : 8th Latin American symposium, Búzios, Brazil, April 7-11, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511965Latin American Symposium on Theoretical Informatics (8th : 2008 : Armação dos Búzios, Brazil)Barker Library - STACK QA75.5.L38 2008Sun, 5 Oct 2008 10:17:29 EDT Model-based software and data integration :first international workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506801MBSDI 2008 (2008 : Berlin, Germany)Barker Library - STACK QA76.758.M293 2008Sun, 5 Oct 2008 10:17:29 EDT AsiaSim 2007 :Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506799Asia Simulation Conference (2007 : Seoul, Korea)Barker Library - STACK QA76.9.C65.A85 2007Sun, 5 Oct 2008 10:17:29 EDT Current themes in engineering technologies :selected papers of the World Congress on Engineering and Computer Science ; San Francisco, California, 24-26 October 2007http://library.mit.edu/F?func=direct&l_base=&doc_number=001514149World Congress on Engineering and Computer Science (2007 : San Francisco, Calif.)Hayden Library - STACK TK7885.A1.W67 2007Sun, 5 Oct 2008 10:17:29 EDT NETWORKING 2008 :ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514334International IFIP-TC6 Networking Conference (7th : 2008 : Singapore)Barker Library - STACK TK5103.4.I33 2008Sun, 5 Oct 2008 10:17:29 EDT Materials science and technology for nonvolatile memories :symposium held March 24-27, 2008, San Francisco, California, U.S.A.http://library.mit.edu/F?func=direct&l_base=&doc_number=001515116Hayden Library - STACK TK7895.M4.M367 2008Sun, 5 Oct 2008 10:17:29 EDT Agent and multi-agent systems :technologies and applications : second KES international symposium, KES-AMSTA 2008 : Inchʻŏn, Korea, March 26-28, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513187KES-AMSTA 2008 (2008 : Inchʻŏn, Korea)Barker Library - STACK QA76.76.I58.K47 2008Sun, 5 Oct 2008 10:17:29 EDT A practical approach to signals and systemshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511588Sundararajan, D.Barker Library - STACK TK5102.9.S796 2008Sun, 5 Oct 2008 10:17:29 EDT Tests and proofs :second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513451TAP 2008 (2008 : Prato, Italy)Barker Library - STACK QA76.76.T48.T37 2008Sun, 5 Oct 2008 10:17:29 EDT F# for scientistshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001508898Harrop, Jon D.Barker Library - STACK QA76.73.F163.H37 2008Sun, 5 Oct 2008 10:17:29 EDT Artificial evolution :8th international conference, Evolution Artificielle, EA 2007 : Tours, France, October 29-31, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514342EA 2007 (2007 : Tours, France)Barker Library - STACK QA76.618.A77 2007Sun, 5 Oct 2008 10:17:29 EDT Model driven architecture:foundations and applications : 4th European conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514863European Conference on Model Driven Architecture - Foundations and Applications (4th : 2008 : BerlinBarker Library - STACK QA76.9.A73.E36 2008Sun, 5 Oct 2008 10:17:29 EDT Toward artificial sapience :principles and methods for wise systemshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506785Barker Library - STACK Q335.T68 2008Sun, 5 Oct 2008 10:17:29 EDT Wired/wireless internet communications :6th international conference, WWIC 2008, Tampere, Finland, May 28-30, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513865WWIC 2008 (2008 : Tampere, Finland)Barker Library - STACK TK5103.4885.W85 2008Sun, 5 Oct 2008 10:17:29 EDT Dependability metrics :advanced lectureshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511278Barker Library - STACK QA76.76.R44.D48 2008Sun, 5 Oct 2008 10:17:29 EDT Intelligent data analysis :developing new methodologies through pattern discovery and recoveryhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001509888Barker Library - STACK Q327.I545 2009Sun, 5 Oct 2008 10:17:29 EDT Trustworthy global computing :third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510339TGC 2007 (2007 : Sophia-Antipolis, France)Barker Library - STACK QA76.9.A25.T46 2007Sun, 5 Oct 2008 10:17:29 EDT Pervasive information systemshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506817Barker Library - STACK QA76.5915.P474 2008Sun, 5 Oct 2008 10:17:29 EDT Stuck in the shallow end :education, race, and computinghttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514535Margolis, Jane.Hayden Library - STACK QA76.27.M347 2008Sun, 5 Oct 2008 10:17:29 EDT Blown to bits :your life, liberty, and happiness after the digital explosionhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001512478Abelson, Harold.Hayden Library - Browsery QA76.9.C66.A245 2008Sun, 5 Oct 2008 10:17:29 EDT ICFP '07 workshopshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514034Barker Library - STACK CDROM QA76.62.A26 2007bSun, 5 Oct 2008 10:17:29 EDT Software architecturehttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506792Qin, Zheng.Barker Library - STACK QA76.76.D47.Q226 2008Sun, 5 Oct 2008 10:17:29 EDT The Semantic Web :research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514435European Semantic Web Conference (5th : 2008 : Tenerife, Canary Islands, Spain)Barker Library - STACK TK5105.88815.E87 2006Sun, 5 Oct 2008 10:17:29 EDT WiMax London 2007http://library.mit.edu/F?func=direct&l_base=&doc_number=001515866WiMax London 2007 (2007 : London, England)Barker Library - STACK TK5103.2.W55 2007Sun, 5 Oct 2008 10:17:29 EDT 3G, HSPA and FDD versus TDD networking :smart antennas and adaptive modulationhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506778Hanzo, Lajos, 1952-Barker Library - STACK TK5103.2.H35 2008Sun, 5 Oct 2008 10:17:29 EDT Foundations of software science and computational structures :11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514345FOSSACS 2008 (2008 : Budapest, Hungary)Barker Library - STACK QA76.751.F67 2008Sun, 5 Oct 2008 10:17:29 EDT Introduction to genetic algorithmshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506791Sivanandam, S. N.Barker Library - STACK QA76.623.S58 2007Sun, 5 Oct 2008 10:17:29 EDT Product-focused software process improvement :9th international conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513868PROFES 2008 (2008 : Monte Porzio Catone, Italy)Barker Library - STACK QA76.758.I5743 2008Sun, 5 Oct 2008 10:17:29 EDT The Institution of Engineering and Technology Seminar on Antennas and Propagation for Body-Centric Wireless Communications :24 April 2007 : the Institute of Physics, London UKhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001512999Institution of Engineering and Technology Seminar on Antennas and Propagation for Body-Centric WirelBarker Library - STACK TK5103.2.I55 2007Sun, 5 Oct 2008 10:17:29 EDT Advances in knowledge discovery and data mining :12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514347Pacific-Asia Conference on Knowledge Discovery and Data Mining (12th : 2008 : Osaka, Japan)Barker Library - STACK QA76.9.D3.P33 2008Sun, 5 Oct 2008 10:17:29 EDT Genetic programming :11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513306EuroGP 2008 (2008 : Naples, Italy)Barker Library - STACK QA76.623.G45 2008Sun, 5 Oct 2008 10:17:29 EDT Structural information and communication complexity :15th international colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513870Colloquium on Structural Information and Communication Complexity (15th : 2008 : Villars-sur-Ollon,Barker Library - STACK QA76.9.D5.C65 2008Sun, 5 Oct 2008 10:17:29 EDT Game development essentials :game level designhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506819Castillo, Travis.Barker Library - Browsery CDROM QA76.76.C672.C385 2008Sun, 5 Oct 2008 10:17:29 EDT Advances in ambient intelligencehttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506820Workshop on Artificial Intelligence Techniques for Ambient Intelligence (2nd : 2007 : Hyderabad, IndBarker Library - STACK QA76.5915.W67 2007Sun, 5 Oct 2008 10:17:29 EDT MediaWiki administrators' tutorial guide :install, manage, and customize your MediaWiki installationhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001409797Rahman, Mizanur.Barker Library - STACK TK5105.8882.R34 2007Sun, 5 Oct 2008 10:17:29 EDT Reliable software technologies--Ada-Europe 2008 :13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513869Ada-Europe International Conference on Reliable Software Technologies (13th : 2008 : Venice, Italy)Barker Library - STACK QA76.73.A35.A24 2008Sun, 5 Oct 2008 10:17:29 EDT Python :create-modify-reusehttp://library.mit.edu/F?func=direct&l_base=&doc_number=001509880Knowlton, Jim.Barker Library - STACK QA76.73.P98.K56 2008Sun, 5 Oct 2008 10:17:29 EDT Handbook of research on fuzzy information processing in databaseshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506870Barker Library - STACK QA76.9.D32.H336 2008Sun, 5 Oct 2008 10:17:29 EDT Programming languages and systems :17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513454European Symposium on Programming (17th : 2008 : Budapest, Hungary)Barker Library - STACK QA76.6.E976 2008Sun, 5 Oct 2008 10:17:29 EDT Tenth Scandinavian Conference on Artificial Intelligence :SCAI 2008http://library.mit.edu/F?func=direct&l_base=&doc_number=001509882Scandinavian Conference on Artificial Intelligence (10th : 2008 : Stockholm City, Sweden)Barker Library - STACK Q334.S28 2008Sun, 5 Oct 2008 10:17:29 EDT Haptics: perception, devices and scenarios :6th international conference, EuroHaptics 2008, Madrid, Spain, June 10-13, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514868EuroHaptics Conference (2008 : Madrid, Spain)Barker Library - STACK QA76.9.H85.E938 2008Sun, 5 Oct 2008 10:17:29 EDT Requirements engineering : foundation for software quality :14th international working conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514437REFSQ 2008 (2008 : Montpellier, France)Barker Library - STACK QA76.758.R45 2008Sun, 5 Oct 2008 10:17:29 EDT Service availability :5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514339International Service Availability Symposium (5th : 2008 : Tokyo, Japan)Barker Library - STACK TK5105.5.S4233 2008Sun, 5 Oct 2008 10:17:29 EDT OpenMP in a new era of parallelism :4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514870IWOMP 2008 (2008 : West Lafayette, Ind.)Barker Library - STACK QA76.642.I589 2008Sun, 5 Oct 2008 10:17:29 EDT Formal techniques for networked and distributed systems--FORTE 2008 :28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514330FORTE 2008 (2008 : Tokyo, Japan)Barker Library - STACK QA76.9.F67.F67 2008Sun, 5 Oct 2008 10:17:29 EDT Semantic web for the working ontologist :modeling in RDF, RDFS and OWLhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506824Allemang, Dean.Barker Library - STACK TK5105.888.A45 2008Sun, 5 Oct 2008 10:17:29 EDT Principles of digital communicationhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513159Gallager, Robert G.Barker Library - STACK TK5103.7.G35 2008Sun, 5 Oct 2008 10:17:29 EDT Passive and active network measurement :9th international conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514337PAM 2008 (2008 : Cleveland, Ohio)Barker Library - STACK TK5105.5.P36 2008Sun, 5 Oct 2008 10:17:29 EDT Handbook of knowledge representationhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506774Barker Library - STACK Q387.2.H363 2008Sun, 5 Oct 2008 10:17:29 EDT Dojo :using the Dojo JavaScript library to build Ajax applicationshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001507096Harmon, James E. (James Earl)Barker Library - STACK TK5105.8885.A52.H37 2009Sun, 5 Oct 2008 10:17:29 EDT Network strategies in Europe :developing the future for transport and ICThttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511556Barker Library - STACK TK5105.N46 2008Sun, 5 Oct 2008 10:17:29 EDT The Institution of Engineering and Technology Seminar on Broadband on Trains :20 February 2007 : ExCel, London, UKhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001512994Institution of Engineering and Technology Seminar on Broadband on Trains (2007 : London, England)Barker Library - STACK TK5103.4.I54 2007Sun, 5 Oct 2008 10:17:29 EDT The Institution of Engineering and Technology Seminar on Industrial Networking and Wireless Communications in Control :16 October 2007 : Coombe Abbey, Coventry, UKhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513010Institution of Engineering and Technology Seminar on Industrial Networking and Wireless CommunicatioBarker Library - STACK TK5103.2.I4874 2007Sun, 5 Oct 2008 10:17:29 EDT Effective Javahttp://library.mit.edu/F?func=direct&l_base=&doc_number=001484188Bloch, Joshua.Barker Library - STACK QA76.73.J38.B57 2008Sun, 5 Oct 2008 10:17:29 EDT Combinatorial pattern matching :19th annual symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513877Symposium on Combinatorial Pattern Matching (19th : 2008 : University of Pisa)Barker Library - STACK QA76.9.A43.C65 2008Sun, 5 Oct 2008 10:17:29 EDT Classic works of the Dempster-Shafer theory of belief functionshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510735Barker Library - STACK QA76.87.C53 2008Sun, 5 Oct 2008 10:17:29 EDT Clean code :a handbook of agile software craftsmanshiphttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511591Martin, Robert C.Barker Library - STACK QA76.76.D47.M3652 2009Sun, 5 Oct 2008 10:17:29 EDT Frontiers in algorithmics :second international workshop, FAW 2008, Changsha, China, June 19-21, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514440FAW 2008 (2008 : Changsha Shi, China)Barker Library - STACK QA76.9.A43.F39 2008Sun, 5 Oct 2008 10:17:29 EDT Programming multi-agent systems :5th international workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007 : revised and invited papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514336ProMAS (Conference) (5th : 2007 : Honolulu, Hawaii)Barker Library - STACK QA76.76.I58.P79 2007Sun, 5 Oct 2008 10:17:29 EDT Agile processes in software engineering and eXtreme programming :8th international conference, XP 2008, Limerick, Ireland, June 10-14, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511589XP 2008 (2008 : Limerick, Ireland)Barker Library - STACK QA76.76.D47.X62 2008Sun, 5 Oct 2008 10:17:29 EDT Fundamental approaches to software engineering :11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513863FASE 2008 (2008 : Budapest, Hungary)Barker Library - STACK QA76.758.F44 2008Sun, 5 Oct 2008 10:17:29 EDT ASPLOS XIII :Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 1-5, 2008, Seattle, Washington, USAhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514973International Conference on Architectural Support for Programming Languages and Operating Systems (1Barker Library - STACK CDROM QA76.9.A73.S95 2008Sun, 5 Oct 2008 10:17:29 EDT Web services and formal methods :4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511964WS-FM 2007 (2007 : Brisbane, Qld.)Barker Library - STACK TK5105.88813.W7 2007Sun, 5 Oct 2008 10:17:29 EDT Multimodal user interfaces :from signals to interactionhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506800Barker Library - STACK QA76.9.U83.M856 2008Sun, 5 Oct 2008 10:17:29 EDT Transactions on data hiding and multimedia security IIIhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514429Barker Library - STACK QA76.575.T7283 2008Sun, 5 Oct 2008 10:17:29 EDT Applied cryptography and network security :6th international conference, ACNS 2008, New York, NY, USA, June 3-6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514866ACNS 2008 (2008 : New York, N.Y.)Barker Library - STACK TK5102.94.A28 2008Sun, 5 Oct 2008 10:17:29 EDT Agent-oriented software engineering VIII :8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514335AOSE 2007 (2007 : Honolulu, Hawaii)Barker Library - STACK QA76.758.A57 2007Sun, 5 Oct 2008 10:17:29 EDT Public key infrastructure :5th European PKI workshop : theory and practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510754European PKI Workshop (5th : 2008 : Trondheim, Norway)Barker Library - STACK QA76.9.A25.E974 2008Sun, 5 Oct 2008 10:17:29 EDT Quantum computing without magic :deviceshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514397Meglicki, Zdzislaw, 1953-Barker Library - STACK QA76.889.M44 2008Sun, 5 Oct 2008 10:17:29 EDT FXRuby :create lean and mean GUIs with Rubyhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506871Johnson, Lyle.Barker Library - STACK QA76.73.R83.J65 2008Sun, 5 Oct 2008 10:17:29 EDT Hybrid systems :computation and control : 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514341HSCC 2008 (2008 : Saint Louis, Mo.)Barker Library - STACK QA76.38.H73 2008Sun, 5 Oct 2008 10:17:29 EDT Reconfigurable computing :architectures, tools and applications : 4th international workshop, ARC 2008, London, UK, March 26-28, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513450ARC 2008 (2008 : London, England)Barker Library - STACK QA76.9.A3.A73 2008Sun, 5 Oct 2008 10:17:29 EDT Genetic programming theory and practice Vhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506776Workshop on Genetic Programming, Theory and Practice (5th : 2007 May 17-19 : Ann Arbor, Mich.)Barker Library - STACK QA76.623.G49 2007Sun, 5 Oct 2008 10:17:29 EDT Privacy enhancing technologies :8th international symposium, PETS 2008, Leuven, Belgium, July 23-25, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514578PETS 2008 (2008 : Louvain, Belgium)Barker Library - STACK QA76.9.A25.P443 2008Sun, 5 Oct 2008 10:17:29 EDT Multimedia forensics and securityhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001509887Barker Library - STACK QA76.575.M83187 2009Sun, 5 Oct 2008 10:17:29 EDT Ajax in Oracle JDeveloperhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506798Vohra, Deepak, 1966-Barker Library - STACK QA76.73.J38.V67 2008Sun, 5 Oct 2008 10:17:29 EDT Information security and privacy :13th Australasian conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513875ACISP 2008 (2008 : Wollongong, N.S.W.)Barker Library - STACK QA76.9.A25.A278 2008Sun, 5 Oct 2008 10:17:29 EDT Parallel algorithmshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510733Casanova, Henri.Barker Library - STACK QA76.642.C39 2009Sun, 5 Oct 2008 10:17:29 EDT Implementing email and security tokens :current standards, tools, and practiceshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506815Turner, Sean H.Barker Library - STACK TK5105.73.T87 2008Sun, 5 Oct 2008 10:17:29 EDT Logic-based program synthesis and transformation :17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513457LOPSTR 2007 (2007 : Kongens Lyngby, Denmark)Barker Library - STACK QA76.63.I57 2006Sun, 5 Oct 2008 10:17:29 EDT Formal methods for computational systems biology :8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectureshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514333International School on Formal Methods for the Design of Computer, Communication, and Software SysteBarker Library - STACK QA76.754.F67 2008Sun, 5 Oct 2008 10:17:29 EDT Experimental algorithms :7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514874WEA 2008 (2008 : Provincetown, Mass.)Barker Library - STACK QA76.9.A43.W43 2008Sun, 5 Oct 2008 10:17:29 EDT Bio-inspired artificial intelligence :theories, methods, and technologieshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514391Floreano, Dario.Barker Library - STACK Q336.F66 2008Sun, 5 Oct 2008 10:17:29 EDT High confidence software reuse in large systems :10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513866International Conference on Software Reuse (10th : 2008 : Beijing, China)Barker Library - STACK QA76.76.R47.I587 2008Sun, 5 Oct 2008 10:17:29 EDT Foundations of intelligent systems :17th international symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514343International Symposium on Methodologies for Intelligent Systems (17th : 2008 : Toronto, Ont.)Barker Library - STACK Q334.I576 2008Sun, 5 Oct 2008 10:17:29 EDT Design concepts in programming languageshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510645Turbak, Franklyn Albin.Barker Library - STACK QA76.7.T845 2008Sun, 5 Oct 2008 10:17:29 EDT Wireless ad hoc and sensor networks :theory and applicationshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513140Li, Xiangyang.Barker Library - STACK TK5103.2.L546 2008Sun, 5 Oct 2008 10:17:29 EDT Discrete geometry for computer imagery :14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514344DGCI 2008 (2008 : Lyon, France)Barker Library - STACK T385.D525 2008Sun, 5 Oct 2008 10:17:29 EDT The allure of machinic life :cybernetics, artificial life, and the new AIhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514395Johnston, John, 1947-Barker Library - STACK Q310.J65 2008Sun, 5 Oct 2008 10:17:29 EDT Formal methods for open object-based distributed systems :10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514453International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 :Barker Library - STACK QA76.9.D5.F6642 2008Sun, 5 Oct 2008 10:17:29 EDT ICMI '07 :proceedings of the Ninth International Conference on Multimodal Interfaces, Nagoya, Aichi, Japan, November 12 - 15, 2007http://library.mit.edu/F?func=direct&l_base=&doc_number=001507607ICMI (Conference) (9th : 2007 : Nagoya-shi, Japan)Barker Library - STACK QA76.9.U83.I26 2007Sun, 5 Oct 2008 10:17:29 EDT Privacy, security, and trust in KDD :first ACM SIGKDD international workshop, PinKDD 2007, San Jose, CA, USA, August 12, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511960PinKDD 2007 (2007 : San Jose, Calif.)Barker Library - STACK QA76.9.A25.P557 2007Sun, 5 Oct 2008 10:17:29 EDT Advances in semantic media adaptation and personalizationhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506796Barker Library - STACK TK5105.88815.A49 2008Sun, 5 Oct 2008 10:17:29 EDT Algorithms and models for the web-graph :fourth international workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006 : revised papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001511968WAW 2006 (2006 : Banff, Alta.)Barker Library - STACK QA76.9.A43.W428 2006Sun, 5 Oct 2008 10:17:29 EDT Advances in artificial intelligence :21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001515120Canadian Society for Computational Studies of Intelligence. Conference (21st : 2008 : Windsor, QuébBarker Library - STACK Q334.C37a 2008Sun, 5 Oct 2008 10:17:29 EDT Algorithms and architectures for parallel processing :8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514436International Conference on Algorithms and Architectures for Parallel Processing (8th : 2008 : CypruBarker Library - STACK QA76.58.I527 2008Sun, 5 Oct 2008 10:17:29 EDT The Internet of things :first international conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513453IOT 2008 (2008 : Zurich, Switzerland)Barker Library - STACK QA76.5915.I72 2008Sun, 5 Oct 2008 10:17:29 EDT Interactive web-based virtual reality with Java 3Dhttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510301Ko, Chi Chung.Barker Library - STACK QA76.73.J38.K595 2009Sun, 5 Oct 2008 10:17:29 EDT Embedded systems specification and design languages :selected contributions from FDL'07http://library.mit.edu/F?func=direct&l_base=&doc_number=001504440FDL'07 (2007 : Catalonia, Spain)Barker Library - STACK TK7885.7.F35 2007Sun, 5 Oct 2008 10:17:29 EDT Emergence in gameshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506809Sweetser, Penny.Barker Library - Browsery QA76.76.C672.S94 2008Sun, 5 Oct 2008 10:17:29 EDT Sharing data, information and knowledge :25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513871British National Conference on Databases (25th : 2008 : Cardiff, Wales)Barker Library - STACK QA76.9.D3.B75 2008Sun, 5 Oct 2008 10:17:29 EDT Argumentation in multi-agent systems :4th international workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007 : revised selected and invited papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001510342ArgMAS 2007 (2007 : Honolulu, Hawaii)Barker Library - STACK QA76.76.I58.A73 2007Sun, 5 Oct 2008 10:17:29 EDT Securing information and communications systems :principles, technologies, and applicationshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001504467Barker Library - STACK QA76.9.A25.S37563 2008Sun, 5 Oct 2008 10:17:29 EDT MPLS :next stepshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506825Davie, Bruce S.Barker Library - STACK TK5105.573.D39 2008Sun, 5 Oct 2008 10:17:29 EDT Compiler construction :17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513861CC 2008 (2008 : Budapest, Hungary)Barker Library - STACK QA76.76.C65.I54 2008Sun, 5 Oct 2008 10:17:29 EDT Broadband growth and policies in OECD countries.http://library.mit.edu/F?func=direct&l_base=&doc_number=001509607Dewey Library - STACK TK5103.4.B758 2008Sun, 5 Oct 2008 10:17:29 EDT Formal methods for industrial critical systems :12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papershttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513860International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, GermBarker Library - STACK QA76.9.F67.I584 2007Sun, 5 Oct 2008 10:17:29 EDT Game development essentials :gameplay mechanicshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001506781Dunniway, Troy.Barker Library - Browsery QA76.76.C672.D865 2008Sun, 5 Oct 2008 10:17:29 EDT Applications of evolutionary computing :EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001513455EvoWorkshops 2008 (2008 : Naples, Italy)Barker Library - STACK QA76.618.E899 2007Sun, 5 Oct 2008 10:17:29 EDT FM 2008 :formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedingshttp://library.mit.edu/F?func=direct&l_base=&doc_number=001514338International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)Barker Library - STACK QA76.76.D47.I593 2008Sun, 5 Oct 2008 10:17:29 EDT