Lista książek zagranicznych będących w posiadaniu pracowników Katedry

(stan z 31.12.2013):

NR

AUTOR

TYTUŁ

WYDAWCA

ROK

POSIADACZ

1.

...

Raster Graphics Handbook

N. Reinhold

1984

Choreń

2.

Cooper D., Clancy M.

Oh! Pascal!

P. Norton

1985

Choreń

3.

Motwani, Raghavan

Randomized Algorithms

Cambridge University

1995

Kubale

4.

Bharadwaj, Ghose, Mani, Robertazzi.

Scheduling Divisible Loads in Parallel and Distributed Systems

IEEE Computer Soc.

1996

Kubale

5.

Sedgwick, Flajolet

An Introduction to the Analysis of Algorithms

Addison Wesley

1996

Kubale

6.

Borodin, El-Yaniv

Online Computation and Competitive Analysis

Cambridge University

1998

Kubale

7.

Fiat, Woeginger

Online Algorithms, LNCS 1442

Springer Verlag

1998

Kubale

8.

Kfoury A.J., Moll R.N., Arbib M.A.

A Programming Approach to Computability

Springer-Verlag

1982

Kubale

9.

Papadimitriou C.H., Steiglitz K.

Combinatorial Optimization Algorithms and Complexity

Prentice-Hall

1982

Kubale

10.

Zorkoczy P.

Information Technology. An Introduction

N. Reinhold

1982

Kubale

11.

Garey M.R., Johnson D.S.

Computers and Intractability. A Guide to the Theory of NP-Completeness

Freeman

1983

Kubale

12.

Sysło M.M., Deo N., Kowalik J.S.

Discrete Optimization Algorithms with Pascal Programs

Prentice-Hall

1983

Kubale

13.

Pizzarello A.

Development and Maintenance of Large Software Systems

Wadsworth

1984

Kubale

14.

Roberts F.

Applied Combinatorics

Prentice-Hall

1984

Kubale

15.

Hofri M.

Probabilistic Analysis of Algorithms

Springer-Verlag

1987

Kubale

16.

Knuth D.E.

The TEXbook

Addison-Wesley

1987

Kubale

17.

Soulie F.F., Tchuente Y.R., Tchuente M.

Automata Networks in Computer Science. Theory and Applications

Princeton University

1987

Kubale

18.

Balcazar J.L., Diaz J., Gabarro J.

Structural Complexity I

Springer-Verlag

1988

Kubale

19.

Sedgwick R.

Algorithms

Addison-Wesley

1988

Kubale

20.

Akl. S.G.

The Design and Analysis of Parallel Algorithms

Prentice-Hall

1989

Kubale

21.

Fisk S.

Coloring Theories

American Math. Soc.

1989

Kubale

22.

Smith J.D.

Design and Analysis of Algorithms

PWK-KENT Publ.

1989

Kubale

23.

Wilson R.J.

Introduction to Graph Theory

Longman

1989

Kubale

24.

Balcazar J.L., Diaz J., Gabarro J.

Structural Complexity II

Springer-Verlag

1990

Kubale

25.

Graham R.L., Knuth D.E., Patashnik O.

Concrete Mathematics. A Foundation for Computer Science

Addison-Wesley

1990

Kubale

26.

Leeuwen van J. (red)

Algorithms and Complexity

Elsevier Sci. Publ.

1990

Kubale

27.

Mostow G.D.

World Directory of Mathematicians 1990

Int. Math Union

1990

Kubale

28.

Wilson R.J., Watkins J.J.

Graphs. An Introductory Approach

J. Wiley & Sons

1990

Kubale

29.

Baase S.

Computer Algorithms. Introduction to Design and Analysis

Addison-Wesley

1991

Kubale

30.

Kent A., Williams J.G. (red)

Encyclopedia of Microcomputers. Vol. 8

M. Dekker

1991

Kubale

31.

Moret B.M.E., Shapiro H.D.

Algorithms from P to NP

Benjamin & Cummings

1991

Kubale

32.

Coffman E.G., Lenstra J.K., Rinnooy A.H.G.

Handbooks in Op. Research and Management Science Vol. 3 Computing

North-Holland

1992

Kubale

33.

McGeoch L., Sleator D.

On-line Algorithms

American Math. Soc.

1992

Kubale

34.

Rawlins G.J.E.

Compared to What?

Computer Science Press

1992

Kubale

35.

Błażewicz J., Ecker., Schmidt G., Węglarz J.

Scheduling in Computer and Manufacturing Systems

Springer-Verlag

1993

Kubale

36.

Chartrand G., Oellermann O.R.

Applied and Algorithmic Graph Theory

McGraw-Hill

1993

Kubale

37.

Cormen T., Leiserson Ch., Rivest R.

Introduction to Algorithms

MIT Press

1993

Kubale

38.

Hindley J.R., Seldin J.P.

Introduction to Combinatorics and l-Calculus

Cambridge University

1993

Kubale

39.

Luo Z.

Computation and Reasoning. A Type Theory for Computer Science

Oxford Science Publ.

1994

Kubale

40.

Szepietowski A.

Turing Machines with Sublogarithmic Space. LNCS 843

Springer-Verlag

1994

Kubale

41.

Cook W., Lová sz L., Seymour P.

Combinatorial Optimization Algorithms and Complexity

American Math. Soc.

1995

Kubale

42.

Jensen T.R., Toft B.

Graph Coloring Problems

J. Wiley & Sons

1995

Kubale

43.

Tammasia R., Tollis I. (red)

Graph Drawing. LNCS 894

Springer-Verlag

1995

Kubale

44.

Brassard G., Bratley P.

Fundamentals of Algorithmics

Prentice-Hall

1996

Kubale

45.

Burke E., Ross P. (red)

Practice and Theory of Automated Timetabling. LNCS 1153

Springer-Verlag

1996

Kubale

46.

Johnson D.S., Trick M. (red)

Cliques, Coloring and Satisfiability

American Math. Soc.

1996

Kubale

47.

Mikló s D., Só s V.T., Szonyi T. (red)

Combinatorics, Paul Erdö s is Eighty. Vol. 2

Bolyai Soc.

1996

Kubale

48.

Bailey R.A. (red)

Surveys in Combinatorics

Cambridge University

1997

Kubale

49.

Gardner M.

The Last Recreations

Springer-Verlag

1997

Kubale

50.

Asratian, Denley, Haggkvist

Bipartite Graphs & their Applications

Cambridge University

1998

Kubale

51.

Burke, Carter

Practice and Theory of Automated Timetabling II, LNCS 1408

Springer-Verlag

1998

Kubale

52.

Read, Wilson

An Atlas of Graphs

Oxford Science Publ.

1998

Kubale

53.

Aiger, Zeigler

Proofs from the Book

Springer-Verlag

1999

Kubale

54.

Brandstadt, Le, Sprinrad

Graph Classes – A Survey

SIAM Monographs

1999

Kubale

55.

Weinberg G.M., Geller D.P.

Computer Information Systems

Little & Brown

1985

Mucek

56.

Flores I.

The Professional Microcomputer Handbook

N. Reinhold

1986

Mucek

57.

Philipsen G.

Implementing CASE Technology

Computer Tech. Reseach

1990

Mucek

58.

Graham R.L., Rothschild B.L., Spencer J.H.

Ramsey Theory

J. Wiley & Sons

1990

Piwakowski

59.

Nesetril J., Rodl V. (red)

Mathematics of Ramsey Theory

Springer-Verlag

1990

Piwakowski

60.

Mattson Jr. H.F.

Discrete Mathematics with Applications

J. Wiley & Sons

1993

Piwakowski

61.

Sudkamp T.A.

Languages and Machines

Addison-Wesley

1994

Piwakowski

62.

Graham R.L., Grotschel, Lová sz L.

Handbook of Combinatorics

Elsevier Sci. Publ.

1995

Piwakowski

63.

Stinson D.R.

Cryptography. Theory & Practice

CRC Press

1995

Piwakowski

64.

Hein J.L.

Theory of Computation

Jones & Barlet Publ.

1996

Piwakowski

65.

Menzes, Oorshot van, Vanstone.

Handbooks of Applied Cryptography

CRC Press

1996

Piwakowski

66.

Neopolitan R., Naimipour K.

Foundations of Algorithms

D.C. Heath & Co.

1996

Piwakowski

67.

Goodman J.E., O'Rourke J. (red)

Handbook of Discrete & Computational Geometry

CRC Press

1997

Piwakowski

68.

Banahan M., Ratter A.

UNIX. The Book

Sigma Press

1982

Porębski

69.

Fairley R.

Software Engineering Concepts

McGraw-Hill

1985

Porębski

70.

Shoup T.F.

Applied Numerical Methods for the Microcomputers

Prentice-Hall

1985

Porębski

71.

Dillinger T.E.

VLSI Engineering

Prentice-Hall

1988

Porębski

72.

Bakker de J.W., Roever de W.P. (red)

Foundations of Object-Oriented Languages. LNCS 489

Springer-Verlag

1991

Porębski

73.

Cameron D., Lindgren B.

Directions in PC Software

Computer Tech. Research

1991

Porębski

74.

Graham N.

Learning C++

McGraw-Hill

1991

Porębski

75.

Voss G.

Object-Oriented Programming. An Introduction

Osborne McGraw Hill

1991

Porębski

76.

Madsen O.L. (red)

Proc. 1992 European Conf. on Object-Oriented Programming. LNCS 615

Springer-Verlag

1992

Porębski

77.

Varhol P.D.

Object-Oriented Programming

Computer Tech. Reseach

1992

Porębski

78.

Henderson P.

Object-Oriented Specification and Design with C++

McGraw-Hill

1993

Porębski

79.

Tucker, Bernat, Bradley, Cupper, Scragg

Fundam. of Comp. I. Logic, Problem Solving, Programs and Computers

McGraw-Hill

1993

Porębski

80.

Tucker, Bradley, Cupper, Epstein

Fundam. of Comp. II. Abstraction, Data Structures and Large Software

McGraw-Hill

1993

Porębski

81.

Waldo J.

The Evolution of C++

MIT Press

1993

Porębski

82.

Barton J., Nackman L.

Scientific and Engineering C++

Addison-Wesley

1994

Porębski

83.

Gray N.A.B.

Programming with Class. A Practical Introduction to Object-Oriented Pro

J. Wiley & Sons

1994

Porębski

84.

Stevens A.

C++ Database Development. 2nd Edition

MIT Press

1994

Porębski

85.

Stroustrup B.S.

The Design and Evolution of C++

Addison-Wesley

1994

Porębski

86.

Alger J.

C++ Secrets of the Masters

Academic Press

1995

Porębski

87.

Goldberg A., Rubin K.

Decision Frameworks for Project Management

Addison-Wesley

1995

Porębski

88.

Gramma, Helm, Johnson, Vlissides

Design Patterns. Elements of Reusable Object-Oriented Software

Addison-Wesley

1995

Porębski

89.

Horstmann C.

Mastering Object-Oriented Design with C++

J. Wiley & Sons

1995

Porębski

90.

Schildt H.

C++. The Compete Reference. 2nd Edition

Osborne McGraw Hill

1995

Porębski

91.

Schmidt D., Coplien J. (red)

Pattern Languages of Program Design

Addison-Wesley

1995

Porębski

92.

Jones R., Lins R.

Garbage Collection. Algorithms for Automatic Dynamic Memory Mgment

J. Wiley & Sons

1996

Porębski

93.

Lippman S.

Inside the C++ Object Module

Addison-Wesley

1996

Porębski

94.

Meyers S.

More Effective C++. 35 New Ways to Improve Your Programs and Desig

Addison-Wesley

1996

Porębski

95.

Meyer B.

Object-Oriented Software Construction. 2nd Edition

Prentice-Hall

1997

Porębski

96.

Burke, Carter

Practice and Theory of Automated Timetabling I, LNCS

Springer-Verlag

1998

Szyfelbein

97.

Gruska, J.

Quantum Computing

McGraw Hill

1999

Giaro

98.

Holton D.A.,
Sheehan J.

The Petersen Graph

Cambridge University Press

1993

Kubale

99.

Skiena S.S.

The Algorithm. Design Manual.

Springer

1998

Kubale

100.

Burke E., Erben W.

Practice and Theory of Automated Timetabling III

Springer

2001

Kubale

101.

Lenz M., Bartsch-Spoerl B., Burkhard H-D., Wess S.

Case-Based Reasoning Technology

Springer

1998

Ratajczak

102.

Jackson P.

Introduction to Expert Systems

Addison-Weseley

1999

Ratajczak

103.

Greenlaw R., Hoover H.J., Ruzzo W.L.

Limits to Parallel Computation.
P-Completeness Theory

Oxford University Press

1995

Kubale

104.

Molloy M., Reed B.

Graph Colouring and the Probabilistic Method

Springer

2002

Kubale

105.

Vazirani V.V.

Approximation Algorithms

Springer

2002

Małafiejski

106.

Durbin R., Eddy S., Krogh A., Mitchison G.

Biological sequence analysis

Cambridge University Press

1998

Giaro

107.

Gusfield D.

Algorithms on strings, trees, and sequences

University of Cambridge

1997

Giaro

108.

Di Battista G., Eades P., Tamassia R.,
Tollis I.G.

Graph Drawing

PRENTICE HALL

1999

Kubale

109.

Harel D., Feldman Y.

Algorithmics. The Spirit of Computing

ADDISON-WESLEY

2004

Kubale

110.

Bollobás B.

Random Graphs. Second Edition.

Cambridge University Press

2006

Giaro

111.

Józefowska J.

Just-in-Time Scheduling. Models and Algorithms for Computer and Manufacturing Systems

Springer

2007

Kubale

112.

Bowman D. A., Kruijff E., LaViola Jr. J.J., Poupyrev I.

3D User Interfaces. Theory and Practice.

Addison-Wesley

2005

Dobrowolski

113.

Soifer A.

The Mathematical Coloring Book. Mathematics of Coloring and the Colorful Life of Its Creator.

Springer

2009

Kubale

114.

Gawiejnowicz St.

Time-Dependent Scheduling

Springer

2008

Kubale

115.

Kojcić M., Filipowić N., Stojanowić B, Kojcić N.

Komputer Modeling In Bioengineering

John Wiley & Sons, Ltd

2008

Dobrowolski

116.

Tel G.

Introduction to Distributed Algorithms. 2nd edition.

Cambridge
University Press

2000

Kuszner

117.

Dolev S.

Self-Stabilization.

The MIT Press

2000

Kuszner

118.

Xavier C., Iyengar S. S.,

Introduction to Parallel Algorithms

Willey

1998

Kuszner

119.

Burkard R., Dell’Amico M., Martello S.

Assignment Problems

SIAM

2009

Kubale

120.

Niedermeier R.

Invitation to Fixe-Parameter Algorithms

Oxford University Press

2008

Kubale

121.

Flum J., Grohe M.

Parameterized Complexity Theory

Springer

2006

Kubale

122.

Brucker P.

Scheduling Algorithms

Springer

2007

Obszarski

123.

Kubiak W.

Proportional Optimization and Fairness

Springer

2009

Kubale

124.

Santoro N.

Design and Analysis of Distributed Algorithms

Wiley-Interscience

2007

Kubale

125.

Gawiejnowicz S.

Time-Depend Scheduling

Springer

2008

Ocetkiewicz

126.

Sedgewick R., Wayne K.

Algorithms. Fourth Edition.

Addison-Wesley

2011

Kuszner