Clear Search

Books+ Search Results

Series: "Lecture notes in computer science ;"

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (7,121)

Limit your search

-
Current results range from 1950 to 2024

1.
Lecture notes in computer science
Published
Berlin, New York, Springer-Verlag.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 (LC)
Format
Books
2.
Lecture notes in computer science
Published
Berlin ; New York : Springer Verlag.
Online
Full text
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Transactions on Computational Systems Biology I Subseries of Lecture Notes in Computer Science
Author
Priami, Corrado
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
4.
Transactions on Computational Systems Biology I Subseries of Lecture Notes in Computer Science
Author
Priami, Corrado
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Image and video retrieval : Second International Conference, CIVR 2003, Urbana-Champaign, IL, USA, July 24-25 2003 : proceedings
Author
CIVR (Conference) (2003 : Urbana-Champaign, Ill.)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2728 (LC)
Format
Books
6.
Proceedings of the ... International Workshop on Network and Operating Systems support for Digital Audio and Video
Author
International Workshop on Network and Operating System Support for Digital Audio and Video
Published
Berlin ; New York : Springer-Verlag,
Location
Library Shelving Facility (LSF) >> TK7881.4 I58 (LC)+ Oversize
Format
Journals & Newspapers
7.
Proceedings
Author
International Conference on Functional Programming Languages and Computer Architecture
Published
New York, N.Y. : ACM, 1981-
Location
Library Shelving Facility (LSF) >> QA76.7 I58 (LC)+ Oversize
Format
Journals & Newspapers
8.
Treewidth : computations and approximations
Author
Kloks, Ton
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 842 (LC)
Format
Books
9.
A formal model of visualization in computer graphics systems
Author
Onodera, Tamiya, 1959-
Published
Berlin ; New York : Springer-Verlag, c1990.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 421 (LC)
Format
Books
10.
Advances in cryptology, CRYPTO '94 : 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994 : proceedings
Author
CRYPTO (Conference) (14th : 1994 : University of California, Santa Barbara)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 839 (LC)
Format
Books
11.
The traveling salesman : computational solutions for TSP applications
Author
Reinelt, G. (Gerhard)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
SML, Stacks, LC Classification >> QA76 A1 L43 840 (LC)
Format
Books
12.
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 845 (LC)
Format
Books
13.
Financial cryptography : 6th International Conference, FC 2002, Southampton, Bermuda, March 2002 : revised papers
Author
FC 2002 (2002 : Southampton, Bermuda Islands)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2357 (LC)
Format
Books
14.
Translating relational queries into iterative programs
Author
Freytag, Johann Christoph, 1954-
Published
Berlin ; New York : Springer-Verlag, c1987.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 261 (LC)
Format
Books / Dissertations & Theses
15.
Translating relational queries into iterative programs
Author
Freytag, Johann Christoph, 1954-
Published
Berlin ; New York : Springer-Verlag, c1987.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Dissertations & Theses
16.
PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings
Author
International PARLE Conference (6th : 1994 : Athens, Greece)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 817 (LC)
Format
Books
17.
Human computer interaction : Vienna Conference, VCHCI '93, Fin de Siècle, Vienna, Austria, September 20-22, 1993 : proceedings
Author
Vienna Conference on Human Computer Interaction (1993 : Vienna, Austria)
Published
Berlin ; New York : Springer, c1993.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
18.
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings
Author
Scandinavian Workshop on Algorithm Theory (4th : 1994 : Århus, Denmark)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 824 (LC)
Format
Books
19.
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 859 (LC)
Format
Books
20.
Numerical integration on advanced computer systems
Author
Krommer, Arnold R.
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 848 (LC)
Format
Books
21.
Human computer interaction : Vienna Conference, VCHCI '93, Fin de Siècle, Vienna, Austria, September 20-22, 1993 : proceedings
Author
Vienna Conference on Human Computer Interaction (1993 : Vienna, Austria)
Published
Berlin ; New York : Springer, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 733 (LC)
Format
Books
22.
Combinatorial pattern matching : third annual symposium, Tucson, Arizona, USA, April 29-May 1, 1992 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 644 (LC)
Format
Books
23.
Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures
Published
New York : Springer, 2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
24.
Information theory and applications : third Canadian workshop, Rockland, Ontario, Canada, May 30-June 2, 1993 : proceedings
Author
Canadian Workshop on Information Theory (3rd : 1993 : Rockland, Ont.)
Published
Berlin ; New York : Springer-Verlag, 1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 793 (LC)
Format
Books
25.
Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2459 (LC)
Format
Books
26.
Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 1994 : proceedings
Author
Workshop on Languages and Compilers for Parallel Computing (7th : 1994 : Ithaca, NY)
Published
Heidelberg ; New York : Springer-Verlag, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 892 (LC)
Format
Books
27.
Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers
Published
Berlin ; New York : Springer-Verlag, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
28.
Computers for handicapped persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 : proceedings
Author
International Conference for Handicapped Persons (4th : 1994 : Vienna, Austria)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 860 (LC)
Format
Books
29.
Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4-8, 1994 : proceedings
Author
International Workshop ORDAL '94 (1994 : Lyon, France)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 831 (LC)
Format
Books
30.
Program construction : international summer school
Published
Berlin ; New York : Springer-Verlag, 1979.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 69 (LC)
Format
Books
31.
Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers
Published
Berlin ; New York : Springer-Verlag, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 938 (LC)
Format
Books
32.
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Author
International Symposium, PLILP '94 (6th : 1994 : Madrid, Spain)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 844 (LC)
Format
Books
33.
Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings
Author
CC (Conference) (3rd : 1990 : Schwerin, Germany) (3rd : 1990 : Schwerin, Germany)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 477 (LC)
Format
Books
34.
SWAT 90 : proceedings
Author
Scandinavian Workshop on Algorithm Theory (2nd : 1990 : Bergen, Norway)
Published
Berlin ; New York : Springer-Verlag, c1990.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 447 (LC)
Format
Books
35.
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986
Published
Berlin ; New York : Springer-Verlag, c1986.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 233 (LC)
Format
Books
36.
Machine learning in clinical neuroimaging : 6th international workshop, MLCN 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, proceedings
Author
MLCN (Workshop) (6th : 2023 : Vancouver, B.C.)
Published
Cham, Switzerland : Springer, [2023]
Location
SML, Stacks, LC Classification >> Q325.5 .M53 2023 (LC)
Format
Books
37.
Statistical atlases and computational models of the heart : imaging and modelling challenges : 5th International Workshop, STACOM 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, revised selected papers
Published
Cham : Springer, [2015]
2015
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Network and operating system support for digital audio and video : 4th international workshop, NOSSDAV '93, Lancaster, U.K., November 3-5, 1993 : proceedings
Author
NOSSDAV '93 (4th : 1993 : Lancaster, England)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 846 (LC)
Format
Books
39.
Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings
Author
International Conference on Deductive and Object-Oriented Databases (3rd : 1993 : Phoenix, Arizona)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 760 (LC)
Format
Books
40.
Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1989.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 392 (LC)
Format
Books
41.
The Munich Project CIP
Published
Berlin ; New York : Springer-Verlag, c1985-
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 183, 292 (LC)
Format
Books
42.
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
Published
Berlin ; New York : Springer-Verlag, c1975.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 25 (LC)
Format
Books
43.
Advances in intelligent computing--IPMU '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 1994 : proceedings
Author
International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (5th : 1994 : Paris, France)
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 945 (LC)
Format
Books
44.
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 780 (LC)
Format
Books
45.
Applications of invariance in computer vision : second joint European-US workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 825 (LC)
Format
Books
46.
Towards a Pan-European telecommunication service infrastructure : IS&N '94 : Second International Conference on Intelligence in Broadband Services and Networks, Aachen, Germany, September 7-9, 1994 : proceedings
Author
International Conference on Intelligence in Broadband Services and Networks (2nd : 1994 : Aachen, Germany)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 851 (LC)
Format
Books
47.
Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 794 (LC)
Format
Books
48.
Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93
Author
IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks (16th : 1993 : Rome, Italy)
Published
Berlin ; New York : Springer-Verlag, c1993.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
49.
Artificial neural networks-ICANN 2002 : international conference, Madrid, Spain, August 28-30, 2002 : proceedings
Author
International Conference on Artificial Neural Networks (European Neural Network Society) (12th : 2002 : Mardid, Spain)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2415 (LC)
Format
Books
50.
Conceptual modeling for new information systems technologies : ER 2001 workshops : HUMACS, DASWIS, ECOMO, and DAMA, Yokohama, Japan, November 27-30, 2001 : revised papers
Author
International Conference on Conceptual Modeling (20th : 2001 : Yokohama, Japan)
Published
Berlin ; New York : Springer, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2465 (LC)
Format
Books
51.
Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93
Author
IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks (16th : 1993 : Rome, Italy)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 729 (LC)
Format
Books
52.
Field-programmable logic and application : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings
Author
International Conference on Field-Programmable Logic and Applications (12th : 2002 : Montpellier, France)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2438 (LC)
Format
Books
53.
Software engineering--ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995 : proceedings
Author
European Software Engineering Conference (5th : 1995 : Sitges, Spain)
Published
Berlin ; New York : Springer-Verlag, c1995.
Online
Publisher description
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 989 (LC)
Format
Books
54.
Document analysis systems V : 5th international workshop, DAS 2002, Princeton, NJ, USA, August 19-21, 2002 : proceedings
Author
DAS 2002 (2002 : Princeton, N.J.)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2423 (LC)
Format
Books
55.
Advances in cryptology, ASIACRYPT '94 : 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28-December 1, 1994 : proceedings
Author
International Conference on the Theory and Application of Cryptology (4th : 1994 : Wollongong, N.S.W.)
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 917 (LC)
Format
Books
56.
Advances in multimedia information processing, PCM 2002 : third IEEE Pacific Rim Conference on Multimedia, Hsinchu, Taiwan, December 16-18, 2002 : proceedings
Author
IEEE Pacific Rim Conference on Multimedia (3rd : 2002 : Hsinchu City, Taiwan)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2532 (LC)
Format
Books
57.
Pervasive computing : first international conference, Pervasive 2002, Zurich, Switzerland, August 26-28, 2002 : proceedings
Author
Pervasive (Conference) (1st : 2002 : Zurich, Switzerland)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2414 (LC)
Format
Books
58.
FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author
International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2391 (LC)
Format
Books
59.
Randomization and approximation techniques in computer science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002 : proceedings
Author
International Workshop on Randomization and Approximation Techniques in Computer Science (6th : 2002 : Cambridge, Mass.)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2483 (LC)
Format
Books
60.
Security protocols : 9th international workshop, Cambridge, UK, April 25-27, 2001 : revised papers
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2467 (LC)
Format
Books
61.
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : proceedings
Author
Workshop on Computer Science Logic (16th : 2002 : Edinburgh, Scotland)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2471 (LC)
Format
Books
62.
Advances in databases and information systems : 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002 : proceedings
Author
ADBIS (Conference) (6th : 2002 : Bratislava, Slovakia)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2435 (LC)
Format
Books
63.
Conceptual modeling-ER 2002 : 21st International Conference on Conceptual Modeling, Tampere, Finland, October 2002 : proceedings
Author
International Conference on Conceptual Modeling (21st : 2002 : Tampere, Finland)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2503 (LC)
Format
Books
64.
Information security : 5th International Conference, ISC 2002, Sao Paulo, Brazil, September 30-October 2, 2002 : proceedings
Author
ISC (Conference : Information security) (5th : 2002 : São Paulo, Brazil)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2433 (LC)
Format
Books
65.
Integrated circuit design : power and timing modeling, optimization and simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings
Author
PATMOS 2002 (2002 : Seville, Spain)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2451 (LC)
Format
Books
66.
Human computer interaction with mobile devices : 4th international symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002 : proceedings
Author
Mobile HCI 2002 (2002 : Pisa, Italy)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2411 (LC)
Format
Books
67.
Human computer interaction with mobile devices : 4th international symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002 : proceedings
Author
Mobile HCI 2002 (2002 : Pisa, Italy)
Published
Berlin ; New York : Springer, 2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
68.
Recent advances in parallel virtual machine and message passing interface : 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29-October 2, 2002 : proceedings
Author
European PVM/MPI Users' Group Meeting (9th : 2002 : Linz, Austria)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2474 (LC)
Format
Books
69.
Component deployment
Author
Bishop, Judith
Published
New York, N.Y. : Springer, 2002
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2370 (LC)
Format
Books
70.
A concurrent PASCAL compiler for minicomputers
Author
Hartmann, Alfred C., 1948-
Published
Berlin ; New York : Springer-Verlag, 1977.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 50 (LC)
Format
Books
71.
Proceedings of the ... International Conference on Information and Knowledge Management
Author
International Conference on Information and Knowledge Management
Published
Berlin ; New York : Springer-Verlag, c1993-
Location
Library Shelving Facility (LSF) >> QA76.9 D3 I5584 (LC)+ Oversize
Format
Journals & Newspapers
72.
PASCAL: user manual and report
Author
Jensen, Kathleen, 1949-
Published
Berlin, New York, Springer-Verlag, c1974.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 18 (LC)
Format
Books
73.
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
Published
Berlin ; New York : Springer-Verlag, 1979.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 73 (LC)
Format
Books
74.
DCE-- the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings
Author
International DCE Workshop (1993 : Karlsruhe, Germany)
Published
Berlin ; New York : Springer-Verlag, 1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 731 (LC)
Format
Books
75.
ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976
Author
European Cooperation in Informatics (Organization)
Published
Berlin : New York : Springer-Verlag, c1976.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 44 (LC)
Format
Books
76.
Transactions on Computational Systems Biology IX
Author
Istrail, Sorin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Transactions on Computational Systems Biology IX
Author
Istrail, Sorin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
78.
Knowledge and information visualization : searching for synergies
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3426 (LC)
Format
Books
79.
Universal access in health telematics : a design code of practice
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3041 (LC)
Format
Books
80.
Application and theory of Petri nets 1996 : 17th International Conference, Osaka, Japan, June 1996 Proceedings
Published
Berlin ; New York : Springer-Verlag, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1091 (LC)
Format
Books
81.
Journal on data semantics V
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3870 (LC)
Format
Books
82.
Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 proceedings
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 700 (LC)
Format
Books
83.
Universal access in health telematics : a design code of practice
Published
Berlin : Springer, c2005.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
84.
Parallel problem solving from nature-- PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994 : proceedings
Author
International Conference on Evolutionary Computation (1994 : Jerusalem)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 866 (LC)
Format
Books
85.
Operating systems; proceedings of an international symposium held at Rocquencourt, April 23-25, 1974
Author
International Symposium on Operating Systems (1974 : Rocquencourt, Yvelines, France)
Published
Berlin, New York, Springer-Verlag, c1974.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 16 (LC)
Format
Books
86.
Software engineering for multi-agent systems IV : research issues and practical applications
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3914 (LC)
Format
Books
87.
Autonomic communication : first international IFIP workshop, WAC 2004, Berlin, Germany, October 18-19, 2004 : revised selected papers
Published
Berlin : Springer, 2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3457 (LC)
Format
Books
88.
Journal on data semantics II
Published
Berlin ; New York Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3360 (LC)
Format
Books
89.
Metainformatics : international symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004 : revised selected papers
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3511 (LC)
Format
Books
90.
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Author
Chakraborty, Supratik
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
91.
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Author
Gilbert, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Algorithm theory--SWAT '96 : 5th Scandinavian Workshop on Algorithm theory, Reykjavik, Iceland, July 1996, proceedings
Author
Scandinavian Workshop on Algorithm Theory (5th : 1996 : Reykjavik, Iceland)
Published
New York : Springer-Verlag, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1097 (LC)
Format
Books
93.
Graph-theoretic concepts in computer science : 21st International workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings
Author
International Workshop WG (21st : 1995 : Aschen, Germany)
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1017 (LC)
Format
Books
94.
Advances in Petri Nets, 1992
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 609 (LC)
Format
Books
95.
Fundamental algorithms for permutation groups
Author
Butler, G. (Gregory), 1953-
Published
Berlin ; New York : Springer-Verlag, 1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 559 (LC)
Format
Books
96.
Algebraic semantics
Author
Guessarian, Irène, 1948-
Published
Berlin ; New York : Springer-Verlag, 1981.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 99 (LC)
Format
Books
97.
Autonomic communication : second international IFIP workshop, WAC 2005, Athens, Greece, October 2-5, 2005 : revised selected papers
Published
Berlin : Springer, 2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3854 (LC)
Format
Books
98.
Efficient approximation and online algorithms : recent progress on classical combinatorial optimization problems and new applications
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3484 (LC)
Format
Books
99.
Embedded and Ubiquitous Computing : International Conference EUC 2006, Seoul, Korea, August 1-4, 2006 : proceedings
Author
EUC 2006 (2006 : Seoul, Korea)
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 4096 (LC)
Format
Books
100.
Transactions on aspect-oriented software development I
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3880 (LC)
Format
Books