Recent Acquisitions Search Results

Your query retrieved 262 records.

Sort results by:     

E-mail results to this e-mail address:    

Next 50 records >

All records   (May take a long time to load)

View records: 1-50  |  51-100  |  101-150  |  151-200  |  201-250  |  251-  | 

Record: 1
Title:Particle size distributions of bed sediments along the thalweg of the Mississippi River, Cairo, Illinois, to head of passes, September 1989. Potamology Program (P-1), Report 7 [E-Book]
Location: WWW - Internet   D 103.2: SE 2
Author: Nordin, Carl F., author.
Publisher: Vicksburg, Mississippi : US Army Engineer Waterways Experiment Station, Hydraulics Laboratory, 1992.
(Show more/less)
Series:

Report (Potamology Program--P-1 (U.S.)) ; 7.

Subjects:

Materials Sampling.

Sediment transport.

River engineering.

Bed load.

Online resource
Record: 2
Title:GRASS 4.0 map digitizing : user's manual, v.digit / [E-Book]
Location: WWW - Internet   D 103.6/5: G 29
Author: Neidig, Craig A., author.
Publisher: Champaign, Illinois : US Army Corps of Engineers, Construction Engineering Research Laboratory, 1992.
(Show more/less)
Series:

USACERL ADP report ; EGI-92/01.

Subjects:

GRASS (Electronic computer system)

Image processing.

Online resource
Record: 3
Title:Roma con tutti i mezzi = Rome par tous les moyens : evoluzioni urbane e mobilità, secoli XX-XXI = évolutions urbaines et mobilité, XXe-XXIe siècles / [Book]
Location: Hesburgh General Collection   D 111 .Ec73 Suppl.492
Publisher: Roma : École française de Rome, 2014.
(Show more/less)
Series:

Collection de l'École française de Rome ; 492.

Subjects:

Traffic engineering Italy Rome.

Roads Italy Rome.

Availability (Shows if checked out or in process)
Record: 4
Title:Engineering revolution : the paradox of democracy promotion in Serbia / [Book]
Location: Hesburgh General Collection   DR 2051 .S66 2015
Author: Spoerri, Marlene.
Publisher: Philadelphia, Pa. : University of Pennsylvania Press, c2015.
(Show more/less)
Subjects:

Democratization Serbia.

Democratization Government policy Serbia.

Democratization Serbia International cooperation.

Regime change Serbia.

Political parties Serbia.

Serbia Politics and government 1992-2006.

Availability (Shows if checked out or in process)
Record: 5
Title:Autonomy research for civil aviation : toward a new era of flight / [Book]
Location: Hesburgh General Collection   HE 9803 .A4 N36 2014
Author: National Research Council (U.S.). Committee on Autonomy Research for Civil Aviation.
Publisher: Washington, D.C. : National Academies Press, [2014]
(Show more/less)
Subjects:

Aeronautics, Commercial United States.

Private flying United States.

Aeronautics, Commercial Research United States.

Private flying Research United States.

Availability (Shows if checked out or in process)
Record: 6
Title:Best graduate schools. [Serial]
Location: Hesburgh Reference   L 901 .A546
Publisher: Washington, DC : U.S. News & World Report, c2011-
(Show more/less)
Subjects:

Universities and colleges United States Graduate work Directories.

Business education United States Directories.

Medical colleges United States Directories.

Law schools United States Directories.

Engineering schools United States Directories.

Education Study and teaching (Graduate) United States Directories.

Universities United States Directory.

Education, Graduate United States Directory.

Schools, Medical United States Directory.

Non-circulating
Record: 7
Title:STEM learning is everywhere : summary of a convocation on building learning systems / [Book]
Location: Hesburgh General Collection   LB 1585.3 .C66 2014
Author: STEM Learning is Everywhere: Engaging Schools and Empowering Teachers to Integrate Formal, Informal, and Afterschool Education to Enhance Teaching and Learning in Grades K-8 (Workshop) (2014 : Irvine, Calif.)
Publisher: Washington, D.C. : National Academies Press, ©2014.
(Show more/less)
Subjects:

Science Study and teaching United States Evaluation Congresses.

Technology Study and teaching United States Evaluation Congresses.

Engineering Study and teaching United States Evaluation Congresses.

Mathematics Study and teaching United States Evaluation Congresses.

Educational evaluation United States Congresses.

Technological literacy United States Congresses.

Availability (Shows if checked out or in process)
Record: 8
Title:Geo-informatics in resource management and sustainable ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, proceedings. Part I / [E-Book]
Author: GRMSE (Conference) (2013 : Wuhan, China)
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
(Show more/less)
Series:

Communications in computer and information science ; 398, 1865-0929

Subjects:

Geography Data processing Congresses.

Sustainable urban development Congresses.

Computer science.

Remote sensing.

Software engineering.

Computer simulation.

Availability (Shows if checked out or in process)
Record: 9
Title:Aspect-oriented requirements engineering / [E-Book]
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Subjects:

Requirements engineering.

Aspect-oriented programming.

Availability (Shows if checked out or in process)
Record: 10
Title:Intelligent technologies for interactive entertainment : 5th International ICST Conference, INTETAIN 2013, Mons, Belgium, July 3-5, 2013, revised selected papers / [E-Book]
Author: INTETAIN 2013 (2013 Mons, Belgium)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 124. 1867-8211

Subjects:

Interactive multimedia Congresses.

Computer science.

Computer vision.

Availability (Shows if checked out or in process)
Record: 11
Title:Ambient media and systems : third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013, Revised selected papers / [E-Book]
Author: AMBI-SYS (Conference) (3rd : 2013 : Athens, Greece)
Publisher: Cham : Springer, [2013].
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 118. 1867-8211

Subjects:

Ambient intelligence Congresses.

Computer science.

Medical records Data processing.

Computer network architectures.

Medical informatics.

Availability (Shows if checked out or in process)
Record: 12
Title:Physically unclonable functions constructions, properties and applications / [E-Book]
Author: Maes, Roel.
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Subjects:

Computer security.

Computer science.

Data structures (Computer science)

Computer engineering.

Availability (Shows if checked out or in process)
Record: 13
Title:Wireless multimedia sensor networks on reconfigurable hardware : information reduction techniques / [E-Book]
Author: Ang, Li-minn, 1971- author.
Publisher: Berlin : Springer, [2013].
(Show more/less)
Subjects:

Wireless sensor networks.

Computer science.

Computer network architectures.

Multimedia systems.

Computer vision.

Computer engineering.

Electrical engineering.

Availability (Shows if checked out or in process)
Record: 14
Title:Handbook of medical and healthcare technologies / [E-Book]
Publisher: New York : Springer, [2013]
(Show more/less)
Subjects:

Computer science.

Medical records Data processing.

Radiology, Medical.

Computer vision.

Telecommunication.

Biomedical engineering.

Availability (Shows if checked out or in process)
Record: 15
Title:Multiple access communcations : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / [E-Book]
Author: MACOM (Workshop) (6th : 2013 : Vilnius, Lithuania)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Lecture notes in computer science ; 8310. 0302-9743

LNCS sublibrary. SL 5, Computer communication networks and telecommunications

Subjects:

Digital communications Congresses.

Multiple access protocols (Computer network protocols) Congresses.

Computer science.

Software engineering.

Computer software.

Availability (Shows if checked out or in process)
Record: 16
Title:Ada 2012 rationale the language, the standard libraries / [E-Book]
Author: Barnes, J. G. P. (John Gilbert Presslie), author.
Publisher: Heidelberg : Springer, [2013]
(Show more/less)
Series:

Lecture notes in computer science ; 8338. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Ada (Computer program language)

Computer science.

Software engineering.

Operating systems (Computers)

Availability (Shows if checked out or in process)
Record: 17
Title:Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / [E-Book]
Author: PADL 2013 (2013 : Rome, Italy)
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
(Show more/less)
Series:

Lecture notes in computer science ; 7752. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Declarative programming languages Congresses.

Computer science.

Software engineering.

Logic design.

Availability (Shows if checked out or in process)
Record: 18
Title:Lean enterprise software and systems : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings / [E-Book]
Author: LESS (Conference) (4th : 2013 : Galway, Ireland)
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Series:

Lecture notes in business information processing ; 167. 1865-1348

Subjects:

Agile software development Congresses.

Software engineering Congresses.

Availability (Shows if checked out or in process)
Record: 19
Title:Service-oriented computing : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / [E-Book]
Author: ICSOC (Conference) (11th : 2013 : Berlin, Germany)
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Series:

Lecture notes in computer science ; 8274. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Electronic data processing Distributed processing Congresses.

Service-oriented architecture (Computer science) Congresses.

Availability (Shows if checked out or in process)
Record: 20
Title:Knowledge engineering and the semantic web : 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings / [E-Book]
Author: KESW (Conference) (4th : 2013 : Saint Petersburg, Russia)
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Series:

Communications in computer and information science ; 394. 1865-0929

Subjects:

Software engineering Congresses.

Semantic Web Congresses.

Availability (Shows if checked out or in process)
Record: 21
Title:Human work interaction design : Work Analysis and HCI ; Third IFIP 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised selected papers / [E-Book]
Author: IFIP WG 13.6 Conference (3rd : 2012 : Copenhagen, Denmark)
Publisher: Berlin : Springer, 2013.
(Show more/less)
Series:

IFIP advances in information and communication technology ; 407.

Subjects:

Human-computer interaction Congresses.

Human engineering Congresses.

Computers Social aspects Congresses.

Availability (Shows if checked out or in process)
Record: 22
Title:CAN system engineering : from theory to practical applications / [E-Book]
Publisher: New York : Springer, [2013]
(Show more/less)
Subjects:

Process control.

Programmable controllers.

Local area networks (Computer networks)

Availability (Shows if checked out or in process)
Record: 23
Title:Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) / [E-Book]
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Series:

Lecture notes in computer science ; 8339. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Ada (Computer program language) Handbooks, manuals, etc.

Availability (Shows if checked out or in process)
Record: 24
Title:Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings / [E-Book]
Author: ACM/IFIP/USENIX International Middleware Conference (14th : 2013 : Beijing, China)
Publisher: Heidelberg : Springer, 2013.
(Show more/less)
Series:

Lecture notes in computer science ; 8275. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Middleware Congresses.

Software engineering Congresses.

Availability (Shows if checked out or in process)
Record: 25
Title:Cloud computing : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised selected papers / [E-Book]
Author: CloudComp (Conference) (3rd : 2012 : Vienna, Austria)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 112. 1867-8211

Subjects:

Cloud computing Congresses.

Availability (Shows if checked out or in process)
Record: 26
Title:Evaluation of novel approaches to software engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised selected papers / [E-Book]
Author: ENASE (Conference) (8th : 2013 : Angers, France)
Publisher: Heidelberg : Springer, c2013.
(Show more/less)
Series:

Communications in computer and information science ; 417.

Subjects:

Software engineering Congresses.

Availability (Shows if checked out or in process)
Record: 27
Title:Knowledge discovery, knowledge engineering and knowledge management : 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised selected papers / [E-Book]
Author: IC3K (Conference) (4th : 2012 : Barcelona, Spain)
Publisher: Berlin : Springer, c2013.
(Show more/less)
Series:

Communications in computer and information science ; 415.

Subjects:

Data mining Congresses.

Information storage and retrieval systems Congresses.

Availability (Shows if checked out or in process)
Record: 28
Title:Security and privacy in communication networks : 9th International ICST Conference, SecureComm 2013, Sydney, NSW, Australia, September 25-28, 2013, revised selected papers / [E-Book]
Author: SecureComm (Conference) (9th : 2013 : Sydney, N.S.W.)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 127, 1867-8211

Subjects:

Computer networks Security measures Congresses.

Computer science.

Data protection.

Data encryption (Computer science)

Availability (Shows if checked out or in process)
Record: 29
Title:Cloud Computing and Services Science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers / [E-Book]
Author: International Conference on Cloud Computing and Services Science (2nd : 2012 : Porto, Portugal)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Communications in computer and information science ; 367. 1865-0929

Subjects:

Cloud computing Congresses.

Computer science.

Software engineering.

Database management.

Availability (Shows if checked out or in process)
Record: 30
Title:Mobile networks and management : 5th International Conference, MONAMI 2013, Cork, Ireland, September 23-25, 2013, Revised selected papers / [E-Book]
Author: International Conference on Mobile Networks and Management (5th : 2013 : Cork, Ireland)
Publisher: Cham : Springer, 2013.
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 125. 1867-8211

Subjects:

Mobile communication systems Congresses.

Mobile communication systems Management Congresses.

Availability (Shows if checked out or in process)
Record: 31
Title:Geometrical objects : architecture and the mathematical sciences 1400-1800 / [Book]
Location: Architecture Library   NA 203 .G46x 2014
Publisher: Cham : Springer, [2014]
(Show more/less)
Series:

Archimedes (Dordrecht, Netherlands) ; v. 38.

Subjects:

Architecture Mathematics History.

Architecture, Renaissance Italian influences.

Structural analysis (Engineering)

Availability (Shows if checked out or in process)
Record: 32
Title:Testing of the Advanced Stirling Radioisotope Generator Engineering Unit at NASA Glenn Research Center / [E-Book]
Location: WWW - Internet   NAS 1.15: 2013-217854
Author: Lewandowski, Edward J., author.
Publisher: Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, November 2013.
(Show more/less)
Series:

NASA technical memorandum ; 2013-217854.

Subjects:

Performance tests. nasat

Stirling cycle. nasat

Stirling engines. nasat

Thermoelectric power generation. nasat

Radioisotope batteries. nasat

Online resource
Record: 33
Title:Overview of the habitat demonstration unit power system integration and operation at Desert RATS 2010 / [E-Book]
Location: WWW - Internet   NAS 1.15: 2013-217861
Author: Colozza, Anthony J., author.
Publisher: Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, 2013.
(Show more/less)
Series:

NASA technical memorandum ; 217861.

Subjects:

Space habitats. nasat

Systems engineering. nasat

Systems integration. nasat

Power conditioning. nasat

Lunar exploration. nasat

Online resource
Record: 34
Title:The MillSOT--a spiral orbit tribometer on a milling machine / [E-Book]
Location: WWW - Internet   NAS 1.15: 2014-218312
Author: Pepper, Stephen V., 1937- author.
Publisher: Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, June 2014.
(Show more/less)
Series:

NASA technical memorandum ; 2014-218312.

Subjects:

Milling machines. nasat

Lubricants. nasat

Friction. nasat

Wear. nasat

Coefficient of friction. nasat

Contact resistance. nasat

Mechanical engineering. nasat

Online resource
Record: 35
Title:20 GHz spacecraft FET solid state transmitter / [Microform]
Location: Government Documents Center   NAS 1.26: 168240
Author: Goel, J., author.
Publisher: Redondo Beach, Californiaorniaornia : TRW Electronic Systems Group ; Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, July 1983.
(Show more/less)
Series:

NASA contractor report ; NASA CR-168240.

Subjects:

Amplifier design. nasat

Field effect transistors. nasat

Spacecraft communication. nasat

Gallium arsenides. nasat

Systems engineering. nasat

Non-circulating
Record: 36
Title:20 GHz spacecraft FET solid state transmitter / [E-Book]
Location: WWW - Internet   NAS 1.26: 168240
Author: Goel, J., author.
Publisher: Redondo Beach, Californiaorniaornia : TRW Electronic Systems Group ; Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, July 1983.
(Show more/less)
Series:

NASA contractor report ; NASA CR-168240.

Subjects:

Amplifier design. nasat

Field effect transistors. nasat

Spacecraft communication. nasat

Gallium arsenides. nasat

Systems engineering. nasat

Online resource
Record: 37
Title:Properties of material in the submillimeter wave region (instrumemtation and measurement of index of refraction) / [Microform]
Location: Government Documents Center   NAS 1.26: 175156
Author: Lally, J., author.
Publisher: [Washington, District of Columbia] : Department of Electrical Engineering, Catholic University of America : National Aeronautics and Space Administration, 11 July 1983.
(Show more/less)
Series:

NASA contractor report ; NASA-CR-175156.

Subjects:

Refractive index Measurement.

Submillimeter waves.

Attenuators. nasat

Carbon dioxide lasers. nasat

Dielectric properties. nasat

Mach-Zehnder interferometers. nasat

Submillimeter waves. nasat

Refractive index Measurement. fast (OCoLC)fst01092672

Beam splitters. nasat

Submillimeter waves. fast (OCoLC)fst01136678

Non-circulating
Record: 38
Title:Properties of material in the submillimeter wave region (instrumemtation and measurement of index of refraction) / [E-Book]
Location: WWW - Internet   NAS 1.26: 175156
Author: Lally, J., author.
Publisher: [Washington, District of Columbia] : Department of Electrical Engineering, Catholic University of America : National Aeronautics and Space Administration, 11 July 1983.
(Show more/less)
Series:

NASA contractor report ; NASA CR-175156.

Subjects:

Attenuators. nasat

Beam splitters. nasat

Carbon dioxide lasers. nasat

Dielectric properties. nasat

Mach-Zehnder interferometers. nasat

Submillimeter waves. nasat

Online resource
Record: 39
Title:Deep diode arrays for X-ray detection / [Microform]
Location: Government Documents Center   NAS 1.26: 175178
Author: Zemel, Jay N., author.
Publisher: Philadelphia, Pennsylvania : University of Pennsylvania, The Moore School of Electrical Engineering ; Greenbelt, Maryland : NASA/Goddard Space Flight Center, 29 January 1984.
(Show more/less)
Series:

NASA contractor report ; NASA CR-175178.

Subjects:

P-n junctions. nasat

Temperature gradients. nasat

X ray spectroscopy. nasat

Diodes. nasat

Energy spectra. nasat

X-ray spectroscopy.

Spectrometer.

Silicon diodes.

Diodes, Semiconductor.

Zone melting.

Diodes, Semiconductor. fast (OCoLC)fst00894049

Silicon diodes. fast (OCoLC)fst01118675

Spectrometer. fast (OCoLC)fst01129083

X-ray spectroscopy. fast (OCoLC)fst01181847

Zone melting. fast (OCoLC)fst01184606

Non-circulating
Record: 40
Title:Deep diode arrays for X-ray detection / [E-Book]
Location: WWW - Internet   NAS 1.26: 175178
Author: Zemel, Jay N., author.
Publisher: Philadelphia, Pennsylvania : University of Pennsylvania, The Moore School of Electrical Engineering ; Greenbelt, Maryland : NASA/Goddard Space Flight Center, 29 January 1984.
(Show more/less)
Series:

NASA contractor report ; NASA CR-175178.

Subjects:

P-n junctions. nasat

Temperature gradients. nasat

X ray spectroscopy. nasat

Diodes. nasat

Energy spectra. nasat

Online resource
Record: 41
Title:Performance analysis of a concatenated coding scheme for error control / [Microform]
Location: Government Documents Center   NAS 1.26: 175345
Author: Costello, Daniel J., 1942- author.
Publisher: Chicago, Illinois : Department of Electrical Engineering, Illinois Institute of Technology ; Greenbelt, Maryland : Goddard Space Flight Center, September 6, 1983.
(Show more/less)
Series:

NASA contractor report ; NASA CR-175345.

Subjects:

Error-correcting codes (Information theory)

Planets Exploration Data processing.

Concatenated codes. nasat

Error correcting codes. nasat

Error detection codes. nasat

Polynomials. nasat

Space exploration. nasat

Non-circulating
Record: 42
Title:Performance analysis of a concatenated coding scheme for error control / [E-Book]
Location: WWW - Internet   NAS 1.26: 175345
Author: Costello, Daniel J., 1942- author.
Publisher: Chicago, Illinois : Department of Electrical Engineering, Illinois Institute of Technology ; Greenbelt, Maryland : Goddard Space Flight Center, September 6, 1983.
(Show more/less)
Series:

NASA contractor report ; NASA CR-175345.

Subjects:

Concatenated codes. nasat

Error correcting codes. nasat

Error detection codes. nasat

Polynomials. nasat

Space exploration. nasat

Online resource
Record: 43
Title:Environmental behavior of metals and radionuclides / [E-Book]
Author: Flynn, Shannon L.
Publisher: Notre Dame, Indiana : University of Notre Dame, 2014.
(Show more/less)
Availability (Shows if checked out or in process)
Record: 44
Title:STEM education : how to train 21st century teachers / [E-Book]
Publisher: New York : Nova Science, [2014]
(Show more/less)
Series:

Education in a competitive and globalizing world series.

Subjects:

Science Study and teaching United States.

Technology Study and teaching United States.

Engineering Study and teaching United States.

Mathematics Study and teaching United States.

Teachers Training of United States.

Availability (Shows if checked out or in process)
Record: 45
Title:The remote microphone probe for unsteady surface pressure measurement / [E-Book]
Author: Berntsen, Carl R.
Publisher: Notre Dame, Indiana : University of Notre Dame, 2014.
(Show more/less)
Availability (Shows if checked out or in process)
Record: 46
Title:Autonomic computing principles, design and implementation / [E-Book]
Author: Lalanda, Philippe.
Publisher: London ; New York : Springer, ©2013.
(Show more/less)
Series:

Undergraduate topics in computer science.

Subjects:

Autonomic computing.

Software engineering.

Availability (Shows if checked out or in process)
Record: 47
Title:Ad hoc networks : 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised selected papers / [E-Book]
Author: ADHOCNETS (Conference) (5th : 2013 : Barcelona, Spain)
Publisher: Cham : Springer, 2014.
(Show more/less)
Series:

Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 129. 1867-8211

Subjects:

Ad hoc networks (Computer networks) Congresses.

Availability (Shows if checked out or in process)
Record: 48
Title:Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / [E-Book]
Author: VMCAI (Conference) (15th : 2014 : San Diego, Calif.)
Publisher: Heidelberg : Springer, 2014.
(Show more/less)
Series:

Lecture notes in computer science ; 8318. 0302-9743

Lecture notes in computer science. Advanced research in computing and software science

LNCS sublibrary. SL 1, Theoretical computer science and general issues

Subjects:

Computer software Verification Congresses.

Software engineering Congresses.

Availability (Shows if checked out or in process)
Record: 49
Title:Performance characterization and benchmarking : 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised selected papers / [E-Book]
Author: TPC Technology Conference (5th : 2013 : Trento, Italy)
Publisher: Cham : Springer, 2014.
(Show more/less)
Series:

Lecture notes in computer science ; 8391. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Transaction systems (Computer systems) Evaluation Congresses.

Databases Quality control Congresses.

Database management Congresses.

Availability (Shows if checked out or in process)
Record: 50
Title:Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers / [E-Book]
Author: VSTTE 2013 (2013 : Menlo Park, Calif.)
Publisher: Heidelberg : Springer, 2014.
(Show more/less)
Series:

Lecture notes in computer science ; 8164. 0302-9743

LNCS sublibrary. SL 2, Programming and software engineering

Subjects:

Computer software Verification Congresses.

Computer software Quality control Congresses.

Compilers (Computer programs) Congresses.

Availability (Shows if checked out or in process)
Next 50 records >

All records   (May take a long time to load)

View records:

1-50  |  51-100  |  101-150  |  151-200  |  201-250  |  251-  |