Clear Search

Books+ Search Results

Subject: "Computer science"
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

251.
Genetic programming : 9th European conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings
Author
EuroGP 2006 (2006 : Budapest, Hungary)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3905 (LC)
Format
Books
252.
Interactive computation : the new paradigm
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76.9.I58 I52 2006 (LC)
Format
Books
253.
Neural nets : 16th Italian Workshop on Neural Nets, WIRN 2005 and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005 : revised selected papers
Author
Italian Workshop on Neural Nets (16th : 2005 : Vietri sul Mare, Italy)
Published
Berlin : Springer-Verlag, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3931 (LC)
Format
Books
254.
Quantum cryptography and secret-key distillation
Author
Assche, Gilles Van
Published
Cambridge : Cambridge University Press, 2006.
Location
MARX Library >> QA76.9 A25 A77 2006 (LC)
Format
Books
255.
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
Author
AFP 2004 (2004 : Tartu, Estonia)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3622 (LC)
Format
Books
256.
Advanced parallel processing technologies : 6th international workshop, APPT 2005, Hong Kong, China, October 27-28, 2005 : proceedings
Author
APPT 2005 (2005 : Hong Kong, China)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3756 (LC)
Format
Books
257.
Advances in visual computing : first international symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005 : proceedings
Author
International Symposium on Visual Computing (1st : 2005 : Stateline, Nev.)
Published
Berlin : Springer-Verlag, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3804 (LC)
Format
Books
258.
Artificial intelligence and simulation : 13th international conference on AI, simulation, and planning in high autonomy systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3397 (LC)
Format
Books
259.
A computational introduction to number theory and algebra
Author
Shoup, Victor
Published
Cambridge : Cambridge University Press, 2005.
Location
Library Shelving Facility (LSF) >> QA241 .V53 2005 (LC)
Format
Books
260.
Genetic programming : 8th European conference, EuroGP 2005 Lausanne, Switzerland, March 30-April 1, 2005 proceedings
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3447 (LC)
Format
Books
261.
Handbook of face recognition
Published
New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> TA1650 .H36X 2005 (LC)
Format
Books
262.
Integrated Formal Methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
Author
International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3771 (LC)
Format
Books
263.
Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3389 (LC)
Format
Books
264.
Self-stabilizing systems : 7th international symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings
Author
SSS 2005 (2005 : Barcelona, Spain)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3764 (LC)
Format
Books
265.
Shared memory parallel programming with OpenMP : 5th International Workshop on OpenMP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 : revised selected papers
Author
International Workshop on OpenMP Applications and Tools (2004 : Houston, Tex.)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3349 (LC)
Format
Books
266.
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Author
International Conference on Term Rewriting and Applications (16th : 2005 : Nara, Japan)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3467 (LC)
Format
Books
267.
Advances in natural language processing : 4th international conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004 : proceedings
Author
EsTAL 2004 (4th : 2004 : Alicante, Spain)
Published
Berlin ; New York : Springer-Verlag, c2004.
Online
http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=3230
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3230 (LC)
Format
Books
268.
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings
Author
International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (7th : 2004 : Cambridge, Mass.)
Published
Berlin : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3122 (LC)
Format
Books
269.
Genetic programming : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004 ; proceedings
Author
EuroGP 2004 (2004 : University of Coimbra)
Published
Berlin ; Hong Kong : Springer-Verlag, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3003 (LC)
Format
Books
270.
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings
Author
International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)
Published
Berlin ; Hong Kong : Springer-Verlag, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2999 (LC)
Format
Books
271.
Linear logic in computer science
Published
Cambridge : Cambridge University Press, 2004.
Location
Library Shelving Facility (LSF) >> QA9.54 L56 2004 (LC)
Format
Books
272.
Neural information processing : 11th international conference, ICONIP 2004, Calcutta, India, November 22-25, 2004 : proceedings
Author
International Conference on Neural Information Processing (11th : 2004 : Calcutta, India)
Published
Berlin : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3316 (LC)
Format
Books
273.
Principles and practice of constraint programming--CP 2004 : 10th international conference, CP 2004, Toronto, Canada, September 27-October 1, 2004 : proceedings
Author
CP 2004 (2004 : Toronto, Canada)
Published
Berlin : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3258 (LC)
Format
Books
274.
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures
Author
AFP 2002 (2002 : Oxford, England)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2638 (LC)
Format
Books
275.
Advanced parallel programming technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings
Author
APPT 2003 (2003 : Xiamen, Xiamen Shi, China)
Published
Berlin ; New York : Springer-Verlag, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2834 (LC)
Format
Books
276.
Artificial neural networks and neural information processing-ICANN/ICONIP 2003 : joint international conference ICANN/ICINIP 2003, Istanbul, Turkey, June 2003 : proceedings
Author
ICANN/ICONIP 2003 (2003 : Istanbul, Turkey)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2714 (LC)
Format
Books
277.
Component-level programming
Author
Maurer, Peter M.
Published
Upper Saddle River, NJ : Prentice Hall, 2003.
Location
Library Shelving Facility (LSF) >> QA76.64 M3855 2003 (LC)
Format
Books
278.
Genetic programming : 6th European conference, EuroGP 2003, Essex, UK, April 14-16, 2003 : proceedings
Author
EuroGP 2003 (2003 : Essex, England)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2610 (LC)
Format
Books
279.
Neural nets : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003 : proceedings
Author
Italian Workshop on Neural Nets (14th : 2003 : Vietri Sul Mare, Italy)
Published
Berlin ; New York : Springer-Verlag, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2859 (LC)
Format
Books
280.
OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003 : proceedings
Author
International Workshop on OpenMP Applications and Tools
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2716 (LC)
Format
Books
281.
Principles and practice of constraint programming-CP 2003 : 9th International Conference - CP 2003, Kinsale, Ireland, September /October 2003 : proceedings
Author
CP 2003 (2003 : Kinsale, Ireland)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2833 (LC)
Format
Books
282.
Self-stabilizing systems : 6th international symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003 : proceedings
Author
SSS 2003 (2003 : San Francisco, Calif.)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2704 (LC)
Format
Books
283.
Advances in natural language processing : third international conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002 : proceedings
Author
PorTAL 2002 (2002 : Faro, Portugal)
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2389 (LC)
Format
Books
284.
Approximation algorithms for combinatorial optimization : 5th international workshop, APPROX 2002, Rome, Italy, September 17-21, 2002 : proceedings
Author
International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (5th : 2002 : Rome, Italy)
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> L43 2462 (LC)
Format
Books
285.
Data structures, near neighbor searches, and methodology : fifth and sixth DIMACS implementation challenges : papers related to the DIMACS challenge on dictionaries and priority queues (1995-1996) and the DIMACS challenge on near neighbor searches (1998-1999)
Published
Providence, RI : American Mathematical Society, 2002.
Location
Library Shelving Facility (LSF) >> QA76.9 D35 D385 2002 (LC)
Format
Books
286.
Foundations of intelligent systems : 13th international symposium, ISMIS 2002, Lyon, France, June 27-29, 2002 : proceedings
Author
International Symposium on Methodologies for Intelligent Systems (13th : 2002 : Lyon, France)
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2366 (LC)
Format
Books
287.
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Author
International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2335 (LC)
Format
Books
288.
An introduction to object-oriented programming
Author
Budd, Timothy
Published
Boston : Addison-Wesley, c2002.
Location
Library Shelving Facility (LSF) >> QA76.64 B83X 2002 (LC)
Format
Books
289.
Modular specification and verification of object-oriented programs
Author
Müller, Peter
Published
Berlin : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2262 (LC)
Format
Books / Dissertations & Theses
290.
Number theory for computing
Author
Yan, Song Y.
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA241 .Y27X 2002 (LC)
Format
Books
291.
Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers
Author
RelMiCS 2001 (2001 : Oisterwijk, Netherlands)
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2561 (LC)
Format
Books
292.
Universal algebra and applications in theoretical computer science
Author
Denecke, Klaus
Published
Boca Raton : Chapman & Hall, c2002.
Location
Library Shelving Facility (LSF) >> QA251 D385 2002 (LC)
Format
Books
293.
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings
Author
International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (4th : 2001 : Berkeley, Calif.)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2129 (LC)
Format
Books
294.
Artificial neural networks--ICANN 2001 : international conference, Vienna, Austria, August 21-25, 2001 : proceedings
Author
International Conference on Artificial Neural Networks (European Neural Network Society) (2001 : Vienna, Austria)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2130 (LC)
Format
Books
295.
The art of objects : object-oriented design and architecture
Author
Lau, Yun-Tung
Published
Boston ; London : Addison-Wesley, 2001.
Location
Library Shelving Facility (LSF) >> QA76.9 O35 L39 2001 (LC)
Format
Books
296.
Discrete mathematics of neural networks : selected topics
Author
Anthony, Martin
Published
Philadelphia, PA : Society for Industrial and Applied Mathematics, 2001.
Location
Library Shelving Facility (LSF) >> QA76.87 A58X 2001 (LC)
Format
Books
297.
Genetic programming : 4th European conference, EuropGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings
Author
EuropGP 2001 (2001 Como, Lake, Italy)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2038 (LC)
Format
Books
298.
High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings
Author
International Workshop on High-Level Parallel Programming Models and Supportive Environments (6th : 2001 : San Francisco, Calif.)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2026 (LC)
Format
Books
299.
Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Author
EEF Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)
Published
Berlin ; New York : Springer, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2090 (LC)
Format
Books
300.
Object-oriented methods : principles & practice
Author
Graham, Ian, 1948-
Published
Harlow, England ; New York : Addison-Wesley, c2001.
Location
Library Shelving Facility (LSF) >> QA76.9 O35 G72 2001 (LC)
Format
Books