πŸš€ go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Thread View: cmu.cs.robotics.general
1 messages
1 total messages Started by bethany ryker Thu, 10 Feb 2000 00:00
2/10 New CS/ECE books at the Engineering and Science Library
#3
Author: bethany ryker
Date: Thu, 10 Feb 2000 00:00
311 lines
13061 bytes
February 10, 2000

These New Computer Science and ECE books will be placed on the NEW BOOKS
shelf across from the Reference Desk in the E&S Library.

Advances in neural information processing systems 11 / Michael S. Kearns,
Sara A Solla and David A. Cohen, eds.  San Mateo:  Morgan Kaufmann, 1999.
Call # :  006.3 A2443 1998.

Phase-locked loops: design, simulation and applications . Roland E. Best
New York:  McGraw Hill, 1999. Call # :  621.3815364 B56P4

International Workshop on Software Specification and Design  (5th:  1989:
Pittsburgh)  Call # : 005.1 I619 5th 1989

IEEE Computer Society Conference on Computer Vision and Pattern Recognition
(1999: Fort Collins)  Call # :  006.37 I22P 1999 Vols. 1 & 2.

Soft computing in mechatronics / Kaoru Hirota and Toshio Fukuda.
Heidelberg:  Physica-Verlag, 1999.  Call # :  629.89263 S681

Computing with words in information / intelligent systems 1: foundations /
Lotfi Zadeh and Janusz Kacprzyk.  Physica-Verlag, 1999.  Call # :  006.35
C738 Vol. 1.

Computing with words in information / intelligent systems 2: applications /
Lotfi Zadeh and Janusz Kacprzyk.  Physica-Verlag, 1999.  Call # :  006.35
C738 Vol. 2.

Analog layout generation for performance and manufacturability / Koen
Lampaert, Georges Gielen and Willy Sansen.  Boston:  Kluwer Academic Press,
1999.  Call # :  621.3815 L23A

Hardware description languages: concepts and principles / Sumit Ghosh.  New
York:  IEEE Press, 1999.  Call # :  621.392 G42H

Cisco router handbood / George Sackett.  New York:  McGraw Hill, 2000.
Call # :  004.62 S12C

The JAVA class libraries second edition, volume 1: supplement for the JAVA
2 platform standard edition, v1.2 / Patrcik Chan, Rosanna Lee and Douglas
Kramer.  Reading:  Addison-Wesley, 1999.  Call # :  005.133 J38C45JA2 Vol. 1

Oracle distributed systems / Charles Dye.  Sebatospol: O'Reilly, 1999. Call
#  :  005.7585 O63D990

Static Analysis: International Static Analysis Symposium (6th: 1999:
Venice, Italy)  Call # :  005.131 S797 1999

Automata, languages and programming: International Colloquium on
Algorithms, Languages and Programming (26th : 1999 : Prague, Czech
Republic)  Call # :  005.1 I614A 1999

CONCUR '99: International Conference on Concurrency Theory (10th : 1999 :
Eindhoven, Netherlands)  Call # :  004.35 C7224 1999

System configuration management: SCM-9 Symposium (1999 : Toulouse, France)
Call # :  005.1 I618 P

Advanced hard and soft magnetic materials: Materials Research Society.
Meeting (1999 : San Francisco, Calif.)  Call # :  538.4 A244 1999

International Computer Software & Applications Conference. (23rd:  1999:
Phoenix)  Call # :  005.1 C732P 23rd 1999

Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain)  Call # :
004.0151 W92C 1999

World Congress on Formal Methods in the Development of Computing Systems
(1999 : Toulouse, France)  Call #:  005.131 W92F 1999 Vols 1 & 2

Principles and practice of declarative programming: PPDP'99 (1999 : Paris,
France)  Call # :  005.131 P89P 1999

Advances in cryptology: CRYPTO '99 (19th : 1999 : Santa Barabara,
California)  Call # :  005.82 C95A 1999

Theorem providing in higher order logics:  TPHOLs '99 (1998 : Nice, France)
Call # :  004.0151 H6382 1999

Distributed computing : DISC'99 (1999 : Bratislava, Slovakia)  Call # :
004.36 D611D 1999

Foundations and tools for neural modeling : International Work-Conference
on Artificial and Natural Neural Networks (1999 : Alicante, Spain)  Call #
:  006.3 I6192A 1999 Vols. 1 & 2

Handheld and ubiquitous computing: International Symposium on Handheld and
Ubiquitous Computing (1st : 1999 : Karlsruhe, Germany)  Call # :  004.16
I613H 1999

Advances in databases and information sysyems:  ADBIS'99 (1999 : Maribor,
Slovenia)  Call # :  005.74 A22A 1999

Computer safety, reliability and security:  International Conference on
Computer Safety, Reliability, and Security (18th : 1999 : Toulouse, France)
Call # :  629.89 I61S 1999

ESEC/FSE '99 (1999 : Toulouse, France)  Call # :  005.1 S68192 1999

Industrial-strength formal methods in practice / Micahael G. Hinchey and
Jonathan Bowen, eds.  Springer:  London, 1999.  Call # :  005.131 I42

Applied algebra, algebraic algorithms and error-correcting codes: AAECC-13
(1999 : Honolulu, Hawaii)  Call # :  005.72 A11A 1999

Advances in cryptology: International Conference on the Theory and
Application of Cryptology and Information Security (5th : 1999 : Singapore)
Call # :  005.82 I61A 1999

PREMO: a framework for multimedia middleware: specification, rationale and
Java building / David Duke, Ivan Herman and M. Scott Marshall  Berlin:
Springer, 1999.  Call # :  006.76 D87P

Agent-oriented programming:  from prolog to guarded definite clauses /
Matthew M. Huntbach and Gream A. Ringwald.  Berlin:  Springer, 1999.  Call
# :  005.117 H94A

SCI: scalable coherent interface: architecture and software for
high-performance compute clusters / Hermann Hellwagner and Alexander
Reinefeld, eds.  Call # :  004.3 S416

Interactive multimedia documents: modeling, authoring and implementation
experiences / Michalis Vazirgiannis.  Springer:  Berlin,  1999.  Call # :
005.7 V39I

Information and communication security: International Conference on
Information and Communications Security (2nd : 1999 : Sydney, N.S.W.)  Call
# :  005.8 I613I 1999

IEEE Workshop on Multimedia Signal Processing (3rd : 1999 : Copenhagen,
Denmark)  Call # :  621.3822 I225I 1999

Cisco packetized voice & data integration / Robert Caputo.  New York:
McGraw Hill, 2000.  Call # :  004.6 C25C

Interworking multimedia / Jon Crowcrost, Mark Handley and Ian Wakeman.  San
Francisco:  Morgan Kaufmann Publishers,  1999.  Call # :  006.7 C95I

Speech and audio signal processing: processing and perception of speech and
music / Ben Gold and Nelson Morgan.  New York:  John Wiley & Sons, Inc.,
2000.  Call # :  621.3822 G61S

Concurrent programming in ML / John H. Reppy.  New York:  Cambridge
University Press, 1999.  Call # :  005.2752 R42C

Advances in genetic programming: volume 3 / Lee Spector, et al, eds.
Cambridge: MIT Press,  1999.  Call # :  006.3 A2449 Vol. 3

Analysis and solutions for switching noise coupling in mixed-signal Ics /
Xavier Aragones, Jose Luis Gonzalez and Antonio Rubio.  Boston:  Kluwer
Academic Publishers,  1999.  Call # :  621.3815 A65A

ISDN and its application to LAN interconnection / Dervis Z. Deniz.  London:
McGraw-Hill,  1999.  Call #:  004.66 D39I

Digital mobile communications and the TETRA system / John Dunlop, Demessie
Girma, and James Irvine.  Chichester:  John Wiley and Sons, Ltd, 1999.
Call #:  621.38450218 D92D

System-level synthesis / Ahmed A. Jerraya and Jean Mermet.  Kluwer Academic
Publishers,  1999. Call # :  004.21 S995 1998

Multimedia servers:  applications, environments, and design / Dinkar
Sitaram and Asit Dan.  San Francisco:  Morgan Kaufmann Publishers,  2000.
Call #:  006.7 S62M

Information visualisation and virtual environments / Chaomei Chen.  London:
Springer,  1999.  Call # :  0006 C51I

User-centered design of systems / Jan Noyes and Chris Baber.  London:
Springer,  1999.  Call # :  004.21 N95U

Knowledge representation and relation nets / Aletta E. Geldenhuys, Hendrik
O. van Rooyed, and Franz Stetter. Boston:  Kluwer Academic Publishers,
1999.  Call # :  006.63 G31K

Job scheduling strategies for parallel processing: JSSPP'99 (1999 : San
Juan, Puerto Rico) Call #:  004.35 I642J 1999.

Recent advances in prarllel virtual machine and message passing interface:
European PVM/MPI User's Group Meeting (6th : 1999 : Barcelona, Spain)  Call
# :  005.43 E892R 1999

Symposium on Reliable Distributed Systems. (18th: 1999: Lausanne)  Call # :
004.36 S989 18th 1999

Types and proof and programs: TYPES '98 (1998 : Benediktinerabtei Irsee,
Germany)  Call #:  005.1 T991 1998

IEEE International Conference on Engineering of Complex Computer Systems.
(5th:  1999:  Las Vegas)  Call # :  004.53 I223p 5th 199

Workshop on Object-Oriented Real-Time Dependable Systems. (4th:  199:
Santa Barbara)  Call # :  004.33 W926P 1999

Conference on Parallel Architectures and Compilation Techniques. (1999:
Newport Beach)  Call # :  005.2 C74P 1999

Conference on Electrical Insulation and Dielectric Phenomena.  (1999:
Austin)  Call # :  621.3196 C741P  1999 Vol. 1

IEEE Conference on Visualization.(1999: San Francisco)  Call # :  006.6
I22P 1999

Symposium on Foundations of Computer Science. (40th: 1999: New York)  Call
# :  004 S984PAA 40th 1999

International Conference on Software Engineering. (11th: 1989: Pittsburgh)
005.1 I61PA 11th 1989

IEEE Information Visualization Symposium. (1999: San Francisco)  Call # :
006.6 I222PA 5th 1999

International Symposium on Microarchitecture. (32nd: 1999:  Haifa)  Call #
:  005.6 M62MICRG 32nd 1999

International Symposium on Software Reliability Engineering.  (10th:  1999:
Boca Raton)  Call # :  005.1 I6194 1999

Conference on Local Computer Networks. (24th:  1999:  Lowell)  Call # :
004.68 C742P 1999

International Symposium on Wearable Computers. (3rd:  1999:  SanFrancisco)
Call # :  004.16 I612D 3rd 1999.

International Conference on Integrated Formal Methods (1st : 1999 : York,
England)  Call # :  0050131 I617I 1999

A tight, practical integration of relations and functions / Harold Boley.
London : Springer, 1999.  Call # :  005.74 B68T

Technology of object-oriented languages and systems : TOOLS. (32:  1999:
Melbourne)  Call # :  005.177 T67T No. 32 1999

International Workshop on Database and Expert Systems Applications (10th :
1999 : Florence, Italy)  Call # :  005.74 D2328 1999

Great Lakes Symposium on VLSI. (9th:  1999:  Ann Arbor)  Call # :  621.395
G78P 9th 1999

IEEE ATM Workshop. (1999: Fairfax)  Call # :  1998

Electronic Packaging Technology Conference (2nd : 1998 : Singapore)  Call #
:  621.381046 E384P 1998

International Conference on Power Electronics and Drive Systems.  (1999:
Hong Kong)  Call # :  621.317 I6143P 3rd 1999 Vols. 1 & 2

MASCOTS '99: International Workshop on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems.  (7th: 1999: College Park)  Call
# :  004 I6124P 7th 1999

Asian Test Symposium.  (8th:  1999:  Shanghai)  Call # :  004.24 A83P 8th
1999

Information extraction: towards scalable, adaptable systems / Maria Teresa
Pazienza, ed.  Berlin: Springer, 1999.  Call # :  005 I432

Workshop on Wide Area Networks and High Performance Computing (1998 : Essen
University)  Call # :  004367 W92W 1998

Fuji International Symposium on Functional and Logic Programming (4th :
1999 : Tsukuba KenkyΓ₯u Gakuen Toshi, Japan)  Call # :  005.114 F96F 1999

International Workshop WG (25th : 1999 : Ascona, Switzerland)  Call # :
004.0151 I613G 1999

IFIP/IEEE International Workshop on Distributed Systems: Operations and
Management (10th : 1999 : Zurich, Switzerland)  Call # :  004.36 I234A 1999

Internet programming languages:  ICCL'98 Workshop (1998 : Chicago, Ill.)
Call # :  005.276 I15I 1998

International Symposium on the Physical & Failure Analysis of Integrated
Circuits (7th: 1999: Singapore)  Call # :  621.3815 I615P 7th 1999

North American Fuzzy Information Processing Society. Conference (18th: 1999
: New York, N.Y.) Call # :  629.8 N146 1999

IEEE Power Electronics Specialists Conference. (30th: 1999:  South
Carolina) Call # :  621.31 I11P 1999 Vol. 2

Symposium on VLSI Technology. (19th: 1999: Kyoto)  Call # :  621.395 S989D
19th 1999

Electrical Overstress/Electrostatic Discharge Symposium. (1999: Orlando)
Call # :  621.381 E382E 1999
Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads