New in the Library Catalog

Unpacking the collection [electronic resource] : networks of material and social agency in the museum / Sarah Byrne...[et al.], editors.

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9781441982223 (electronic bk.)
Location: Galvin Online Resource
Call number: AM133 .U57 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Friedrich Waismann-- Causality and logical positivism [electronic resource] / B.F. McGuinness, editor.

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9789400717510 (electronic bk.)
Location: Galvin Online Resource
Call number: B3359.W357 F75 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Tools for teaching logic [electronic resource] : third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / Patrick Blackburn...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:35 GMT

Author: TICTTL 2011 (2011 : Salamanca, Spain)
ISBN: 9783642213502 (electronic bk.)
Location: Galvin Online Resource
Call number: BC59 .T53 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Geospatial semantics and the semantic web [electronic resource] : foundations, algorithms, and applications / Naveen Ashish, Amit P. Sheth, editors.

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9781441994462 (electronic bk.)
Location: Galvin Online Resource
Call number: G70.212 .G46 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Environmental software systems [electronic resource] : frameworks of eEnvironment ; 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings / Jiří Hřebíček, Gerald Schimak, Ralf Denzer (eds.).

Tue, 06 Sep 2011 06:53:35 GMT

Author: International Symposium on Environmental Software Systems (9th : 2011 : Brno, Czech Republic)
ISBN: 9783642222856 (electronic bk.)
Location: Galvin Online Resource
Call number: GE45.D37 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software business [electronic resource] : second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, proceedings / Björn Regnell, Inge van de Weerd, Olga De Troyer (Eds.).

Tue, 06 Sep 2011 06:53:35 GMT

Author: ICSOB 2011 (2011 : Brussels, Belgium)
ISBN: 9783642215445 (electronic bk.)
Location: Galvin Online Resource
Call number: HD9696.63 .A1 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Pro Android web apps [electronic resource] : develop for Android using HTML5, CSS3 & JavaScript / Damon Oehlman and Sébastien Blanc.

Tue, 06 Sep 2011 06:53:35 GMT

Author: Oehlman, Damon.
ISBN: 9781430232773 (electronic bk.)
Location: Galvin Online Resource
Call number: HF5548.4.A53 O34 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Social networks and fertility decision-making [electronic resource] : a mixed-methods study on personal relations and social influence on family formation / Sylvia Keim.

Tue, 06 Sep 2011 06:53:35 GMT

Author: Keim, Sylvia.
ISBN: 9783531931739 (electronic bk.)
Location: Galvin Online Resource
Call number: HQ759.98 .K45 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Counterterrorism and open source intelligence [electronic resource] / Uffe Kock Wiil, editor.

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9783709103883 (electronic bk.)
Location: Galvin Online Resource
Call number: HV6431 .C68 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Legislative XML for the semantic web [electronic resource] : principles, models, standards for document management / edited by Giovanni Sartor...[et al.].

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9789400718876 (electronic bk.)
Location: Galvin Online Resource
Call number: K87 .L44 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computer science and educational software design [electronic resource] : a resource for multidisciplinary work in technology enhanced learning / Pierre Tchounikine.

Tue, 06 Sep 2011 06:53:35 GMT

Author: Tchounikine, Pierre.
ISBN: 9783642200038 (electronic bk.)
Location: Galvin Online Resource
Call number: LB1028.68 .T34 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Mathematics and computation in music [electronic resource] : third international conference, MCM 2011, Paris, France, June 15-17, 2011 : proceedings / Carlos Agon ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:35 GMT

Author: MCM 2011 (2011 : Paris, France)
ISBN: 9783642215902
Location: Galvin Online Resource
Call number: ML3800eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Logical aspects of computational linguistics [electronic resource] : 6th international conference, LACL 2011, Montpellier, France, June 29-July 1, 2011 : proceedings / Sylvain Pogodalla, Jean-Philippe Prost (eds.).

Tue, 06 Sep 2011 06:53:35 GMT

Author: LACL 2011 (2011 : Montpellier, France)
ISBN: 9783642222214
Location: Galvin Online Resource
Call number: P98eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Next generation data technologies for collective computational intelligence [electronic resource] / Nik Bessis and Fatos Xhafa (eds.).

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9783642203442 (electronic bk.)
Location: Galvin Online Resource
Call number: Q342 .N49 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Transactions on computational collective intelligence IV [electronic resource] / Ngoc Thanh Nguyen (ed.).

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9783642218842 (electronic bk.)
Location: Galvin Online Resource
Call number: Q342 .T73 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Quantum information, computation and cryptography [electronic resource] : an introductory survey of theory, technology and experiments / edited by Fabio Benatti.

Tue, 06 Sep 2011 06:53:35 GMT

ISBN: 9783642119149
Location: Galvin Online Resource
Call number: Q360 Q36 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Knowledge in formation [electronic resource] : a computational theory of interpretation / Janos J. Sarbo, Jozsef I. Farkas, Auke J.J. van Breemen.

Tue, 06 Sep 2011 06:53:35 GMT

Author: Sarbo, Janos J.
ISBN: 9783642170898 (electronic bk.)
Location: Galvin Online Resource
Call number: Q387 .S27 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Aspects of mathematical logic [electronic resource] : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 / edited by E. Casari.

Tue, 06 Sep 2011 06:53:35 GMT

Author: C.I.M.E. Summer School (1968 : Varenna, Italy)
ISBN: 9783642110801 (electronic bk.)
Location: Galvin Online Resource
Call number: QA9.A1 C56 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Recursion theory and computational complexity [electronic resource] : lectures given at a summer school of the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 / edited by G. Lolli.

Tue, 06 Sep 2011 06:53:35 GMT

Author: C.I.M.E. Summer School (1979 : Bressanone, Italy)
ISBN: 9783642110726 (electronic bk.)
Location: Galvin Online Resource
Call number: QA9.6 .C56 1979eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Advances in computing and information technology [electronic resource] : first International Conference, ACITY 2011, Chennai, India, July 15-17, 2011, proceedings / David C. Wyld...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ACITY 2011 (2011 : Chennai, India)
ISBN: 9783642225550 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .A25 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computers, networks, systems, and industrial engineering 2011 [electronic resource] / Roger Lee (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642213755 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .C66 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Contemporary computing [electronic resource] : 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011, proceedings / Srinivas Aluru...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: IC3 2011 (2011 : Noida, India)
ISBN: 9783642226069 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I2 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational science and its applications - ICCSA 2011 [electronic resource] : international conference, Santander, Spain, June 20-23, 2011, proceedings. Part I / Beniamino Murgante ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICCSA 2011 (2011 : Santander, Spain)
ISBN: 9783642219283 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational science and its applications - ICCSA 2011 [electronic resource] : international conference, Santander, Spain, June 20-23, 2011, proceedings. Part V / Beniamino Murgante ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICCSA 2011 (2011 : Santander, Spain)
ISBN: 9783642219344 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational science and its applications - ICCSA 2011 [electronic resource] : international conference, Santander, Spain, June 20-23, 2011, proceedings. Part IV / Beniamino Murgante ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICCSA 2011 (2011 : Santander, Spain)
ISBN: 9783642218989 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational science and its applications - ICCSA 2011 [electronic resource] : international conference, Santander, Spain, June 20-23, 2011, proceedings. Part II / Beniamino Murgante... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICCSA 2011 (2011 : Santander, Spain)
ISBN: 9783642218873 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational science and its applications-- ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011, Proceedings. Part III / Beniamino Murgante...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICCSA 2011 (2011 : Santander, Spain)
ISBN: 9783642219313 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Integrated computing technology [electronic resource] : first international conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011 : proceedings / Estevam Rafael Hruschka, Junzo Watada, Maria do Carmo Nicoletti (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Integrated Computing Technology (1st : 2011 : São Carlos, São Paulo, Brazil)
ISBN: 9783642222474
Location: Galvin Online Resource
Call number: QA75.5 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computer science-- Theory and applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011, proceedings / Alexander Kulikov, Nikolay Vereshchagin (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Computer Science Symposium in Russia (6th : 2011 : St. Petersburg, Russia)
ISBN: 9783642207129 (electronic bk.)
Location: Galvin Online Resource
Call number: QA75.5 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computation, cooperation, and life [electronic resource] : essays dedicated to Gheorghe Păun on the occasion of his 60th birthday / Jozef Kelemen, Alicia Kelemenová (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642200007
Location: Galvin Online Resource
Call number: QA76 .C66 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computer and information science 2011 [electronic resource] / Roger Lee (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642213786 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76 .C66 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

VIPTRAN--a programming language and its compiler for Boolean systems or process control equations.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Weaver, Alfred Charles.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.603

Flowchart-to-source-code conversion program for GPSS/360.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Purvy, Robert Edward.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.613

Multi-Batch : a multiprogrammed multiprocessor Batch system for the PDP-11 computer / by Gregory Lawrence Chesson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Chesson, Gregory Lawrence.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.618

Deadlock in distributed computer networks / by Thomas Jay Miller.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Miller, Thomas Jay.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.619

Emulation of the PDP-11 instruction set on the Lockheed SUE processor / by James Frederick Hart.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hart, James Frederick.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.621

Optimal networks with NOR-OR gates and Wired OR logic.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Kawasaki, Tsuneo.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.623

ERGODIC : computing with a combination of stochastic and bundle processing / by James R. Cutler.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Cutler, James R.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.630

Digital radio aids for a flight simulator : radio memories, display, code keyer / by Lucien Isidore Facchin.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Facchin, Lucien Isidore.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.633

Specialized computer for information retrieval / by William Howard Stellhorn.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Stellhorn, William Howard, 1943-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.637

Semi-virtual memory multi-programming system for the mini-computer PDP 8/3 (ILLIAC-3) / by Tze-Wah Wong.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Wong, Tze-Wah.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.641

VIPTRAN2 : an improved programming language and its compiler for process control equations / by Alfred Charles Weaver.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Weaver, Alfred Charles.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.643

General exam syllabus / Department of Computer Science, University of Illinois at Urbana-Champaign.

Tue, 06 Sep 2011 06:53:36 GMT

Author: University of Illinois at Urbana-Champaign. Dept. of Computer Science.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.645

Pl/2d--a programming language for generating 2-dimensional patterns / by Karen Sebela Lantz.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Lantz, Karen Sebela.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.647

Brief encounter review : an investigation in graphic computer-based medical record reporting systems / by Henry Albert Warner.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Warner, Henry Albert.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.648

Minimization of logic networks under a generalized cost function / by Saburo Muroga, Hung Chi Lai.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Muroga, Saburo.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.649

What do we need in programming languages for mathematical software? / by C. W. Gear.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Gear, C. William (Charles William), 1935-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.652

BASIC language interpreter for the Intel 8008 microprocessor / by Alfred C. Weaver, Michael H. Tindall, Ronald L. Danielson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Weaver, Alfred Charles.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.658

Comparative discussion of variable-valued logic and grammatical inference / by A.B. Baskin.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Baskin, A. B.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.663

Coder : a program module for code generation in high-level language compilers / by Raymond P. Young.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Young, Raymond P.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.666

Use of Riccati equation in digital computer arithmetic / by Kishor S. Trivedi.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Trivedi, Kishor Shridharbhai, 1946-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.674

Cost minimization in computer systems subject to multiple memory constraints / by Michael Austin Jamerson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Jamerson, Michael Austin.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.678

Lower bounds on merging networks / Andrew Chi-Chih Yao, Foong Frances Yao.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yao, Andrew Chi-Chih.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.680

Program manual : NOR network pruning procedures using permissible functions : reference manual of NOR network transduction programs NETTRA-PG1, NETTRA-P1, and NETTRA-P2 / by H.C. Lai, J.N. Culliney.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Lai, Hung-Chi.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.686

Use of macros in backtrack programming / by James Richard Bitner.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Bitner, James Richard.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.687

NOR network transduction procedures : "merging of gates" and "substitution of gates" for fan-in and fan-out restricted networks, NETTRA-G3-FIFO and NETTRA-PG1-FIFO / by Boonklee Plangsiri.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Boonklee Plangsiri.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.688

Pruning procedures for NOR networks using permissible functions : principles of NOR network transduction programs NETTRA-PGI, NETTRA-P1, and NETTRA-P2 / by J.N. Culliney, H.C. Lai, Y. Kambayashi.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Culliney, Jay.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.690

O(/E/loglog/V/) algorithm for finding minimum spanning trees / Andrew Chi-chih Yao.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yao, Andrew Chi-Chih.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.691

On a negative result regarding the use of continued fractions for digital computer arithmetic / by Kishor Shridharbhai Trivedi.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Trivedi, Kishor Shridharbhai, 1946-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.693

Program manual : NOR network transduction based on connectable and disconnectable conditions : reference manual of NOR network transduction programs NETTRA-G1 and NETTRA-G2 / by J.N. Culliney.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Culliney, Jay.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.698

On computing the rank function for a set of vectors / by Andrew Chi-Chih Yao, Foong Frances Yao.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yao, Andrew Chi-Chih.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.699

Parallel QR-algorithm for tridiagonal symmetric matrices / by Ahmed H. Sameh and David J. Kuck.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Sameh, Ahmed.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.700

Linear system solvers for parallel computers / by A.H. Sameh and D.J. Kuck.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Sameh, Ahmed.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.701

Computer approach to the manipulation of tables / by Ivan Hueck Ochea.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Ochea, Ivan Hueck.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.704

Program manual, NOR network transduction by generalized gate merging and substitution : (reference manual of NOR network transduction programs NETTRA-G3 and NETTRA-G4) / by H.C. Lai.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Lai, Hung-Chi.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.714

Study of concrete computational complexity / by Andrew Chi-Chih Yao.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yao, Andrew Chi-Chih.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.716

Algorithms for parsing search queries in inverted file document retrieval systems / by Jane W.S. Liu.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Liu, Jane W. S.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.718

Network transduction programs based on connectable and disconnectable conditions with fan-in and fan-out restrictions : (a description of NETTRA-G1-FIFO and NETTRA-G2-FIFO) / Keith R. Hohulin.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hohulin, Keith R.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.719

Alternative methods for solving the CC-table in Gimpel's algorithm for synthesizing optimal three level NAND networks / by Keith R. Hohulin, Saburo Muroga.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hohulin, Keith R.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.720

Further negative results regarding the use of continued fractions for digital computer arithmetic / by Kishor Shridharbhai Trivedi.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Trivedi, Kishor Shridharbhai, 1946-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.721

Comparative response times of time-sharing systems on the ARPA network / by Sandra Ann Mamrak.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Mamrak, Sandra A., 1944-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.722

Analysis of scheduling algorithms in multiprocessor computing systems / by Nai-Fung Chen.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Chen, Nai-Fung, 1945-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.724

Selected problems of minimization of variable-valued logic formulas / by Roland Phillipe Cuneo.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Cuneo, Roland Phillipe.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.726

NOR network transduction by generalized gate merging and substitution procedures : (principles of NOR network transduction programs NETTRA-G3 and NETTRA-G4) / by H.C. Lai, Y. Kambayashi.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Lai, Hung-Chi.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.728

SYM-1, a program that detects symmetry of variable-valued logic functions / Gerald M. Jensen.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Jensen, Gerald M.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.729

Program manual : NOR network transduction based on error-compensation : reference manual of NOR network transduction programs NETTRA-E1, NETTRA-E2, and NETTRA-E3 / by H.C. Lai, J.N. Culliney.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Lai, Hung-Chi.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.732

NOR network transduction based on error-compensation : principles of NOR network transduction programs NETTRA-E1, NETTRA-E2, and NETTRA-E3 / by Y. Kambayashi ... [et al.].

Tue, 06 Sep 2011 06:53:36 GMT

Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.737

Information and advising system for an automated introductory computer science course / by Dave Ronald Eland.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Eland, Dave Ronald, 1947-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.738

Code generator for the Cleopatra language / by John David Halbur.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Halbur, John David.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.739

Cleopatra code generator user's guide / by John David Halbur.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Halbur, John David.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.740

ROBOCAR : educating the layman in computer science / by James W. Renshaw.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Renshaw, James W.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.741

Analyzing smooth flowcharts : teaching structured programming in a computer-based education environment / by Daniel Clair Hyde.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hyde, Daniel Clair, 1946-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.743

General method for evaluation of functions and computations in a digital computer / by Milos D. Ercegovac.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Ercegovac, Miloés D.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.750

PATTIE : an automated tutor for top-down programming / by Ronald Lee Danielson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Danielson, Ronald L.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.753

Generator/grader of problems about syntax of programming languages to be used in an automated exam system / by Francisco J. Izquierdo.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Izquierdo, Francisco J.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.755

Array computer for the class of problems typified by the general circulation model of the atmosphere / by Marvin L. Graham and D.L. Slotnick.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Graham, Marvin Lowell.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.761

List merging processor for inverted file information retrieval systems / by Lee Allen Hollaar.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hollaar, Lee A. (Lee Allen)
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.762

Solving triangular systems on a parallel computer / by Ahmed H. Sameh and Richard P. Brent.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Sameh, Ahmed.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.766

Code for designing optimal networks by implicit enumeration using the all-interconnection inequality formulation : (a programming manual for ILLODIE-AIF) / by Keith Richard Hohulin.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hohulin, Keith R.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.768

Determination of symmetric VL1 formulas : algorithm and program SYM4 / by Gerald Martin Jensen.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Jenson, Gerald M.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.774

Description of an experimental on-line, minicomputer-based information retrieval system / by John Keith Morgan.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Morgan, John Keith.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.779

Design of Irredundant MOS Networks : a program manual for the design algorithm DIMN / by Kazuhiko Yamamoto.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yamamoto, Kazuhido.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.784

Dynamic storage allocation : simulation techniques and efficient algorithms / by Ravindra Kumar Nair.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Nair, Ravindra Kumar.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.785

Statistical theory of relative errors in floating-point computation / by Douglass Stott Parker, jr.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Parker, Douglass Stott.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.787

Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program / J.N. Culliney, T. Nakagawa, S. Muroga.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Culliney, Jay.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.789

PASCAL-11 programming system / by Arthur Ian Stocks.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Stocks, Arthur Ian, 1948-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.791

Special purpose processors for radio aids and function generation in aircraft simulators / by Gilles H. Garcia.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Garcia, Gilles Henri.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.796

Statistical estimation of throughput and turnaround functions for a university computer system / by Paul Lewellyn Chouinard.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Chouinard, Paul Lewellyn.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.799

Computation of four color irreducibility / by John Allen Koch.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Koch, John Allen, 1948-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.802

YAQ : a 360 assembler version of the algorithm Aq and comparison with other PL/I programs / by Edward Yalow.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Yalow, Edward.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.840

NOR network transduction procedures based on connectable and disconnectable conditions : principles of NOR network transduction programs NETTRA-G1 and NETTRA-G2 / by Y. Kambayashi, J.N. Culliney.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Kambayashi, Y.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.841

VL relational data sublanguage for an inferential computer consultant / by Richard Neal Schubert.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Schubert, Richard Neal.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.846

NOR (NAND) network design : error-compensation procedures for fan-in and fan-out restricted networks (NETTRA-E1-FIFO and NETTRA-E2-FIFO / by Jackson Kwo-Chain Hu.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hu, Jackson Kwo-Chain.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.847

Level-restricted NOR network transduction procedures / by K.C. Hu.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hu, K. C.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.849

Formal definition of the SIBYL programming languages / by Garry Kampen.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Kampen, Garry R.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.852

Extension of the Huffman tree construction algorithm / by D. Stott Parker, Jr.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Parker, Douglass Stott, 1952-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.853

Code for zero-one integer programming, ILLIP-2 : a programming manual for ILLIP-2 / by Ming Huei Young ... [et al.].

Tue, 06 Sep 2011 06:53:36 GMT

Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.858

Scheduling periodic-time-critical jobs on single processor and multiprocessor computing systems / by Sudarshan Kumar Dhall.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Dhall, Sudarshan Kumar, 1937-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.859

Graphically-programmed, microprocessor-based industrial controller / by Alfred Charles Weaver.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Weaver, Alfred Charles.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.865

Universal language for continuous network simulation / by Thomas Fred Runge.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Runge, Thomas Fred, 1949-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.866

Run time support for the TUTOR language on a small computer system / by Douglas Warren Jones.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Jones, Douglas Warren.
Edition: Rev.
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.868

Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation / by James B. Larson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Larson, James, 1947-
Location: Galvin Circulating Collection - Upper Level
Call number: QA76.I4bno.869

Advanced research on computer education, simulation and modeling [electronic resource] : international conference, CESM 2011, Wuhan, China, June 18-19, 2011, proceedings. Part II / Song Lin, Xiong Huang (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: CESM 2011 (2011 : Wuhan, China)
ISBN: 9783642218026 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.27 .C47 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Transactions on computational science XIII [electronic resource] / Marina L. Gavrilova, C.J. Kenneth Tan (eds.)

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642226199 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.27 .T73 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Semantic multimedia [electronic resource] : 5th International Conference on Semantic and Digital Media Technologies, SAMT 2010. Saarbrücken, Germany, December 1-3, 2010, Revised selected papers / Marcin Grzegorzek...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Semantic and Digital Media Technologies (5th : 2010 : Saarbrücken, Germany)
ISBN: 9783642230172 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.575 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Theoretical computer sciences [electronic resource] : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 9-14, 1975 / edited by F. Preparata.

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642111204 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.58 .T44 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Third International Conference on Software, Services and Semantic Technologies, S3T 2011 [electronic resource] / Darina Dicheva, Zdravko Markov, and Eliza Stefanova (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Software, Services and Semantic Technologies (3rd : 2011 : Bourgas, Bulgaria)
ISBN: 9783642231636 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.5913 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Pervasive computing [electronic resource] : 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 : proceedings / Kent Lyons, Jeffrey Hightower, Elaine M. Huang (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: Pervasive 2011 (2011 : San Francisco, Calif.)
ISBN: 9783642217265 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.5915 .P47 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Multiparadigm constraint programming languages [electronic resource] / Petra Hofstedt.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Hofstedt, Petra.
ISBN: 9783642173301 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.6 .H64 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Programming Amazon Web Services - S3, EC2, SQS, FPS, and SimpleDB [electronic resource] / James Murty.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Murty, James.
ISBN: 9780596515812
Location: Galvin Online Resource
Call number: QA76.625 .M88 2008eb
Web link: Safari Books Online Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Programming Amazon EC2 [electronic resource] / Jurg van Vliet and Flavia Paganelli.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Vliet, Jurg van.
Edition: 1st ed.
Location: Galvin Online Resource
Call number: QA76.625 .V54 2011eb
Web link: Safari Books Online Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Inductive logic programming [electronic resource] : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / Paolo Frasconi, Francesca A. Lisi (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ILP (Conference) (20th : 2010 : Florence, Italy)
ISBN: 9783642212956
Location: Galvin Online Resource
Call number: QA76.63eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Programming many-core chips [electronic resource] / András Vajda ; with contributions by Mats Brorsson and Diarmuid Corcoran ; foreword by Håkan Eriksson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Vajda, András.
ISBN: 9781441997395 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.642 .V35 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Java [electronic resource] : how to program / Paul Deitel, Harvey Deitel.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Deitel, Paul J.
Edition: 9th ed.
ISBN: 9780132770873 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.73.J38 D45 2012eb
Web link: Safari Books Online Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

DOM scripting [electronic resource] : Web design with JavaScript and the Document Object Model / Jeremy Keith ; with Jeffrey Sambells.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Keith, Jeremy.
Edition: 2nd ed.
ISBN: 9781430233909 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.73.J39 K45 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Product-focused software process improvement [electronic resource] : 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / Danilo Caivano ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: PROFES 2011 (2011 : Torre Canne, Italy)
ISBN: 9783642218439
Location: Galvin Online Resource
Call number: QA76.758eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Digital information processing and communications [electronic resource] : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings. Part II / Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICDIPC 2011 (2011 : Ostrava, Czech Republic)
ISBN: 9783642224102 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Digital information processing and communications [electronic resource] : International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings. Part I / Vaclac Snasel, Jan Platos, Eyas El-Qawasmeh (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICDIPC 2011 (2011 : Ostrava, Czech Republic)
ISBN: 9783642223891 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .I23 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software engineering and computer systems [electronic resource] : second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, proceedings. Part III / Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICSECS 2011 (2011 : Kuantan, Pahang)
ISBN: 9783642222030 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .I27 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software engineering and computer systems [electronic resource] : second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings. Part II / Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICSECS 2011 (2011 : Kuantan, Pahang)
ISBN: 9783642221910 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .I27 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software engineering and computer systems [electronic resource] : second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, proceedings. Part I / Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ICSECS 2011 (2011 : Kuantan, Pahang)
ISBN: 9783642221705 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .I27 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Relating software requirements and architectures [electronic resource] / Paris Avgeriou ... [et al.], editors.

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642210013 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .R45 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software process improvement and capability determination [electronic resource] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011, Proceedings / Rory V. O'Connor...[et al.] (Eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: SPICE 2011 (2011 : Dublin, Ireland)
ISBN: 9783642212338 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.758 .S65 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Expert oracle application express [electronic resource] / John Edward Scott.

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9781430235132 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.A65 E97 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Software composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings / Sven Apel, Ethan Jackson (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: SC 2011 (2011 : Zurich, Switzerland)
ISBN: 9783642220456 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.C66 S3 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Systems, software and services process improvement [electronic resource] : 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011 : proceedings / Rory V. O'Connor, Jan Pries-Heje, Richard Messnarz (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: EuroSPI² 2011 (2011 : Roskilde, Denmark)
ISBN: 9783642222061 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.D47 E97 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Definitive guide to HTML5 video [electronic resource] / Silvia Pfeiffer.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Pfeiffer, Silvia.
ISBN: 9781430230915 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.H94 P49415 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Programming Windows Azure [electronic resource] / Sriram Krishnan.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Krishnan, Sriram.
Edition: 1st ed.
Location: Galvin Online Resource
Call number: QA76.76.O63 K75 2010eb
Web link: Safari Books Online Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Mac programming for absolute beginners [electronic resource] / Wallace Wang.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Wang, Wally.
ISBN: 9781430233374 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.O63 W36517 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Dependable computer systems [electronic resource] / Wojciech Zamojski...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642213939 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.R44 D47 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Reliable software technologies--Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / Alexander Romanovsky, Tullio Vardanega (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: Ada-Europe International Conference on Reliable Software Technologies (16th : 2011 : Edinburgh, Scotland)
ISBN: 9783642213380
Location: Galvin Online Resource
Call number: QA76.76.R44eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Top productivity through software reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / Klaus Schmid (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Software Reuse (12th : 2011 : P'ohang-si, Korea)
ISBN: 9783642213472
Location: Galvin Online Resource
Call number: QA76.76.R47eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Open source product development [electronic resource] : the meaning and relevance of openness / Kerstin Balka ; with a foreowrd by Cornelius Herstatt.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Balka, Kerstin.
ISBN: 9783834969491 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.76.S46 B35 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Developing C# apps for iPhone and iPad using MonoTouch [electronic resource] : iOS apps development for .net developers / Bryan Costanich.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Costanich, Bryan.
ISBN: 9781430231752 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.8.I64 C67 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Artificial neural networks and machine learning-- ICANN 2011 [electronic resource] : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings. Part II / Timo Honkela...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Artificial Neural Networks (European Neural Network Society) (21st : 2011 : Espoo, Finland)
ISBN: 9783642217388 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.87 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Artificial neural networks and machine learning-- ICANN 2011 [electronic resource] : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, proceedings. Part I / Timo Honkela...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Artificial Neural Networks (European Neural Network Society) (21st : 2011 : Espoo, Finland)
ISBN: 9783642217357 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.87 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Applied cryptography and network security [electronic resource] : 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011, Proceedings / Javier Lopez, Gene Tsudik (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: ACNS 2011 (2011 : Nerja, Spain)
ISBN: 9783642215544 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A25 A26 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Expert SQL server 2008 encryption [electronic resource] / Michael Coles and Rodney Landrum.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Coles, Michael, 1972-
ISBN: 9781430233657 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A25 C64 2009eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Secure and trust computing, data management, and applications [electronic resource] : STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011, proceedings / Changhoon Lee...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: IWCS 2011 (2011 : Loutraki, Greece)
ISBN: 9783642223655 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A25 I93 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Secure and trust computing, data management and applications [electronic resource] : 8th FTRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011, proceedings / James J. Park...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: STA 2011 (2011 : Loutraki, Greece)
ISBN: 9783642223396 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A25 S73 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Trust and trustworthy computing [electronic resource] : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings / Jonathan M. McCune...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: TRUST 2011 (2011 : Pittsburgh, Penn.)
ISBN: 9783642215995 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A25 T78 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Fast software encryption [electronic resource] : 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers / Antoine Joux (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: FSE 2011 (2011 : Lyngby, Denmark)
ISBN: 9783642217029
Location: Galvin Online Resource
Call number: QA76.9.A25eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Algorithms and models for the web graph [electronic resource] : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011, proceedings / Alan Frieze, Paul Horn, Paweł Prałat (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: WAW 2011 (2011 : Atlanta, Ga.)
ISBN: 9783642212864 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.A43 W39 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Grid computing [electronic resource] : towards a global interconnected infrastructure / edited by Nikolaos P. Preve.

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9780857296764 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.C58 G75 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Fundamentals of scientific computing [electronic resource] / Bertil Gustafsson.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Gustafsson, Bertil, 1930-
ISBN: 9783642194955 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.C65 G87 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Online communities and social computing [electronic resource] : 4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / A. Ant Ozok, Panayiotis Zaphiris (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: OCSC 2011 (2011 : Orlando, Fla.)
ISBN: 9783642217968 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.C66 O27 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Web data mining [electronic resource] : exploring hyperlinks, contents, and usage data / Bing Liu.

Tue, 06 Sep 2011 06:53:36 GMT

Author: Liu, Bing, 1963-
Edition: 2nd ed.
ISBN: 9783642194603 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.D343 L58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Algorithms and data structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, proceedings / Frank Dehne, John Iacono, Jörg-Rüdiger Sack (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: WADS 2011 (2011 : New York, N.Y.)
ISBN: 9783642223006 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.D35 W33 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Formal methods for eternal networked software systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures / Mar

Tue, 06 Sep 2011 06:53:36 GMT

Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)
ISBN: 9783642214554 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.F67 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Human-Computer Interaction: Design and Development Approaches [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part I / Julie A. Jacko (ed.)

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Florida)
ISBN: 9783642216022 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Human-computer interaction. Interaction techniques and environments [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part II / Julie A. Jacko (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Florida)
ISBN: 9783642216053 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

HCI International 2011-- Posters' extended abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part II / Constantine Stephanidis (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Fla.)
ISBN: 9783642220951 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

HCI International 2011-- Posters' extended abstracts [electronic resource] : international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, proceedings. Part I / Constantine Stephanidis (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Fla.)
ISBN: 9783642220982 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Universal access in human-computer interaction [electronic resource] : design for all and eInclusion ; 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part I / Constantine S

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Universal Access in Human-Computer Interaction (6th : 2011 : Orlando, Fla.)
ISBN: 9783642216725 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Human-computer interaction [electronic resource] : towards mobile and intelligent interaction environments : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, proceedings. Part III / Julie A. Jacko (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Fla.)
ISBN: 9783642216169 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Human-computer interaction [electronic resource] : users and applications : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, proceedings. Part IV / Julie A. Jacko (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Human-Computer Interaction (14th : 2011 : Orlando, Fla.)
ISBN: 9783642216190 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.H85 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Relational and algebraic methods in computer science [electronic resource] : 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / Harrie de Swart (ed.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: RAMICS 2011 (2011 : Rotterdam, The Netherlands)
ISBN: 9783642210709 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.M35 R36 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Mathematical foundations of computer science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, proceedings / Filip Murlak, Piotr Sankowski (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: Symposium on Mathematical Foundations of Computer Science (1972- ) (36th : 2011 : Warsaw, Poland)
ISBN: 9783642229930 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.M35 S96 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Soft computing in green and renewable energy systems [electronic resource] / Kasthurirangan Gopalakrishnan, Siddhartha Kumar Khaitan, and Soteris Kalogirou (eds.)

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9783642221767 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.S63 S64 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Unconventional computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011, Proceedings / Cristian S. Calude...[et al.] (eds.).

Tue, 06 Sep 2011 06:53:36 GMT

Author: UC 2011 (2011 : Turku, Finland)
ISBN: 9783642213410 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.S63 U2 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Energy-aware system design [electronic resource] : algorithms and architectures / Chong-Min Kyung, Sungjoo Yoo, editors.

Tue, 06 Sep 2011 06:53:36 GMT

ISBN: 9789400716797 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.S88 E54 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Universal access in human-computer interaction : Context Diversity [electronic resource] : 6th International Conference, UAHCI 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part III / Constantine Stephanidis

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Universal Access in Human-Computer Interaction (6th : 2011 : Orlando, Fla.)
ISBN: 9783642216664 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.U83 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Universal access in human-computer interaction [electronic resource] : users diversity : 6th International Conference, UAHCI 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings. Part II / Constantine Stephanidis (e

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Universal Access in Human-Computer Interaction (6th : 2011 : Orlando, Fla.)
ISBN: 9783642216633 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.U83 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Universal access in human-computer interaction [electronic resource] : applications and services : 6th International Conference, UAHCI 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, proceedings. Part IV / Constantine Step

Tue, 06 Sep 2011 06:53:36 GMT

Author: International Conference on Universal Access in Human-Computer Interaction (6th : 2011 : Orlando, Fla)
ISBN: 9783642216572 (electronic bk.)
Location: Galvin Online Resource
Call number: QA76.9.U83 I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Automata, languages and programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part II / Luca Aceto, Monika Henzinger, Jiří Sgall (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

Author: International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)
ISBN: 9783642220128 (electronic bk.)
Location: Galvin Online Resource
Call number: QA267 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Automata, languages and programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part I / Luca Aceto, Monika Henzinger, Jiří Sgall (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

Author: International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)
ISBN: 9783642220067 (electronic bk.)
Location: Galvin Online Resource
Call number: QA267 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Optimization and regularization for computational inverse problems and applications [electronic resource] / Yanfei Wang, Anatoly G. Yagola, Changchun Yang.

Tue, 06 Sep 2011 06:53:37 GMT

Author: Wang, Yanfei.
ISBN: 9783642137426 (electronic bk.)
Location: Galvin Online Resource
Call number: QA370 .W36 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Harmonic functions and potentials on finite or infinite networks [electronic resource] / Victor Anandam.

Tue, 06 Sep 2011 06:53:37 GMT

Author: Anandam, Victor.
ISBN: 9783642213991 (electronic bk.)
Location: Galvin Online Resource
Call number: QA405 .A53 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Integral methods in science and engineering [electronic resource] : computational and analytic aspects / Christian Constanda, Paul J. Harris, editors.

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9780817682385 (electronic bk.)
Location: Galvin Online Resource
Call number: QA431 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Geometric methods and applications [electronic resource] : for computer science and engineering / Jean Gallier.

Tue, 06 Sep 2011 06:53:37 GMT

Author: Gallier, Jean H.
Edition: 2nd ed.
ISBN: 9781441999610 (electronic bk.)
Location: Galvin Online Resource
Call number: QA445 .G35 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Jets from young stars V [electronic resource] : high performance computing and applications / J. Gracia, F. De Colle, T. Downes (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

Author: JETSET School on Jets from Young Stars: High Performance Computing in Astrophysics (5th : 2008 : Galway, Ireland)
ISBN: 9783642033704
Location: Galvin Online Resource
Call number: QB466.J46 J49 2008eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Quantum quenching, annealing and computation [electronic resource] / A.K. Chandra, A. Das, B.K. Chakrabarti, (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9783642114700
Location: Galvin Online Resource
Call number: QC174.12 .Q26 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational ocean acoustics [electronic resource] / Finn B. Jensen ... [et al.]

Tue, 06 Sep 2011 06:53:37 GMT

Edition: 2nd ed.
ISBN: 9781441986788 (electronic bk.)
Location: Galvin Online Resource
Call number: QC242.2 .C65 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Advances in bioinformatics and computational biology [electronic resource] : 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011, proceedings / Osmar Norberto de Souza, Guilherme P. Telles, Mathew J. Palakal (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

Author: Brazilian Symposium on Bioinformatics (6th : 2011 : Brasilia, Brazil)
ISBN: 9783642228254 (electronic bk.)
Location: Galvin Online Resource
Call number: QH324.2 .B73 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational biomechanics for medicine [electronic resource] : soft tissues and the musculoskeletal system / Adam Wittek, Poul M.F. Nielsen, Karol Miller, editors.

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9781441996190 (electronic bk.)
Location: Galvin Online Resource
Call number: QP303 .C66 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Adhesion-GPCRs [electronic resource] : structure to function / edited by Simon Yona, Martin Stacey.

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9781441979131 (electronic bk.)
Location: Galvin Online Resource
Call number: QP552.G16 A34 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Information processing in computer-assisted interventions [electronic resource] : second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011 : proceedings / Russell H. Taylor, Guang-Zhong Yang (eds.).

Tue, 06 Sep 2011 06:53:37 GMT

Author: IPCAI 2011 (2011 : Berlin, Germany)
ISBN: 9783642215049
Location: Galvin Online Resource
Call number: R857.O6eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Hyperlipidemia in primary care [electronic resource] : a practical guide to risk reduction / Matthew J. Sorrentino, editor ; foreword by Neil S. Skolnik.

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9781603275026 (electronic bk.)
Location: Galvin Online Resource
Call number: RC632.H87 H97 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Retropertineal robotic and laparoscopic surgery [electronic resource] / Jean V. Joseph, Hitendra R.H. Patel, editors.

Tue, 06 Sep 2011 06:53:37 GMT

ISBN: 9780857294852 (electronic bk.)
Location: Galvin Online Resource
Call number: RD572 .R48 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Integer programming and combinatoral [i.e. combinatorial] optimization [electronic resource] : 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / Oktay Günlük, Gerhard J. Woeginger (eds.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: Conference on Integer Programming and Combinatorial Optimization (15th : 2011 : New York, N.Y.)
ISBN: 9783642208072
Location: Galvin Online Resource
Call number: T57.74eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Introduction to stochastic programming [electronic resource] / John R. Birge; François Louveaux.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Birge, John R.
Edition: 2nd ed.
ISBN: 9781461402374 (electronic bk.)
Location: Galvin Online Resource
Call number: T57.79 .B57 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Ergonomics and health aspects of work with computers [electronic resource] : International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / Michelle M. Robertson (ed.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: EHAWC 2011 (2011 : Orlando, Fla.)
ISBN: 9783642217166 (electronic bk.)
Location: Galvin Online Resource
Call number: T59.7 .E33 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Building innovation pipelines through computer-aided innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30-July 1, 2011, Proceedings / Denis Cavallucci, Roland de Guio, Gaetano Cascini (eds.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: IFIP WG 5.4 Working Conference on Computer-Aided Innovation (4th : 2011 : Strasbourg, France)
ISBN: 9783642221828 (electronic bk.)
Location: Galvin Online Resource
Call number: T173.8 .I35 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Topics in theoretical and computational nanoscience [electronic resource] : from controlling light at the nanoscale to calculating quantum effects with classical electrodynamics / Jeffrey Michael McMahon.

Tue, 06 Sep 2011 06:53:38 GMT

Author: McMahon, Jeffrey Michael.
ISBN: 9781441982490 (electronic bk.)
Location: Galvin Online Resource
Call number: T174.7 .M36 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Quaternions for computer graphics [electronic resource] / John Vince.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Vince, John (John A.)
ISBN: 9780857297600 (electronic bk.)
Location: Galvin Online Resource
Call number: T385 .V56 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Engineering psychology and cognitive ergonomics [electronic resource] : 9th International Conference, EPCE 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / Don Harris (ed.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: International Conference on Engineering Psychology and Cognitive Ergonomics (9th : 2011 : Orlando, Fla.)
ISBN: 9783642217418 (electronic bk.)
Location: Galvin Online Resource
Call number: TA166 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Lattice boltzmann method [electronic resource] : fundamentals and engineering applications with computer codes / A. A. Mohamad.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Mohamad, A. A. (Abdulmajeed A.)
ISBN: 9780857294555 (electronic bk.)
Location: Galvin Online Resource
Call number: TA357 .M64 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Earthquake resistant buildings [electronic resource] : dynamic analyses, numerical computations, codified methods, case studies and examples / M.Y.H. Bangash.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Bangash, M. Y. H.
ISBN: 9783540938187 (electronic bk.)
Location: Galvin Online Resource
Call number: TA658.44 .B36 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computer vision using local binary patterns [electronic resource] / Matti Pietikäinen...[et al.].

Tue, 06 Sep 2011 06:53:38 GMT

ISBN: 9780857297488 (electronic bk.)
Location: Galvin Online Resource
Call number: TA1634 .C66 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Research and education in robotics - EUROBOT 2011 [electronic resource] : international conference, Prague, Czech Republic, June 15-17, 2011, proceedings / David Obdržálek, Achim Gottscheber (eds.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: International Conference on Research and Education in Robotics (2011 : Prague, Czech Republic)
ISBN: 9783642219757 (electronic bk.)
Location: Galvin Online Resource
Call number: TJ210.3 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Biologically inspired approaches for locomotion, anomaly detection and reconfiguration for walking robots [electronic resource] / Bojan Jakimovski.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Jakimovski, Bojan.
ISBN: 9783642225055 (electronic bk.)
Location: Galvin Online Resource
Call number: TJ211.415 .J35 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Adaptive control [electronic resource] : algorithms, analysis and applications / Ioan Doré Landau...[et al.].

Tue, 06 Sep 2011 06:53:38 GMT

Edition: 2nd ed.
ISBN: 9780857296641 (electronic bk.)
Location: Galvin Online Resource
Call number: TJ217 .A33 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Computational optimization of internal combustion engines [electronic resource] / Yu Shi, Hai-Wen Ge, Rolf D. Reitz.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Shi, Yu.
ISBN: 9780857296191 (electronic bk.)
Location: Galvin Online Resource
Call number: TJ759 .S55 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Electrical engineering and applied computing [electronic resource] / Sio Iong Ao, Len Gelman, editors.

Tue, 06 Sep 2011 06:53:38 GMT

ISBN: 9789400711921 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5 .E44 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Electric power system planning [electronic resource] : issues, algorithms and solutions / Hossein Seifi, Mohammad Sadegh Sepasian.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Seifi, Hossein.
ISBN: 9783642179891
Location: Galvin Online Resource
Call number: TK1005 .S45 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Applied quantum cryptography [electronic resource] / C. Kollmitzer, M. Pivk (eds.).

Tue, 06 Sep 2011 06:53:38 GMT

ISBN: 9783642048319
Location: Galvin Online Resource
Call number: TK5102.94 .A66 2010eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Advances in Wireless, Mobile Networks and Applications [electronic resource] : International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25 - 27, 2011; Proceedings / Salah S. Al-Majeed, Chih-Lin Hu, Dhinaharan Nagamalai (eds.

Tue, 06 Sep 2011 06:53:38 GMT

Author: WiMoA 2011 (2011 : Dubai, United Arab Emirates)
ISBN: 9783642211539 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5103.2 .W56 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Smart spaces and next generation wired/wireless networking [electronic resource] : 11th international conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-15, 2011 : proceedings / Sergey Balandin, Ye

Tue, 06 Sep 2011 06:53:38 GMT

Author: NEW2AN 2011 (2011 : Saint Petersburg, Russia)
ISBN: 9783642228759 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5105.A1 N49 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Scalable network monitoring in high speed networks [electronic resource] / Baek-Young Choi, Zhi-Li Zhang, David Hung-Chang Du.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Choi, Baek-Young.
ISBN: 9781461401193 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5105.5 .C46 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Managing the dynamics of networks and services [electronic resource] : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / Isabelle Chrisment ... [et al.] (eds.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: International Conference on Autonomous Infrastructure, Management and Security (5th : 2011 : Nancy, France)
ISBN: 9783642214844
Location: Galvin Online Resource
Call number: TK5105.5eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Networked digital technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings / Simon Fong (ed.).

Tue, 06 Sep 2011 06:53:38 GMT

Author: International Conference on Networked Digital Technologies (3rd : 2011 : Macau, China)
ISBN: 9783642221859 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5105.5 .I58 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Journal on data semantics XV [electronic resource] / Stefano Spaccapietra (ed.)

Tue, 06 Sep 2011 06:53:38 GMT

ISBN: 9783642226304 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5105.88815 .J68 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Pro Asp.net MVC 3 framework [electronic resource] / Adam Freeman, Steven Sanderson.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Freeman, Adam, 1972-
Edition: 3rd ed.
ISBN: 9781430234050 (electronic bk.)
Location: Galvin Online Resource
Call number: TK5105.8885.A26 F74 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Pro Windows Phone 7 development [electronic resource] / Rob Cameron.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Cameron, Rob.
ISBN: 9781430232209 (electronic bk.)
Location: Galvin Online Resource
Call number: TK6570.M6 C36 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Service robotics within the digital home [electronic resource] : applications and future prospects / Ignacio González Alonso...[et al.].

Tue, 06 Sep 2011 06:53:38 GMT

ISBN: 9789400714915 (electronic bk.)
Location: Galvin Online Resource
Call number: TK7881.25 .S47 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Embedded systems design based on formal models of computation [electronic resource] / Ivan Radojevic, Zoran Salcic.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Radojevic, Ivan.
ISBN: 9789400715943 (electronic bk.)
Location: Galvin Online Resource
Call number: TK7895.E42 R33 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.

Soviet robots in the solar system [electronic resource] : mission technologies and discoveries / Wesley T. Huntress, Jr. and Mikhail Ya. Marov.

Tue, 06 Sep 2011 06:53:38 GMT

Author: Huntress, Wesley T.
ISBN: 9781441978981 (electronic bk.)
Location: Galvin Online Resource
Call number: TL1097 .H86 2011eb
Web link: SpringerLink Access to the electronic version for current IIT main & branch campus students, faculty, & staff.