Clear Search

Books+ Search Results

Subject: "Computer science"
Subject (Era): Is Not
Is Not Is
Geschichte
Location: Is
Is Is Not
Marx Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1950 to 2023

1.
Computer science : reflections on the field, reflections from the field
Published
Washington, D.C. : The National Academies Press, c2004.
Online
View WWW Version
Location
Library Shelving Facility (LSF) >> QA76 .C54765X 2004 (LC)
Format
Books
2.
Theoretical computer science : introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography
Author
Hromkovič, Juraj, 1958-
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 H7635 2004 (LC)
Format
Books
3.
The most complex machine : a survey of computers and computing
Author
Eck, David J., 1953-
Published
Natick, Mass. : A K Peters, c2000.
Location
Library Shelving Facility (LSF) >> QA76 .E15 2000 (LC)
Format
Books
4.
Foundations of computer science : potential--theory--cognition
Published
Berlin ; New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1337 (LC)
Format
Books
5.
Computer science today : recent trends and developments
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1000 (LC)
Format
Books
6.
Handbook of theoretical computer science
Published
Amsterdam ; New York : Elsevier ; Cambridge, MA : MIT Press, c1990.
Location
Library Shelving Facility (LSF) >> QA76 H279 1990 (LC)
SML, Stacks, LC Classification >> QA76 H279 1990 (LC)
Format
Books
7.
Introductory theory of computer science
Author
Krishnamurthy, E. V.
Published
New York : Springer-Verlag, 1985, c1983.
Location
Library Shelving Facility (LSF) >> QA76 K728 1985 (LC)
Format
Books
8.
Introduction to computer science
Author
Perlis, Alan J.
Published
New York : Harper & Row, [1975]
Location
Library Shelving Facility (LSF) >> QA76.6 P46 (LC)
Format
Books
9.
Introduction to computer science; problems, algorithms, languages, information and computers
Author
Rice, John K.
Published
New York, Holt, Rinehart and Winston [1969]
Location
Library Shelving Facility (LSF) >> QA76.5 R52 (LC)
Library Shelving Facility (LSF) >> QA76.5 R52 1969
Format
Books
10.
Discrete mathematics demystified
Author
Krantz, Steven G. (Steven George), 1951-
Published
New York : McGraw-Hill, c2009.
Location
Library Shelving Facility (LSF) >> QA76.9.M35 K74X 2009 (LC)
Format
Books
11.
International Electronic Conference on Computer Science : 28 June-8 July 2007 and 30 November-10 December 2007
Author
International e-Conference on Computer Science (2007)
Published
Melville, N.Y. : American Institute of Physics, 2008.
Location
Library Shelving Facility (LSF) >> QC1 A48 1060 (LC) Oversize
Format
Books
12.
Discrete mathematics
Author
Aigner, Martin, 1942-
Published
Providence, R.I. : American Mathematical Society, 2007.
Location
MARX LIBRARY >> QA76.9.M35 A34 2007 (LC)
Library Shelving Facility (LSF) >> QA76.9 M35 A34X 2007 (LC)
Format
Books
13.
Comprehensive mathematics for computer scientists
Author
Mazzola, G. (Guerino)
Published
Berlin : Springer, c2006-
Location
Library Shelving Facility (LSF) >> QA76.9 M35 M398 2006 (LC)
Format
Books
14.
Computer science--theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 ; proceedings
Author
International Computer Science Symposium in Russia (1st : 2006 : St. Petersburg, Russia)
Published
Berlin : Springer-Verlag, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3967 (LC)
Format
Books
15.
STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 ; proceedings
Author
Symposium on Theoretical Aspects of Computer Science (23rd : 2006 : Marseilles, France)
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3884 (LC)
Format
Books
16.
Fundamentals of computation theory : 15th international symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005 : proceedings
Author
FCT 2005 (2005 : Lübeck, Germany)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3623 (LC)
Format
Books
17.
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
18.
STACS 2005 : 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24-26, 2005 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (22nd : 2005 : Stuttgart, Germany)
Published
Berlin ; New York Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3404 (LC)
Format
Books
19.
Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings
Author
ICTCS 2005 (2005 : Siena, Italy)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3701 (LC)
Format
Books
20.
Applied computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings
Author
Asian Applied Computing Conference (2nd : 2004 : Kathmandu, Nepal)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3285 (LC)
Format
Books
21.
Comprehensive mathematics for computer scientists
Author
Mazzola, G. (Guerino)
Published
Berlin ; New York : Springer, 2004-2005
Location
Library Shelving Facility (LSF) >> QA76.9 M35 M398 (LC)
Format
Books
22.
Metainformatics : international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 : revised papers
Author
MIS 2003 (2003 : Graz, Austria)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3002 (LC)
Format
Books
23.
STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany,March 25-27, 2004 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (21st : 2004 : Montpellier, France)
Published
Berlin ; New York : Springer-Verlag, c2004.
Location
Library Shelving Facility (LSF) >> QA76 .A1 L43 2996 (LC)
Format
Books / Microforms
24.
Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 2003 : proceedings
Author
FCT 2003 : (2003 : Malmö, Sweden)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2751 (LC)
Format
Books
25.
Learning UML
Author
Alhir, Sinan Si
Published
Sebastopol, Calif. : O'Reilly, 2003.
Location
Library Shelving Facility (LSF) >> QA76.758 A44 2003 (LC)
Format
Books
26.
Metainformatics : international symposium, MIS 2002, Esbjerg, Denmark, August 2002 : revised papers
Author
MIS 2002 (2002 : Esbjerg, Denmark)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2641 (LC)
Format
Books
27.
STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27-March 1, 2003 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (20th : 2003 : Berlin, Germany)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2607 (LC)
Format
Books
28.
Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings
Author
ICTCS 2003 (2003 : Bertinoro, Italy)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2841 (LC)
Format
Books
29.
Theory and applications of relational structures and knowledge instruments : COST Action 274, TARSKI : revised papers
Published
Berlin ; New York : Springer, c2003.
Online
Restricted to Springer LINK subscribers
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2929 (LC)
Format
Books
30.
STACS 2002 : 19th annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins, France, March 14-16, 2002 proceedings
Author
Symposium on Theoretical Aspects of Computer Science (19th : 2002 : Antibes-Juan les Pins, France)
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2285 (LC)
Format
Books
31.
Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Author
FCT 2001 : (2001 : Rīga, Latvia)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2138 (LC)
Format
Books
32.
STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (18th : 2001 : Dresden, Germany)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2010 (LC)
Format
Books
33.
Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
Author
ICTCS 2001. Conference (7th : 2001 : Turin, Italy)
Published
Berlin : London : New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2202 (LC)
Format
Books
34.
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Author
Asian Computing Science Conference (6th : 2000 : Penang, Malaysia)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1961 (LC)
Format
Books
35.
Mathematics and computer science : algorithms, trees, combinatorics, and probabilities
Published
Basel, Switzerland ; Boston : Birkhäuser, c2000.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 M3877 2000 (LC)
Format
Books
36.
STACS 2000 : 17th Annual Symposium on Theortical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (17th : 2000 : Lille, France)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1770 (LC)
Format
Books
37.
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.], (eds.)
Author
International Conference IFIP TCS 2000 (2000 : Sendai-shi, Miyagi-ken, Japan)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1872 (LC)
Format
Books
38.
Fundamentals of computation theory : 12th International Symposium, FCT'99, Iași, Romania, August 30-September 3, 1999 : porceedings
Author
FCT'99 (1999 : Iași, Romania)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1684 (LC)
Format
Books
39.
STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (16th : 1999 : Trier, Germany)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1563 (LC)
Format
Books
40.
The analytical engine : an introduction to computer science using the Internet
Author
Decker, Rick
Published
Boston : PWS Pub., c1998.
Location
Library Shelving Facility (LSF) >> QA76 D33344X 1998 (LC)
Format
Books
41.
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (15th : 1998 : Paris, France)
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1373 (LC)
Format
Books
42.
Fundamentals of computation theory : 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings
Author
FCT '97 (1997 : Kraków, Poland)
Published
Berlin ; New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1279 (LC)
Format
Books
43.
STACS 97 : 14th annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February/March 1997 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (14th : 1997 : Lübeck, Germany)
Published
Berlin ; New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1200 (LC)
Format
Books
44.
Computing tomorrow : future research directions in computer science
Published
Cambridge ; New York : Cambridge University Press, 1996.
Location
Library Shelving Facility (LSF) >> QA76.27 C69X 1996 (LC)
Format
Books
45.
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (13th : 1996 : Grenoble, France)
Published
Berlin ; New York : Springer, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1046 (LC)
Format
Books
46.
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (12th : 1995 : Munich, Germany)
Published
Berlin ; New York : Springer-Verlag, 1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 900 (LC)
Format
Books
47.
A Classical mind : essays in honour of C.A.R. Hoare
Published
New York : Prentice Hall, c1994.
Location
Library Shelving Facility (LSF) >> QA76 C536 1994 (LC)
Format
Books
48.
Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992
Published
Providence, RI : American Mathematical Society, 1994.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 C64X 1994 (LC)
Format
Books
49.
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 812 (LC)
Format
Books
50.
STACS 94 : 11th annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (11th : 1994 : Caen, France)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 775 (LC)
Format
Books
51.
Relations and graphs : discrete mathematics for computer scientists
Author
Schmidt, Gunther, 1939-
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 S3413X 1993 (LC)
Format
Books
52.
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings
Author
Symposium on Theoretical Aspects of Computer Science (10th : 1993 : Würzburg, Germany)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 665 (LC)
Format
Books
53.
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, proceedings
Author
Symposium on Theoretical Aspects of Computer Science (9th : 1992 : Cachan, France)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 577 (LC)
Format
Books
54.
Discrete mathematics : an introduction for software engineers
Author
Piff, Mike
Published
Cambridge ; New York : Cambridge University Press, 1991.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 P55X 1991 (LC)
Format
Books
55.
New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 555 (LC)
Format
Books
56.
Physics for computer science students : with emphasis on atomic and semiconductor physics
Author
Garcia, Narciso
Published
New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QC21.2 G32X 1991 (LC)
Format
Books
57.
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings
Author
Symposium on Theoretical Aspects of Computer Science (8th : 1991 : Hamburg, Germany)
Published
Berlin ; New York : Springer-Verlag, 1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 480 (LC)
Format
Books
58.
Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings
Author
International Meeting of Young Computer Scientists (6th : 1990 : Smolenice, Czechoslovakia)
Published
Berlin ; New York : Springer-Verlag, c1990.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 464 (LC)
Format
Books
59.
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings
Author
Symposium on Theoretical Aspects of Computer Science (7th : 1990 : Rouen, France)
Published
Berlin ; New York : Springer-Verlag, c1990.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 415 (LC)
Format
Books
60.
Discrete mathematics in the first two years
Published
[Washington, D.C.] : Mathematical Association of America, 1989.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 D57 1989 (LC)+ Oversize
Format
Books
61.
Mathematics for large scale computing
Published
New York : Marcel Dekker, c1989.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 M388 1989 (LC)
Format
Books
62.
Design and analysis of coalesced hashing
Author
Vitter, Jeffrey Scott, 1955-
Published
New York : Oxford University Press, 1987.
Location
Library Shelving Facility (LSF) >> QA76.9 H36 V57 1987 (LC)
Format
Books
63.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
Author
Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany)
Published
Berlin ; New York : Springer-Verlag, c1985.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 182 (LC)
Format
Books
64.
Computer mathematics
Author
Cooke, D. J. (Derek John), 1947-
Published
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1984.
Location
Library Shelving Facility (LSF) >> QA76.9 M35 C66 1984 (LC)
Format
Books
65.
STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984
Author
Symposium on Theoretical Aspects of Computer Science (1st : 1984 : Paris, France)
Published
Berlin ; New York : Springer-Verlag, c1984.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 166 (LC)
Format
Books
66.
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
Published
Berlin ; New York : Springer-Verlag, 1982.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 145 (LC)
Format
Books
67.
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981
Published
Berlin ; New York : Springer-Verlag, 1981.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 104 (LC)
Format
Books
68.
Guide to reference sources in the computer sciences
Author
Carter, Ciel Michèle
Published
New York, Macmillan Information [1974]
Location
Library Shelving Facility (LSF) >> QA76 C3617 (LC)+ Oversize
Format
Books
69.
Ėlementy vychislitelʹnoĭ matematiki
Author
Mikhelʹson, V. S. (Vladimir Solomonovich)
Published
Moskva : Vysshai︠a︡ shkola, 1966.
Location
Library Shelving Facility (LSF) >> NumCal M589e
Format
Books
70.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
Published
Berlin ; New York, NY : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3113 (LC)
Format
Books
71.
Decrypting the encryption debate : a framework for decision makers
Published
Washington, DC : the National Academies Press, [2018]
©2018
Location
MARX Library >> QA76.9.A25 D43 2018 (LC)
Format
Books
72.
Intelligent systems and automation : 1st Mediterranean Conference on Intelligent Systems and Automation (CISA '08), Annaba, Algeria, 30 June - 2 July 2008
Author
Mediterranean Conference on Intelligent Systems and Automation (1st : 2008 : Annaba, Algeria)
Published
Melville, N.Y. : American Institue of Physics, 2008.
Location
Library Shelving Facility (LSF) >> QC1 A48 1019 (LC) Oversize
Format
Books
73.
Data compression : the complete reference
Author
Salomon, D. (David), 1938-
Published
New York ; London : Springer, c2007.
Location
Library Shelving Facility (LSF) >> QA76.9 .D33 S25 2007 (LC)
Format
Books
74.
Handbook of neural engineering
Published
Hoboken, N.J. : Wiley ; Chichester : John Wiley [distributor], c2007.
Location
Library Shelving Facility (LSF) >> QA76.87 .H3623X 2007 (LC)
Format
Books
75.
Principles of artificial neural networks
Author
Graupe, Daniel
Published
Singapore ; Hackensack, N.J. : World Scientific, c2007.
Location
Library Shelving Facility (LSF) >> QA76.87 G73 2007 (LC)
Format
Books
76.
Variable-length codes for data compression
Author
Salomon, D. (David), 1938-
Published
London : Springer, c2007.
Location
Library Shelving Facility (LSF) >> QA76.9.D33 S29 2007 (LC)
Format
Books
77.
Differential evolution : in search of solutions
Author
Feoktistov, Vitaliy
Published
New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76.618 .F46 2006 (LC)
Format
Books
78.
Genetic systems programming : theory and experiences
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76.623 .G52 2006 (LC)
Format
Books
79.
Handbook of constraint programming
Published
Boston, MA : Elsevier, 2006.
Online
Publisher description
Location
Library Shelving Facility (LSF) >> QA76.612 .H35X 2006 (LC)
Format
Books
80.
Theoretical computer science : essays in memory of Shimon Even
Published
Berlin : Springer-Verlag, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3895 (LC)
Format
Books
81.
Genetic programming theory and practice II
Published
New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76.623 .G49X 2005 (LC)
Format
Books
82.
Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005 : proceedings
Author
Symposium on Mathematical Foundations of Computer Science (1972- ) (30th : 2005 : Gdańsk, Poland)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3618 (LC)
Format
Books
83.
Mathematics and physics for programmers
Author
Kodicek, Danny
Published
Hingham, Mass. : Charles River Media, c2005.
Online
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.9.M35 K59X 2005 (LC)
Format
Books
84.
Proceedings of the ... International Computing Education Research Workshop ICER
Author
International Computing Education Research Workshop
Published
New York, NY : Association for Computing Machinery, 2005-
Location
Library Shelving Facility (LSF) >> QA76.27 I59 CD (LC)
Format
Journals & Newspapers
85.
Socionics : scalability of complex social systems
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3413 (LC)
Format
Books
86.
UML modeling languages and applications : "UML" 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004 ; revised selected papers
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3297 (LC)
Format
Books
87.
Data compression
Author
Salomon, D. (David), 1938-
Published
New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76.9 D33 S25 2004 (LC)
Format
Books
88.
Generic model management concepts and algorithms
Author
Melnik, Sergey
Published
Berlin ; Hong Kong : Springer-Verlag, c2004.
Online
Restricted to Springer LINK subscribers
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2967 (LC)
Format
Books
89.
Mathematical foundations of computer science 2004 : 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings
Author
Symposium on Mathematical Foundations of Computer Science (1972- ) (29th : 2004 : Prague, Czech Republic)
Published
Berlin : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3153 (LC)
Format
Books
90.
Semirings for soft constraint solving and programming
Author
Bistarelli, Stefano, 1968-
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 .A1 L43 2962 (LC)
Format
Books
91.
Computer science in perspective : essays dedicated to Thomas Ottmann
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2598 (LC)
Format
Books
92.
Constraint processing
Author
Dechter, Rina, 1950-
Published
San Francisco : Morgan Kaufmann Publishers, c2003.
Online
Publisher description
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.612 D43X 2003 (LC)
Format
Books
93.
Discrete mathematics and its applications
Author
Rosen, Kenneth H.
Published
Boston : McGraw-Hill, c2003.
Online
Table of contents
Publisher description
Location
SML, Stacks, LC Classification >> QA39.3 R67X 2003 (LC)
Library Shelving Facility (LSF) >> QA39.3 R67X 2003 (LC)
Format
Books
94.
Generic programming : advanced lectures
Published
Berlin ; New York : Springer-Verlag, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2793 (LC)
Format
Books
95.
Genetic programming theory and practice
Published
Boston : Kluwer Academic, c2003.
Online
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.623 .G48X 2003 (LC)
Format
Books
96.
Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
Author
Symposium on Mathematical Foundations of Computer Science (1972- ) (28th : 2003 : Bratislava, Slovakia)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2747 (LC)
Format
Books
97.
Principles of constraint programming
Author
Apt, Krzysztof R., 1949-
Published
Cambridge ; New York : Cambridge University Press, 2003.
Online
Sample text
Publisher description
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.612 .A68X 2003 (LC)
Format
Books
98.
Regular expression pocket reference
Author
Torkington, Nathan
Published
Sebastopol, Calif. ; Farnham : O'Reilly, c2003.
Location
Library Shelving Facility (LSF) >> QA76.9 T48 S78 2003 (LC)
Format
Books
99.
Static and dynamic neural networks : from fundamentals to advanced theory
Author
Gupta, Madan M.
Published
New York : Wiley, 2003.
Online
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.87 G86 2003 (LC)
Format
Books
100.
Understanding formal methods
Author
Monin, Jean François, 1960-
Published
London ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.6 .M6513X 2003 (LC)
Format
Books