Clear Search

Books+ Search Results

Subject: "Computer science"
Subject: Is
Is Is Not
Computational complexity

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (694)
1.
Sets, Logic and Maths for Computing
Author
Makinson, David
Published
London : Springer-Verlag London, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Nonsymmetric Operads in Combinatorics
Author
Giraudo, Samuele
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Optimization Approaches for Solving String Selection Problems
Author
Pappalardo, Elisa
Published
New York, NY : Springer New York : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Computation, Cooperation, and Life Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
Author
Kelemen, Jozef, 1951-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Codes, Designs and Geometry
Author
Tonchev, Vladimir
Published
Boston, MA : Springer US, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-1423-3
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Foundation Discrete Mathematics for Computing
Author
Booth, Dexter J.
Published
Boston, MA : Springer US : Imprint: Springer, 1995.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Lattice-Ordered Groups An Introduction
Author
Anderson, Marlow
Published
Dordrecht : Springer Netherlands, 1988.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-2871-8
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Orthomodular Lattices Algebraic Approach
Author
Beran, Ladislav
Published
Dordrecht : Springer Netherlands, 1985.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-5215-7
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Ten Applications of Graph Theory
Author
Walther, Hansjoachim
Published
Dordrecht : Springer Netherlands, 1983.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-7154-7
Location
Yale Internet Resource >> None
Format
Books / Online
10.
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics
Author
Simovici, Dan A.
Published
London : Springer London : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Author
Oberguggenberger, Michael
Published
London : Springer-Verlag London Limited, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
Author
Goldreich, Oded
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics
Author
Simovici, Dan A.
Published
London : Springer-Verlag London Limited, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Unconventional Models of Computation, UMC’2K Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC’2K)
Author
Antoniou, I.
Published
London : Springer London : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-0313-4
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Sets, Logic and Maths for Computing
Author
Makinson, David
Published
London : Springer London, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author
Mazzola, G. (Guerino)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Author
Mazzola, G. (Guerino)
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Randomness and completeness in computational complexity
Author
Melkebeek, Dieter van
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1950 (LC)
Format
Books
22.
Designs and Finite Geometries
Author
Jungnickel, Dieter
Published
Boston, MA : Springer US, 1996.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-1395-3
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Ordered Sets Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981
Author
Rival, Ivan
Published
Dordrecht : Springer Netherlands, 1982.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-7798-3
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings
Author
Backes, Michael, 1978-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Trends and Challenges in Cognitive Modeling An Interdisciplinary Approach Towards Thinking, Memory, and Decision-Making Simulations
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Handbook on Modelling for Discrete Optimization
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Pairwise independence and derandomization
Author
Luby, Michael George
Published
Hanover, Mass. : Now Publishers, c2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
The Data Handbook A Guide to Understanding the Organization and Visualization of Technical Data
Author
Fortner, Brand
Published
New York, NY : Springer New York : Imprint: Springer, 1995.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Circuit complexity and neural networks
Author
Parberry, Ian
Published
Cambridge, Mass. : MIT Press, ©1994.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Identity-Based Encryption
Author
Chatterjee, Sanjit
Published
Boston, MA : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
Advances in Cryptology - ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings
Author
Matsui, Mitsuru
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
33.
Advances in Cryptology - CRYPTO 2009 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings
Author
Halevi, Shai
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
34.
Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
Author
Shacham, Hovav
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
35.
Learning functional programming managing code complexity by thinking functionally
Author
Widman, Jack
Published
[S.l.] : O'REILLY MEDIA, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
Generalizations of Fuzzy Information Measures
Author
Ohlan, Anshu
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Mathematical Morphology and Its Applications to Signal and Image Processing 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I
Author
Dodis, Yevgeniy
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II
Author
Dodis, Yevgeniy
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Advances in Cryptology – CRYPTO 2014 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I
Author
Garay, Juan A.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Advances in Cryptology – CRYPTO 2014 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II
Author
Garay, Juan A.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Author
Croitoru, Madalina
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
Author
Kratsch, D. (Dieter)
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Progress in Cryptology -- INDOCRYPT 2014 15th International Conference on Cryptology in India, New Delhi, India, December 14-17, 2014, Proceedings
Author
Meier, Willi
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Regulated Grammars and Automata
Author
Meduna, Alexander
Published
New York, NY : Springer New York : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Semantics of Probabilistic Processes An Operational Approach
Author
Deng, Yuxin
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings
Author
Lindell, Yehuda
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Author
Canetti, Ran
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Author
Canetti, Ran
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Author
Johansson, Thomas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Author
Stam, Martijn
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Author
Gąsieniec, Leszek
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
55.
Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
Author
Yust, Jason
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Author
Prouff, Emmanuel
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Cryptographic Hardware and Embedded Systems - CHES 2011 13th International Workshop, Nara, Japan, September 28 - October 1, 2011. Proceedings
Author
Preneel, Bart
Published
Berlin, Heidelberg : International Association for Cryptologic Research, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Author
Mangard, Stefan
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
Cryptography and Coding 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings
Author
Chen, Liqun
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
Author
Bouchou-Markhoff, Béatrice
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
Author
Murlak, Filip
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
Author
Kaplan, Haim
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author
Hliněný, Petr
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Digital Watermarking 7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008. Selected Papers
Author
Kim, Hyoung-Joong
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
66.
Algorithms in Bioinformatics 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Computational science and its applications : ICCSA 2006, international conference, Glasgow, UK, May 8-11, 2006 : proceedings
Author
ICCSA 2006 (2006 : Glasgow, Scotland)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3984 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3982 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3983 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3980 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3981 (LC)
Format
Books
68.
Computational science - ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings
Author
ICCS 2006 (2006 : Reading, England)
Published
Berlin ; New York : Springer, 2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3991 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3993 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3992 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3994 (LC)
Format
Books
69.
Computational science - ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings
Author
ICCS 2006 (2006 : Reading, England)
Published
Berlin ; New York : Springer, 2006.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
70.
Discrete Mathematics Using a Computer
Author
O’Donnell, John
Published
London : Springer London, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Mathematical Approaches to Software Quality
Author
O'Regan, Gerard
Published
London : Springer London, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Computational science and its applications : ICCSA 2005 : international conference, Singapore, May 9-12, 2005 ; proceedings
Author
ICCSA 2005 (2005 : Singapore)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3480 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3481 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3483 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3482 (LC)
Format
Books
75.
Computational science -- ICCS 2005 : 5th international conference, Atlanta, GA, USA, May 22-25, 2005 : proceedings
Author
ICCS 2005 (2005 : Atlanta, Ga.)
Published
Berlin ; New York : Springer, 2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3516 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3514 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3515 (LC)
Format
Books
76.
Computational science -- ICCS 2005 : 5th international conference, Atlanta, GA, USA, May 22-25, 2005 : proceedings
Author
ICCS 2005 (2005 : Atlanta, Ga.)
Published
Berlin ; New York : Springer, 2005.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
77.
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
Published
New York, NY : Springer New York, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Validated Designs for Object-oriented Systems
Author
Fitzgerald, John, 1965-
Published
London : Springer London, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Computational science and its applications : ICCSA 2004, international conference, Assisi, Italy, May 14-17, 2004 : proceedings
Author
ICCSA 2004 (2004 : Assisi, Italy)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3043-3046 (LC)
Format
Books
81.
Computational science-- ICCS 2004 : 4th international conference, Kraków, Poland, June 6-9, 2004 : proceedings
Author
ICCS 2004 (2004 : Kraków, Poland)
Published
Berlin ; Hong Kong : Springer-Verlag, c2004.
Online
http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=3037
http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=3038
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3036-3039 (LC)
Format
Books
82.
Computational science-- ICCS 2004 : 4th international conference, Kraków, Poland, June 6-9, 2004 : proceedings
Author
ICCS 2004 (2004 : Kraków, Poland)
Published
Berlin ; Hong Kong : Springer-Verlag, c2004.
Online
Online book (login required)
Online book (login required)
Location
Internet Archive >> None
Format
Books
83.
Computational science and its applications : ICCSA 2003, international conference, Montreal, Canada, May 18-21, 2003 : proceedings
Author
ICCSA 2003 (2003 ; : Montréal, Québec)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2667-2669 (LC)
Format
Books
84.
Computational science and its applications : ICCSA 2003, international conference, Montreal, Canada, May 18-21, 2003 : proceedings
Author
ICCSA 2003 (2003 ; : Montréal, Québec)
Published
Berlin ; New York : Springer, 2003.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
85.
Computational science--ICCS 2003 : international conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings
Author
ICCS 2003 (2003 : Melbourne, Vic., and Saint Petersburg, Russia)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2657-2660 (LC)
Format
Books
86.
Computational science--ICCS 2003 : international conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003 : proceedings
Author
ICCS 2003 (2003 : Melbourne, Vic., and Saint Petersburg, Russia)
Published
Berlin ; New York : Springer, c2003.
Online
Online book (login required)
Online book (login required)
Location
Internet Archive >> None
Format
Books
87.
Complexity of Lattice Problems A Cryptographic Perspective
Author
Micciancio, Daniele
Published
Boston, MA : Springer US : Imprint: Springer, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0897-7
Location
Yale Internet Resource >> None
Format
Books / Online
88.
The Complexity Theory Companion
Author
Hemaspaandra, Lane A.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
Computational science-ICCS 2002 : international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings
Author
ICCS 2002 (2002 : Amsterdam, Netherlands)
Published
Berlin ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2331 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 2329(LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 2330 (LC)
Format
Books
90.
Computational science-ICCS 2002 : international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings
Author
ICCS 2002 (2002 : Amsterdam, Netherlands)
Published
Berlin ; New York : Springer, c2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
91.
Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings
Author
ICCS 2001 (San Francisco, Calif.)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2073 (LC)
Format
Books
92.
Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings
Author
ICCS 2001 (San Francisco, Calif.)
Published
Berlin ; New York : Springer, c2001.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
93.
Algorithms and theory of computation handbook
Published
Boca Raton : CRC Press, c1999.
Location
SML, Stacks, LC Classification >> QA76.9 A43 A43X 1999 (LC)
Format
Books
94.
Artificial worlds : computers, complexity, and the riddle of life
Author
Morris, Richard, 1939-
Published
New York : Plenum Trade, c1999.
Location
Library Shelving Facility (LSF) >> QA76 1999
Format
Books
95.
Artificial worlds : computers, complexity, and the riddle of life
Author
Morris, Richard, 1939-
Published
New York : Plenum Trade, c1999.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
96.
Bounded Queries in Recursion Theory
Author
Gasarch, William I.
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4612-0635-4
Location
Yale Internet Resource >> None
Format
Books / Online
97.
Dealing with complexity : a neural network approach
Published
London ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76.87 D468X 1998 (LC)
Format
Books
98.
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use
Author
Jensen, Kurt
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
One-Factorizations
Author
Wallis, W. D.
Published
Boston, MA : Springer US : Imprint: Springer, 1997.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use
Author
Jensen, Kurt
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online