| Notice of New Books Information 新书通知 2008-02-20 |
|||
| English/英文 | |||
| Title | Author | Publisher | Call No. |
| Generalities | |||
| The cambridge companion to the Scottish Enlightenment | edited by Alexander Broadie. | SDX Joint Publishing Co., | 001.09411/C36 |
| Palgrave advances in intellectual history / | edited by Richard Whatmore and Brian Young. | Palgrave Macmillan, | 001.1/P72 |
| Doing a successful research project : | Martin Brett Davies. | Palgrave Macmillan, | 001.42/D25 |
| The researcher`s toolkit : | edited by David Wilkinson. | Routledge, | 001.42/R49 |
| Modeling and using context : | Varol Akman ... [et al.], eds. | Springer-Verlag, | 003.3/I58 |
| The mathematics of coding theory : | Paul Garrett. | Prentice Hall, | 003.54/G26 |
| Qualitative spatial reasoning with topological information / | Jochen Renz. | Springer-Verlag, | 003.54/R46 |
| Isabelle/HOL : | Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. | Springer, | 004.01/N57 |
| Algorithms and computation : | Peter Eades, Tadao Takaoka (eds.) | Springer, | 004.015/I83 |
| Lectures on formal methods and performance analysis | Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.). | Springer, | 004.0151/E44 |
| Formal and natural computing : | Wilfried Brauer ... (eds.) | Springer, | 004.0151/F67 |
| Mathematical foundations of computer science 2001 : | Jirí Sgall, Aleš Pultr, Petr Kolman (eds.) | Springer-Verlag, | 004.0151/S96 |
| Theorem proving in higher order logics : | Richard J. Boulton, Paul B. Jackson (eds.) | Springer, | 004.0151/T74 |
| Proof theory in computer science : | Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.) | Springer, | 004.015113/P83 |
| Cooperative multimodal communication : | Harry Bunt, Robbert-Jan Beun (eds.) | Springer, | 004.019/I58 |
| User modeling 2001 : | Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva (eds.) | Springer, | 004.019/I59 |
| Effective learning and teaching in computing / | edited by Alastair Irons and Sylvia Alexander. | RoutledgeFalmer, | 004.0711/E33 |
| High performance computing : | Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam (eds.) | Springer, | 004.11/I58 |
| Embedded processor design challenges : | Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis (eds.) | Springer, | 004.16/S26 |
| Ubicomp 2001 : | Gregory D. Abowd, Barry Brumitt, Steven Shafer (eds.) | Springer, | 004.16/U25 |
| Hybrid systems : | Claire J. Tomlin, Mark R. Greenstreet (eds.) | Springer, | 004.19/H73 |
| Hybrid systems | Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.). | Springer, | 004.19/H74 |
| Tools and algorithms for the construction and analysis of systems : | Joost-Pieter Katoen, Perdita Stevens (eds.) | Springer, | 004.21/T33 |
| Tools and algorithms for the construction and analysis of systems | Tiziana Margaria, Wang Yi (eds.). | Springer, | 004.211/T33 |
| Trends in network and pervasive computing-ARCS 2002 : | Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.) | Springer, | 004.22/A73 |
| Job scheduling strategies for parallel processing : | Dror G. Feitelson, Larry Rudolph (eds.) | Springer, | 004.24/J75 |
| Performance engineering: | Reiner Dumke ... [et al.], (eds.). | Springer, | 004.24/P47 |
| High-performance computing and networking : | Bob Hertzberger, Alfons Hoekstra, Roy Williams (eds.) | Springer, | 004.3/H49 |
| Multiset processing : | Cristian S. Calude ... (eds.) | Springer, | 004.3/M85 |
| Interactive systems : | Chris Johnson (ed.) | Springer, | 004.33/D78 |
| Coordination models and languages : | Farhad Arbab, Carolyn Talcott (eds.). | Springer, | 004.35/C66 |
| Recent advances in parallel virtual machine and message passing interface : | Yiannis Cotronis, Jack Dongarra (eds.) | Springer, | 004.35/E97 |
| CONCUR 2001 -- concurrency theory : | Kim G. Larsen, Mogens Nielsen (eds.) | Springer, | 004.35/I56 |
| Vector and parallel processing--VECPAR 2000 | José M.L.M. Palma, Jack Dongarra, Vicente Hernández (eds.). | Springer, | 004.35/I57 |
| Parallel computing technologies : | Victor Malyshkin (ed.) | Springer, | 004.35/I59 |
| Applied parallel computing | Tor Soevik ... [et al.] (eds.). | Springer, | 004.35/P37 |
| Modeling and verification of parallel processes | Franck Cassez ... [et al.] (eds.). | Springer, | 004.358/M69 |
| Cooperative environments for distributed systems engineering : | Khalil Drira, Andrea Martelli, Thierry Villemur (eds.) | Springer, | 004.36/C66 |
| Distributed systems : | George Coulouris, Jean Dollimore, Tim Kindberg. | Addison-Wesley, | 004.36/C67 |
| Distributed computing : | Jennifer Welch (ed.) | Springer, | 004.36/D43 |
| Grid computing-GRID 2001 : | Craig A. Lee (eds.) | Springer, | 004.36/G74 |
| Middleware 2001 : | Rachid Guerraoui (ed.) | Springer, | 004.36/I45 |
| Theoretical computer science : | Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.) | Springer, | 004.36/I83 |
| Multimedia wireless networks : | Aura Ganz, Zvi Ganz, Kitti Wongthavarawat. | Prentice Hall PTR, | 004.6/G33 |
| Networking-ICN 2001: | Pascal Lorenz (ed.). | Springer, | 004.6/I58/V.1 |
| Networking-ICN 2001: | Pascal Lorenz (ed.). | Springer, | 004.6/I58/V.2 |
| Active networks : | Ian W, Marshall, Scott Nettles, Naoki Wakamiya (eds.) | Springer, | 004.6/I95 |
| Management of multimedia on the internet : | Ehab S. Al-Shaer, Giovanni Pacifici (eds.) | Springer, | 004.6068/I58 |
| Innovative Internet computing systems | Thomas Böhme, Herwig Unger (eds.). | Springer, | 004.65/I58 |
| Networked group communication : | Jon Crowcroft, Markus Hofmann (eds.) | Springer, | 004.66/I58 |
| The Internet book : | Douglas E. Comer. | Pearson Prentice Hall, | 004.678/C65 |
| Network calculus | Jean-Yves Le Boudec, Patrick Thiran. | Springer, | 004.678/L43 |
| Interactive systems | Philippe Palanque, Fabio Paternò (eds.). | Springer, | 004/D78 |
| Fundamentals of computation theory : | Rūsinš Freivalds (ed.) | Springer, | 004/F36 |
| Foundations of information and knowledge systems : | Thomas Eiter, Klaus-Dieter Schewe (eds.) | Springer, | 004/F65 |
| Implementation and application of automata | Sheng Yu, Andrei P鎍un (eds.). | Springer, | 004/I58 |
| New perspectives on computer concepts / | June Jamrich Parsons and Dan Oja. | Course Technology, | 004/P37 |
| Introduction to computing systems : | Yale N. Patt, Sanjay J. Patel. | China Machine Press : | 004/P38 |
| Understanding computers : | Charles S. Parker, Deborah Morley, Brett Miketta. | Course Technology, | 004/P39 |
| SOFSEM 2001, theory and practice of informatics : | Leszek Pacholski, Peter Ruzicka (eds.) | Springer, | 004/S62 |
| STACS 2002 : | Helmut Alt, Afonso Ferreira (eds.) | Springer, | 004/S95 |
| STACS 2001 | Afonso Ferreira, Horst Reichel (eds.) | Springer, | 004/S96 |
| Theoretical aspects of computer science : | Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.) | Springer, | 004/T42 |
| Algorithm engineering and experimentation : | Adam L. Buchsbaum, Jack Snoeyink (eds.) | Springer, | 005.1/A44 |
| Algorithmic learning theory : | Naoki Abe, Roni Khardon, Thomas Zeugmann (eds.) | Springer, | 005.1/A48 |
| Agent-oriented software engineering | Paolo Ciancarini, Michael J. Wooldridge (eds.). | Springer, | 005.1/A67 |
| Agent-oriented software engineering II : | Michael J. Wooldridge, Gerhard Weiss, Paolo Ciancarini (eds.) | Springer, | 005.1/A68/V.2 |
| Algorithms-ESA 2001 : | Friedhelm Meyer auf der Heide (ed.) | Springer, | 005.1/E83 |
| Programming languages and systems : | Daniel Le M鈋tayer (ed.) | Springer, | 005.1/E98 |
| Programming languages and systems | David Sands (ed.). | Springer, | 005.1/E99 |
| Fundamental approaches to software engineering : | Ralf-Detlef Kutsche, Herbert Weber (eds.) | Springer, | 005.1/F44 |
| Fundamental approaches to software engineering | Heinrich Hussmann (ed.). | Springer, | 005.1/F45 |
| Foundations of software science and computation structures : | Mogens Nielsen, Uffe Engberg (eds.) | Springer, | 005.1/F67 |
| Foundations of software science and computation structures | Furio Honsell, Marino Miculan (eds.). | Springer, | 005.1/F68 |
| Generative and component-based software engineering : | Jan Bosch (ed.) | Springer, | 005.1/G37 |
| Generative and component-based software engineering : | Greg Butler, Stan Jarzabek (eds.) | Springer, | 005.1/G47 |
| COTS-based software systems : | John Dean, Andrée Gravel (eds.) | Springer, | 005.1/I33 |
| Large-scale scientific computing : | Svetozar Margenov, Jerzy Waniewski, Plamen Yalamov (eds.) | Springer, | 005.1/I35 |
| Software reuse : | Cristina Gacek (ed.). | Springer, | 005.1/I50 |
| Algorithm engineering | Stefan Näher, Dorothea Wagner (eds.). | Springer, | 005.1/I51 |
| Algorithm engineering : | Gerth Stoting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela (eds.) | Springer, | 005.1/I52 |
| Perspectives of system informatics : | Dines Bjoner, Manfred Broy, Alexandre V. Zamulin (eds.) | Springer, | 005.1/I54 |
| FME 2001 | José Nuno Oliveira, Pamela Zave (eds.). | Springer, | 005.1/I56 |
| Linux application development / | Michael K. Johnson, Erik W. Troan. | Addison-Wesley, | 005.1/J63 |
| Iterative software engineering for multiagent systems | Jürgen Lind. | Springer, | 005.1/L52 |
| Modular specification and verification of object-oriented programs / | Peter Muller. | Springer, | 005.1/M85 |
| Software frameworks and embedded control systems / | Alessandro Pasetti. | Springer, | 005.1/P37 |
| Algorithms and data structures : | Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.) | Springer, | 005.1/W33 |
| Computer science logic : | Laurent Fribourg (ed.) | Springer, | 005.101/75 |
| Theoretical aspects of computer software : | Naoki Kobayashi, Benjamin C. Pierce (eds.) | Springer, | 005.101/T33 |
| Constraints in computational logics | Hubert Comon, Claude Marché, Ralf Treinen (eds.). | Springer, | 005.11/C69 |
| Programming constraint services : | Christian Schulte. | Springer, | 005.11/S38 |
| Inductive logic programming : | Céline Rouveirol, Michèle Sebag (eds.) | Springer-Verlag, | 005.115/I53 |
| Logic programming and nonmonotonic reasoning : | Thomas Eiter, Wolfgang Faber, Miroslw Truszczyński (eds.) | Springer, | 005.115/L76 |
| Concurrent object-oriented programming and Petri nets | Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.). | Springer, | 005.117/C66 |
| ECOOP 2001 - object-oriented programming | Jogen Lindskov Knudsen (ed.). | Springer, | 005.117/E36 |
| Object modeling with the OCL : | Tony Clark, Jos Warmer (eds.) | Springer, | 005.117/O35 |
| Implementation of functional languages | Markus Mohnen, Pieter Koopman (eds.). | Springer, | 005.13/I58 |
| Metalevel architectures and separation of crosscutting concerns : | Akinori Yonezawa, Satoshi Matsuoka (eds.) | Springer, | 005.13/R46 |
| Automata implementation : | Oliver Boldt, Helmut Jürgensen (eds.) | Springer, | 005.131/I57 |
| Automata, languages and programming | Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.). | Springer, | 005.131/I58 |
| Machines, computations, and universality | Maurice Margenstern, Yurii Rogozhin (eds.) | Springer, | 005.131/M38 |
| Practical aspects of declarative languages | I.V. Ramakrishnan (ed.). | Springer, | 005.131/P32 |
| Practical aspects of declarative languages : | Shriram Krishnamurthi, C.R. Ramakrishnan (eds.) | Springer, | 005.131/P33 |
| C# for experienced programmers | H.M. Deitel ... [et al.] | Publishing House of Electronics Industry ; | 005.133/C14 |
| Consolidated Ada reference manual : | S. Tucker Taft ... (eds.) | Springer, | 005.133/C66 |
| Problem solving and program design in C / | Jeri R. Hanly, Elliot B. Koffman. | Addison-Wesley Pub. Co., | 005.133/H37 |
| Problem solving and program design in C / | Jeri R. Hanly, Elliot B. Koffman. | Addison-Wesley Pub. Co., | 005.133/H37 |
| Smart card programming and security : | Isabelle Attali, Thomas Jensen (eds.) | Springer, | 005.133/I55 |
| Java on smart cards | Isabelle Attali, Thomas Jensen (eds.). | Springer, | 005.133/J36 |
| SDL 2001 | Rick Reed, Jeanne Reed (eds.). | Springer, | 005.133/S35 |
| On to C++ | Patrick Henry Winston. | China Machine Press, | 005.133/W56 |
| Model checking software | Matthew Dwyer (ed.). | Springer, | 005.14/I58 |
| New approaches in software measurement | Reiner Dumke, Alain Abran (eds.). | Springer, | 005.14/I97 |
| Self-stabilizing systems : | Ajoy K. Datta, Ted Hermann (eds.) | Springer, | 005.14/W77 |
| Languages and compilers for parallel computing | Samuel P. Midkiff ... [et al.] (eds.). | Springer, | 005.2/W67 |
| High-level parallel programming models and supportive environments | Frank Mueller (ed.). | Springer, | 005.275/I58 |
| OpenMP shared memory parallel programming : | Rudolf Eigenmann, Michael J. Voss (eds.) | Springer, | 005.275/I59 |
| Technologies for E-Services : | Fabio Casati, Dimitrios Georgakopoulos, Ming-Chien Shan (eds.) | Springer, | 005.276/T43 |
| Programs as data objects | Olivier Danvy, Andrzej Filinski (eds.). | Springer, | 005.3/P33 |
| UML 2001 : | Martin Gogolla, Cris Kobryn (ed.) | Springer, | 005.3/U45 |
| Compiler construction : | R. Nigel Horspool (ed.) | Springer, | 005.453/C32 |
| Compiler optimizations for scalable parallel systems | Santosh Pande, Dharma P. Agrawal (eds.). | Springer, | 005.453/C66 |
| Compiler construction : | Kenneth C. Louden. | China Machine Press ; | 005.453/L68 |
| Types in compilation | Robert Harper, (ed.). | Springer, | 005.453/T53 |
| Applied algebra, algebraic algorithms and error-correcting codes : | Serdar Boztas, Igor E. Shparlinski (eds.) | Springer, | 005.72/A35 |
| Advances in information retrieval : | Fabio Crestani, Mark Girolami, Cornelis Joost van Rijsbergern (eds.) | Springer-Verlag, | 005.74/B37 |
| Advances in database technology--EDBT 2002 : | Christian S. Jensen ... [et al.] (eds.) | Springer-Verlag, | 005.74/I58 |
| Conceptual modeling--ER 2001 : | Hideko S. Kunii, Sushil Jajodia, Arne Solvberg (eds.) | Springer, | 005.74/I59 |
| Persistent object systems : | Graham N.C. Kirby, Alan Dearle, Dag I.K. Sjoerg (eds.) | Springer, | 005.75/I58 |
| Cooperative information systems : | Carlo Batini ... [et al.] | Springer, | 005.758/C66 |
| Advances in web-age information management : | X. Sean Wang, Ge Yu, Hongjun Lu (eds.) | Springer, | 005.758/W35 |
| Advances in cryptology--CRYPTO 2001 : | Joe Kilian (ed.) | Springer, | 005.8/C78 |
| Foundations of security analysis and design : | Riccardo Focardi, Robert Gorrieri (eds.) | Springer, | 005.8/F68 |
| Information security and cryptology--ICISC 2001 : | Kwangjo Kim (ed.) | Springer-Verlag, | 005.8/I35 |
| Designing privacy enhancing technologies | Hannes Federrath (ed.). | Springer, | 005.8/I56 |
| Advances in cryptology - ASIACRYPT 2001 : | Colin Boyd (ed.) | Springer, | 005.8/I57 |
| Principles of information security | Michael E. Whitman, Herbert J. Mattord. | Tsinghua University Press | 005.8/W45 |
| Cryptography and lattices : | Joseph H. Silverman (ed.) | Springer, | 005.82/C35 |
| Advances in cryptology | Birgit Pfitzmann (ed.) | Springer, | 005.82/E97 |
| Progress in cryptology : | C. Pandu Rangan, Cunsheng Ding (eds.) | Springer, | 005.82/I59 |
| Topics in cryptology, CT-RSA 2002 : | Bart Preneel (ed.) | Springer, | 005.82/R73 |
| Selected areas in cryptography : | Serge Vaudenay, Amr M. Youssef (eds.) | Springer, | 005.82/S23 |
| FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : | Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.) | Springer, | 005/C66 |
| Advances in artificial intelligence : | Ryszard Kowalczyk ... [et al.], eds. | Springer, | 006.3/A34 |
| Advances in soft computing : | Nikhil R. Pal, Michio Sugeno (eds.) | Springer, | 006.3/A47 |
| AI 2001 : | Markus Stumptner, Dan Corbett, Mike Brooks (eds.) | Springer, | 006.3/A97 |
| Advances in artificial intelligence | Eleni Stroulia, Stan Matwin (eds.). | Springer, | 006.3/C36 |
| From theory to practice in multi-agent systems : | Barbara Dunin-Keplicz, Edward Nawarecki (eds.) | Springer, | 006.3/C44 |
| Cooperative information agents V : | Matthias Klusch, Franco Zambonelli (eds.) | Springer, | 006.3/C54 |
| Engineering societies in the agents world II : | Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.) | Springer, | 006.3/E83 |
| Applications of evolutionary computing | Egbert J.W. Boers, et al. (eds.). | Springer, | 006.3/E89 |
| Symbolic and quantitative approaches to reasoning with uncertainty : | Salem Benferhat, Philippe Besnard (eds.) | Springer, | 006.3/E97 |
| Logic programming : | Philippe Codognet (ed.) | Springer, | 006.3/I56 |
| Logic for programming, artificial intelligence, and reasoning : | Robert Nieuwenhuis, Andrei Voronkov (eds.) | Springer, | 006.3/L64 |
| Mobile agents : | Gian Pietro Picco (ed.) | Springer, | 006.3/M32 |
| MICAI 2002 : | Carlos A. Coello Coello ... (eds.) | Springer, | 006.3/M49 |
| Multi-agent systems and applications II : | Vladimír Marík ... [et al.], (eds.) | Springer, | 006.3/M86/V.2 |
| Transactional agents : | Khaled Nagi. | Springer, | 006.3/N34 |
| New frontiers in artificial intelligence : | Takao Terano ... [et al.] | Springer, | 006.3/N48 |
| Principles of data mining and knowledge discovery : | Luc de Raedt, Arno Siebes (eds.) | Springer-Verlag, | 006.3/P55 |
| Progress in artificial intelligence : | Pavel Brazdil, Alípio Jorge, eds. | Springer, | 006.3/P67 |
| Progress in discovery science : | Setsuo Arikawa, Ayumi Shinohara, (eds.) | Springer, | 006.3/P76 |
| Web intelligence : | Ning Zhong ... [et al.] (eds.) | Springer, | 006.3/W49 |
| Balancing reactivity and social deliberation in multi-agent systems : | Markus Hannebauer, Jan Wendler, Enrico Pagello (eds.) | Springer, | 006.3/W68 |
| Association rule mining : | Chengqi Zhang, Shichao Zhang. | Springer, | 006.3/Z43 |
| Applications of evolutionary computing : | Stefano Cagnoni ... (eds.) | Springer, | 006.31/E83 |
| Machine learning : | Luc De Raedt, Peter Flach, eds. | Springer-Verlag, | 006.31/E97 |
| Genetic programming | Julian Miller ... [et al.] (eds.). | Springer, | 006.31/E98 |
| Genetic programming | James A. Foster ...[et al]. (eds.) | Springer, | 006.31/E99 |
| Multiple classifier systems | Josef Kittler, Fabio Roli (eds.). | Springer, | 006.31/I58 |
| Advances in learning classifier systems | Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.). | Springer, | 006.31/I87 |
| Machine learning and data mining in pattern recognition : | Petra Perner (ed.) | Springer, | 006.31221/I58 |
| Emergent neural computational architectures based on neuroscience | Stefan Wermter, Jim Austin, David Willshaw (eds.). | Springer-Verlag, | 006.32/E57 |
| Extraction and exploitation of intensional knowledge from heterogeneous information sources : | Domenico Ursino. | Springer-Verlag, | 006.33/U77 |
| Non-standard inferences in description logics | Ralf Küsters. | Springer, | 006.332/K87 |
| Case-based reasoning research and development | David W. Aha, Ian Watson, eds. | Springer, | 006.333/I58 |
| Types for proofs and programs : | Paul Callaghan ... [et al.] | Springer-Verlag Berlin Heidelberg, | 006.333/T97 |
| Natural language processing and information systems | Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais (eds.). | Springer, | 006.35/I58 |
| Computational linguistics and intelligent text processing : | Alexander Gelbukh (ed.) | Springer, | 006.35/I59 |
| Text, speech, and dialogue : | Václav Matoušek ... [et al.] (eds.) | Springer-Verlag, | 006.35/T73 |
| Energy minimization methods in computer vision and pattern recognition : | Mário Figueiredo, Josiane Zerubia, Anil K. Jain (eds.) | Springer, | 006.37/E53 |
| Computer vision-ECCV 2002 : | Anders Heyden ... [et al.] (eds.). | Springer, | 006.37/E97 |
| Visual form 2001 | Carlo Arcelli, Luigi P. Cordella, Gabriella Sanniti di Baja (eds). | Springer, | 006.37/I58 |
| Computer analysis of images and patterns : | Wldyslw Skarbek (ed.) | Springer, | 006.4/I59 |
| Computer graphics | F.S. Hill,Stephen M.Kelley. | Pearson education Ltd. | 006.6/H55 |
| Discrete geometry for computer imagery : | Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.) | Springer, | 006.601/D52 |
| Automatic generation of computer animation : | Ruqian Lu, Songmao Zhang. | Springer, | 006.696/L83 |
| Hypermedia : | Siegfried Reich, Manolis M. Tzagarakis, Paul M.E. De Bra (eds.) | Springer-Verlag, | 006.7/H97 |
| Introduction to multimedia systems / | editors, Gaurav Bhtnagar, Shikha Mehta, Sugata Mitra. | Academic Press, | 006.7/I68 |
| Multimedia over IP and wireless networks : | edited by Philip A. Chou, Mihaela van der Schaar. | Elsevier/Academic Press, | 006.7/M95 |
| Web design in a nutshell/ | Jennifer Niederst Robbins. | 东南大学出版社, | 006.7/N54 |
| Lossless compression handbook / | Khalid Sayood, editor. | Academic Press, | 006.76/L69 |
| Research and advanced technology for digital libraries : | Panos Constantopoulos, Ingeborg T. Sovberg (eds.) | Springer, | 025.00285/E33 |
| Cross-language information retrieval and evaluation: | Carol Peters (ed.). | Springer, | 025.04/C76 |
| Quality-driven query answering for integrated information systems / | Felix Naumann. | Springer, | 025.04/N38 |
| 12 books, that changed, the world / | Melvyn Bragg. | Hodder & Stoughton, | 028/B73 |
| Print journalism : | edited by Richard Keeble. | Routledge, | 070.17/P73 |
| Theorizing documentary / | edited by Michael Renov. | Routledge, | 070.18/T45 |
| Broadcast news handbook : | C.A. Tuggle, Forrest Carr, Suzanne Huffman. | McGraw-Hill, | 070.4/T76 |
| Broadcast news handbook : | C.A. Tuggle, Forrest Carr, Suzanne Huffman. | McGraw-Hill, | 070.4/T76 |
| Creative editing / | Dorothy A. Bowles, Diane L. Borden. | Thomson/Wadsworth, | 070.41/B75 |
| News reporting and writing | Melvin Mencher. | McGraw-Hill, | 070.43/M53 |
| News reporting and writing | Melvin Mencher. | McGraw-Hill, | 070.43/M53 |
| News reporting and writing | Melvin Mencher. | McGraw-Hill, | 070.43/M53 |
| Associated Press reporting handbook / | Jerry Schwartz. | McGraw-Hill, | 070.43/S39 |
| Beyond the front lines : | by Philip Seib. | Palgrave Macmillan, | 070.4333/S45 |
| Philosophy & psychology | |||
| A history of Western philosophy / | Bertrand Russell. | Simon & Schuster. | 109/R87 |
| At the end of an age / | John Lukacs. | Yale University Press, | 121/L85 |
| Palgrave advances in witchcraft historiography / | edited by Jonathan Barry and Owen Davies. | Palgrave Macmillan, | 133.4/P24 |
| The cambridge companion to critical theory | edited by Fred Rush. | SDX Joint Publishing Co., | 142/C36 |
| Humanism and democratic criticism / | Edward W. Said. | Palgrave Macmillan, | 144/S25 |
| The ethics of psychoanalysis, 1959-1960 : | Jacques Lacan ; edited by Jacques-Alain Miller ; translated with notes by Dennis Porter. | Routledge, | 150.19/L33 |
| Fundamentals of psychology : | Stephen M. Kosslyn, Robin S. Rosenberg. | Pearson/Allyn and Bacon, | 150/K67 |
| Fundamentals of psychology : | Stephen M. Kosslyn, Robin S. Rosenberg. | Pearson/Allyn and Bacon, | 150/K68 |
| Human motivation / | Robert E. Franken. | Thomson/Wadsworth, | 153.8/F73 |
| Cognitive technology : | Meurig Beynon, Chrystopher L. Nahaniv, Kerstin Dautenhahn, eds. | Springer, | 153/I58 |
| Human evolutionary psychology / | Louise Barrett, Robin Dunbar, John Lycett. | Palgrave, | 155.7/B37 |
| Speech, media, and ethics : | Raphael Cohen-Almagor. | Palgrave Macmillan, | 174.9097/C64 |
| Ethics and values in social work / | Sarah Banks. | Palgrave Macmillan, | 174.93613/B32 |
| Personal virtues : | edited by Clifford Williams. | Palgrave Macmillan, | 179.9/P37 |
| The cambridge companion to greek and Roman philosophy | edited by David Sedley. | SDX Joint Publishing Co., | 180/C36 |
| The cambridge companion to medieval Jewish philosophy | edited by Daniel H.Frank and Oliver Leaman. | SDX Joint Publishing Co., | 181.06/C36 |
| Key concepts in Chinese philosophy / | Zhang Dainian ; translated and edited by Edmund Ryden. | Foreign Lauguages Press, | 181.11/Z43 |
| The cambridge companion to Arabic philosophy | edited by Peter Adamson, Richard C. Taylor. | SDX Joint Publishing Co., | 181.92/C36 |
| The cambridge companion to Plato | edited by Richard Kraut. | SDX Joint Publishing Co., | 184/C36 |
| The cambridge companion to Medieval philosophy | edited by A. S. Mcgrade. | SDX Joint Publishing Co., | 189/C36 |
| The cambridge companion to Wittgenstein | edited by Hans Sluga, David G. Stern. | SDX Joint Publishing Co., | 192/C36 |
| Wittgenstein and the end of philosophy : | Daniel D. Hutto. | Palgrave Macmillan, | 192/H88 |
| The cambridge companion to German Idealism | edited by Karl Ameriks. | SDX Joint Publishing Co., | 193/C35 |
| The cambridge companion to Habermas | edited by Stephen K. White. | SDX Joint Publishing Co., | 193/C36 |
| The cambridge companion to Kant | edited by Paul Guyer. | SDX Joint Publishing Co., | 193/C37 |
| The cambridge companion to Hegel | edited by Frederick C. Beiser. | SDX Joint Publishing Co., | 193/C38 |
| Hegel; | [by] Walter Kaufmann. | Doubleday, | 193/K39 |
| Deconstructing Derrida : | edited by Peter Pericles Trifonas and Michael A. Peters. | Palgrave Macmillan, | 194/D38 |
| The cambridge companion to Kierkegaard | edited by Alastair Hannay Gordon D. Marino. | SDX Joint Publishing Co., | 198.9/C36 |
| Religion | |||
| Theory for religious studies / | William E. Deal and Timothy K. Beal. | Routledge, | 200.71/D46 |
| World heritage of China. | Foreign Languages Press, | 2004/W68 | |
| Bringing religion into international relations / | Jonathan Fox and Shmuel Sandler. | Palgrave Macmillan, | 201.727/F69 |
| The global resurgence of religion and the transformation of international relations : | Scott M. Thomas. | Palgrave Macmillan, | 201.727/T46 |
| Holy Bible : | Holman Bible Publishers. | 220.52/H65 | |
| The Holy Bible : | Lionheart Books,Ltd. | 220.52/H65 | |
| Holy hatred : | by Robert Michael. | Palgrave Macmillan, | 261.26/M52 |
| Terror and civilization : | by Shadia B. Drury. | Palgrave Macmillan, | 261.7/D78 |
| Palgrave advances in the European reformations / | edited by Alec Ryrie. | Palgrave Macmillan, | 270.6/P34 |
| The origin of Chinese deities / | Cheng Manchao. | Foreign Languages Press, | 291.211/C44 |
| An introduction to Buddhist psychology / | Padmasiri de Silva ; foreword by John Hick. | Palgrave Macmillan, | 294.34/D47 |
| Jihad : | Richard Bonney ; foreword by Zaki Badawi. | Palgrave Macmillan, | 297.72/B66 |
| When the New Age gets old : | Vishal Mangalwadi. | InterVarsity Press, | 299.93/M35 |
| Social sciences | |||
| Social inquiry and political knowledge / | edited by Richard Ned Lebow and Mark Irving Lichbach. | Palgrave Macmillan, | 300.1/S58 |
| The idea of a social science and its relation to philosophy / | Peter Winch. | Routledge, | 300.1/W56 |
| Research methods in the social sciences / | Chava Frankfort-Nachmias, David Nachmias. | Arnold, | 300.72/F73 |
| Social research / | S. Sarantakos. | Palgrave Macmillan, | 300.72/S32 |
| Survey research methods / | Floyd J. Fowler, Jr. | Sage Publications, | 300.723/F69 |
| Radical perspectives on social problems; | edited by Frank Lindenfeld. | Macmillan | 301.08/L56 |
| Luhmann explained : | Hans-Georg Moeller. | Open Court, | 301.092/M65 |
| Trust in cyber-societies : | Rino Falcone, Munindar Singh, Yao-Hua Tan (eds.) | Springer, | 302.0285/T78 |
| Between ourselves : | Graeme Burton and Richard Dimbleby. | H. Arnold ; | 302.2/B87 |
| Multimodal discourse : | Gunther Kress, Theo van Leeuwen. | Arnold ; | 302.2/K74 |
| Communication studies / | Sky Marsen. | Palgrave Macmillan, | 302.2/M38 |
| Researching communications : | David Deacon ... [et al.] | Arnold, | 302.2/R47 |
| Mastering communication / | Nicky Stanton. | Palgrave Macmillan, | 302.2/S78 |
| Dictionary of media and communication studies / | James Watson and Anne Hill. | Hodder Arnold ; | 302.203/W38 |
| The media student`s book / | Gill Branston and Roy Stafford. | Routledge, | 302.23/B66 |
| Media discourse / | Norman Fairclough. | E. Arnold, | 302.23/F35 |
| Visual cultures and critical theory / | Patrick Fuery and Kelli Fuery. | Arnold ; | 302.23/F84 |
| Understanding media culture / | Jostein Gripsrud. | Arnold ; | 302.23/G75 |
| Understanding the media : | Andrew Hart. | Routledge, | 302.23/H33 |
| The media book / | edited by Chris Newbold, Oliver Boyd-Barrett, Hilde van den Bulck. | Arnold ; | 302.23/M36 |
| The sociology of journalism / | Brian McNair. | Arnold ; | 302.23/M38 |
| The media studies reader / | edited by Tim O`Sullivan and Yvonne Jewkes. | Arnold ; | 302.23/M39 |
| Media & cultural theory / | edited by James Curran and David Morley. | Routledge, | 302.23/M43 |
| Media worlds : | edited by Faye D. Ginsburg, Lila Abu-Lughod, and Brian Larkin. | University of California Press, | 302.23/M43 |
| New media : | edited by Anna Everett and John T. Caldwell. | Routledge, | 302.23/N48 |
| Studying the media : | Tim O`Sullivan, Brian Dutton, Philip Rayner. | Arnold ; | 302.23/O84 |
| Analysing newspapers : | John E. Richardson. | Palgrave Macmillan, | 302.23/R53 |
| Teaching, technology, textuality : | edited by Michael Hanrahan and Deborah L. Madsen. | ||