東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computer algorithms)
該当件数:143件
Exact exponential algorithms / Fedor V. Fomin, Dieter Kratsch
Heidelberg : Springer , c2010. - (Texts in theoretical computer science ; . An EATCS series)
図書
An introduction to the analysis of algorithms / Robert Sedgewick, Philippe Flajolet
Reading, Mass. : Addison-Wesley , c1996
Algorithm engineering and experimentation : International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers / Michael T. Goodrich, Catherine C. McGeoch (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1619)
The design and analysis of algorithms / Dexter C. Kozen
: us,: gw. - New York : Springer-Verlag , c1992. - (Texts and monographs in computer science)
Algorithmics : the spirit of computing / David Harel with the technical assistance of Roni Rosner on the exercises and solutions
2nd ed. - Reading, Mass. : Addison-Wesley , c1992
Flexible pattern matching in strings : practical on-line search algorithms for texts and biological sequences / Gonzalo Navarro, Mathieu Raffinot
Cambridge : Cambridge Univ. Pr. , c2002
Algorithms - ESA 2002 : 10th Annual European Symposium, Rome, Italy, September 17-21, 2002 : proceedings / Rolf Möhring, Rajeev Raman (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2461)
Algorithms - ESA 2000 : 8th Annual European Symposium, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Mike Paterson (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1879)
Algorithms - ESA 2001 : 9th Annual European Symposium, Århus, Denmark,August 28-31, 2001 : proceedings / Friedhelm Meyer auf der Heide (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2161)
Algorithm engineering and experimentation : Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 : revised papers / Adam L. Buchsbaum, Jack Snoeyink (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2153)
Generating all tuples and permutations / Donald E. Knuth
: pbk. - Upper Saddle River, N.J. ; Tokyo : Addison-Wesley , c2005. - (The art of computer programming ; v. 4, fasc. 2)
Algorithms--ESA '98 : 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings / Gianfranco Bilardi ... [et. al.], (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science. ISSN:0302-9743 ; 1461)
Introduction to computing and algorithms / Russell L. Shackelford
Reading, Mass. : Addison-Wesley , c1998
Algorithms in C / Robert Sedgewick
3rd ed. - Reading, Mass. : Addison-Wesley , c1998
Propostional logic : Deducation and Algorithms / Hans Kleine Büning, Theodor Lettman
New York : Cambridge University Press , 1999
On-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991 / Lyle A. McGeoch, Daniel D. Sleator, editors
Providence, R.I. : American Mathematical Society , c1992. - Baltimore, Md. : Association for Computing Machinery. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 7)
Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1136)
Algorithms - ESA '97 : 5th Annual European Symposium, Graz, Austria, September 15-17, 1997 : proceedings / Rainer Burkard, Gerhard Woeginger (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1284)
Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994 / Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors
[Providence, R.I.] : American Mathematical Society , c1994. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 18)
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 961 . Lecture notes in artificial intelligence)
Algorithms -- ESA '95 : Third Annual European Symposium, Corfu, Greece, September 1995 : proceedings / Paul Spirakis (ed.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 979)
Mathematical foundations of parallel computing / Valentin V. Voevodin
Singapore : World Scientific , c1992. - (World scientific series in computer science ; v. 33)
An introduction to systolic algorithm design / G.M. Megson
Oxford : Clarendon Press , 1992. - New York : Oxford University Press. - (Oxford science publications)
Algorithms -- ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 726)
Algorithms and computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25-27, 1994 : proceedings / Ding-Zhu Du, Xiang-Sun Zhang (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 834)
Algorithm design : foundations, analysis, and internet examples / Michael T. Goodrich [and] Roberto Tamassia
New York : J. Wiley , c2002
Bitwise tricks and techniques : binary decision diagrams / Donald E. Knuth
: pbk. - Upper Saddle River, N.J. : Addison-Wesley , c2009. - (The art of computer programming ; v. 4, fasc. 1)
The art of error correcting coding / Robert H. Morelos-Zaragoza
2nd ed. - Chichester : Wiley , c2006
Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna, (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1136)
Algorithms -- ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedings / Jan van Leeuwen (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 855)
Algorithms for memory hierarchies : advanced lectures / Ulrich Meyer, Peter Sanders, Jop Sibeyn (eds.)
Berlin : Springer , c2003. - Tokyo. - (Lecture notes in computer science ; 2625)
Data structures and algorithms in java / Michael T. Goodrich, Roberto Tamassia
New York : Wiley , c1998. - (Worldwide series in computer science)
Graph and model transformation : general framework and applications / Hartmut Ehrig ... [et al.]
Heidelberg : Springer , c2015. - (Monographs in theoretical computer science : an EATCS series)
Optimal interprocedural program optimization : a new framwork and its application / Jens Knoop
New York : Springer , c1998. - (Lecture notes in computer science ; 1428)
Data structures and algorithm analysis in C / Mark Allen Weiss
2nd ed. - Menlo Park, Calif. : Addison-Wesley , c1997
Data structures and algorithms in Java / Michael T. Goodrich, Roberto Tamassia
5th ed., international student version. - Hoboken, NJ : Wiley , c2011
Polynomial algorithms in computer algebra / F. Winkler
Wien : Springer-Verlag , c1996. - New York. - (Texts and monographs in symbolic computation)
Algorithms and programming : problems and solutions / Alexander Shen
Boston : Birkhäuser , 1996
Algorithms and data structures in C++ / Leendert Ammeraal
Chichester : Wiley , 1996. - New York
Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993 / David S. Johnson, Michael A. Trick, editors
Providence, RI : American Mathematical Society , c1996. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 26)
Time structures : formal description and algorithmic representation / Elżbieta Hajnicz
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1047 . Lecture notes in artificial intelligence)
Bounded incremental computation / G. Ramalingam
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1089)
Parsing schemata : a framework for specification and analysis of parsing algorithms / Klaas Sikkel
Berlin : Springer , c1997
An introduction to distributed algorithms / Valmir C. Barbosa
Cambridge, MA : MIT Press , 1996
Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1367)
Algorithms on strings, trees, and sequences : computer science and computational biology / Dan Gusfield
Cambridge [England] : Cambridge University Press , 1997. - New York
Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz
Berlin : Springer-Verlag , c1992. - New York. - (Artificial intelligence)
Design of hashing algorithms / Josef Pieprzyk, Babak Sadeghiyan
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 756)