2008

Autor
Turner, J. Rick
Název
Nakladatelství
Introduction to analysis of variance :design, analysis, Sage Publications
& interpretation
Lawler, Gregory F., Introduction to stochastic processes
Chapman & Hall/CRC
Schilling, René L. Measures, integrals and martingales
Cambridge University
Press
Brusilovsky, Peter, The adaptive web :methods and strategies of web
Springer
personalization
Ruiz, Francisco,
Ontologies for software engineering and software
Springer
technology
Cimiano, Philipp
Ontology learning and population from text
Springer
:algorithms, evaluation and applications
Devedžić, Vladan Semantic Web and education
Springer
Dietz, Jan L. G.
Enterprise ontology :theory and methodology
Springer
Gašević, Dragan. Model driven architecture and ontology development Springer
Lloyd, John W.
Logic for learning :learning comprehensible theories Springer
from structured data
Oberle, Daniel
Semantic management of middleware
Springer
Antoniou, Grigoris, Reasoning web :third international summer school
Springer
2007, Dresden, Germany, September 3-7, 2007 :
tutorial lectures
Baker, Christopher Semantic web :revolutionizing knowledge discovery in Springer
J. O.
the life sciences
Breitman, K. K.
Semantic Web :concepts, technologies and
Springer
applications
Cardoso, Jorge,
The semantic web :real-world applications from
Springer
industry
Franconi, Enrico
The semantic web :research and applications : 4th
Springer
European semantic web conference, ESWC 2007,
Innsbruck, Austria, June 3-7, 2007 : proceedings
Mika, Peter,
Social networks and the semantic web
Springer
Studer, Rudi,
Semantic web services :concepts, technologies, and Springer
applications
Batini, Carlo
Data quality :concepts, methodologies and techniques Springer
Petcović, Milan
Security, privacy and trust in modern data
Springer
management
Segaran, Toby
Programming collective intelligence :building smart
O'Reilly
web 2.0 applications
Gelman, Andrew Teaching statistics :a bag of tricks
Oxford University
Press
Institute of
The fourth international conference on computational Institute of
Information
intelligence, robotics and autonomous systems,
Information Sciences
Sciences and
CIRAS 2007
and Technology
Technology,
Massey University
Katehakis, Michael Computational intelligence, man-machine systems
WSEAS Press
N.
and cybernetics, CIMMACS ´07 :proceedings of the
6th WSEAS international conference on computational
intelligence, man-machine systems and cybernetics,
Puerto de la Cruz, Tenerife, Canars Islands, Spain,
December 14-16, 2007
Revetria, Roberto System science and simulation in engineering,
WSEAS
ICOSSSE ´07 :proceedings of the 6th WSEAS
international conference on systems science and
simulation in engineering, Venice, Italy, November 2123, 2007
Bourbaki, Nicolas Elements of the history of mathematics
Springer
Gohberg, I.
Indefinite linear algebra and applications
Birkhäuser
Lang, Serge,
Linear algebra
Springer
Zeidler, Eberhard Quantum field theory I :basics in mathematics and
Springer
physics : a bridge between mathematicians and
physicists
Karris, Steven T. Introduction to Simulink with engineering applications Orchard Publications
Baldi, Pierre,
Bioinformatics :the machine learning approach
A Bradford Book
Baldi, Pierre
The shattered self :the end of natural evolution
MIT Press
Alonso, Gustavo, Web services :concepts, architectures and
Springer
applications
Kleijnen, Jack P. C. Design and analysis of simulation experiments (dase) Springer
Liu, Huan,
Computational methods of feature selection
Taylor & Francis,
Champan & Hall/CRC
Chomsky, Noam, Syntactic structures
Mouton de Gruyter
Rok
Signatura. Přír. č.
Cena
vydání
2001
C 2823
12498 2076.90
2006
2005
C 2824
C 2825
12499 1615.40
12500 1223.70
2007
C 2826
12501 2095.60
2006
C 2827
12502 2159.90
2006
C 2828
12503 2095.60
2006
2006
2006
2003
C 2829
C 2830
C 2831
C 2832
12504
12505
12506
12507
2006
2007
C 2833
C 2834
12508 1903.80
12509 1343.30
2007
C 2835
12510 2014.30
2007
C 2836
12511 1791.30
2007
C 2837
12512 2014.40
2007 C 2558/07
12513 2665.00
2007
2007
C 2838
C 2839
12514 2217.90
12515 2217.90
2006
2007
C 2840
C 2841
12516 1343.30
12517 2014.40
2007
C 2842
12518 924.60
2006
C 2843
12519 1308.40
2007
CD 20
12520
DAR
2007
A 870
12521
DAR
2007
A 871
12522
DAR
1994
2005
1987
2006
C 2844
C 2845
C 2846
C 2847
12523
12524
12525
12526
1526.20
1269.10
1121.00
2517.80
2006
2001
2002
2004
C 2848
C 1956a
C 2849
C 2850
12527
12528
12529
12530
1594.00
1418.20
393.60
1269.10
2008
2008
C 2851
C 2852
12531 1903.80
12532 1962.70
2002
C 2853
12533 480.20
2095.60
1691.30
1269.10
1586.00
Autor
Název
Rybakov, Vladimir Admissibility of logical inference rules
V.
Troelstra, A. S.
Lectures on linear logic
Marcja, Annalisa
A guide to classical and modern model theory
Sommaruga,
Giovanni
Halmos, Paul R.
Mac Lane,
Saunders,
Cox, David A.,
History and philosophy of constructive type theory
Algebraic logic
Categories for the working mathematician
Ideals, varieties, and algorithms :an introduction to
computational algebraic geometry and commutative
algebra
Perrin, Dominique Infinite words :automata, semigroups, logic and
games
Gabbay, Dov M., Goal-directed proof theory
Mossakowski, Till Algebra and coalgebra in computer science :second
international conference, CALCO 2007, Bergen,
Norway, August 20-24, 2007 : proceedings
Carnielli, Walter A. Paraconsistency :the logical way to the inconsistent :
proceedings of the world congress held in São Paulo
Calude, Cristian, Randomness and complexity, from Leibniz to Chaitin
Obdržálek, David MIS 2007 :13.-20. ledna 2007, Josefův Důl : sborník
semináře
Novák, Mirko
Neuroinformatic databases and mining of knowledge
of them
Jazwinski, Andrew Stochastic processes and filtering theory
H.
Pym, David J.
Reductive logic and proof-search :proof theory,
semantics, and control
Barvíková, Hana,
Blaheta, Radim,
Fulton, William,
Skiadas, Christos
H.
Skiadas, Christos
H.
Härtel, Handrij,
Hruška, Tomáš,
Berezin, I. S.
Berezin, I. S.
Vladimirov, V. S.
Kotz, Samuel,
Vorobjev, Ju. V.
Šaur, Vladimír,
Nakladatelství
Elsevier
Center for the Study
of Language and
Information
Kluwer Academic
Publishers
Kluwer Acadedmic
Publishers
Chelsea Pub. Co.
Springer
Rok
Signatura. Přír. č.
Cena
vydání
1997
C 2854
12534 3970.80
1992
C 2855
12535 546.20
2003
C 2856
12536 2879.20
2000
C 2857
12537 3818.10
1962
1978
C 2858
C 2859
12538 851.40
12539 1480.70
Springer
2006
C 2860
12540 1163.80
Elsevier
2004
C 2861
12541 2879.20
Kluwer Academic
Springer
2000
2007
C 2862
C 2863
12542 3904.70
12543 1798.40
Marcel Dekker
2002
C 2864
12544 4580.30
World Scientific
Matfyzpress
2007
C 2865
2007 B 4398/07
12545 1919.80
12546
DAR
ICSAS,, CTU FTS
2007
C 2258/7
12547
Dover Publications
2007
B 4421
12548 520.40
2004
C 2866
12549 3553.10
2007 B 4422/A9
12550 219.00
2008
A 859/08
12551
1993
C 2867
12552 952.40
2007
C 2868
12553 3054.15
2007
C 2868a
12554 3054.15
2007
C 2869
12555
DAR
2000
C 2870
12556
DAR
1965
1965
1971
C 2871/1
C 2871/2
C 2872
12557 691.65
12558 691.65
12559 2076.30
2000
C 2914
12560 972.00
1965
B 4423
12561 1246.20
2005
C 2873
12562 199.00
Clarendon Press,,
Oxford University
Press
Instituce, osobnosti, ideje a struktura vědy v českých Archiv AV ČR,v. ú.
zemích
MSÚ-A AV ČR, v.v.i.
Seminar on numerical analysis SNA´08 :modelling
Technical University
and simulation of challenging engineering problems : of Liberec
Winter school high-performance and parallel
computers, programming technologies & numerical
linear algebra : Liberec, January 28- Febrary 1, 2008
Introduction to toric varieties
Princeton University
Press
Recent advances in stochastic modeling and data
World Scientific
analysis :[12nd international conference on applied
stochastic models and data analysis, ASMDA] in
Chania, Crete, Grece, May 29-June 1, 2007
Recent advances in stochastic modeling and data
World Scientific
analysis :[12nd international conference on applied
stochastic models and data analysis, ASMDA] in
Chania, Crete, Grece, May 29-June 1, 2007
Sandstone landscapes
Academia in
collaboration with
Bohemian
Switzerland National
Park Administration
and Royal Botanic
Gardens Kew
Knowledge-based software engineering :proceedings IOS Press
of the fourth joint conference on knowledge-based
software engineering in Brno, Czech Republic, 2000
Computing methods =Metody vyčislenij
Pergamon
Computing methods =Metody vyčislenij
Pergamon
Equations of mathematical physics =Uravnenija
Dekker
matematičeskoj fiziki
Extreme value distributions :theory and applications Imperial College
Press
Method of moments in applied mathematics =Metod Gordon and Breach
momentov v prikladnoj matematike
Science Publishers
Pravidla českého pravopisu s výkladem mluvnice
Ottovo nakladatelství
v divizi Cesty
DAR
DAR
Autor
Název
Nakladatelství
Aigner, Martin,
Chang, Chen
Chung,
Ban, Adrian I.
Proofs from the book
Model theory
Springer
North-Holland,
Elsevier
World Scientific
Snášel, Václav
Snášel, Václav,
Trappl, Robert
Trappl, Robert
Forsythe, George
E.
Mundici, Daniele
Defects of properties in mathematics :quantitative
characterizations
Znalosti 2008 : 7. ročník konferencie, Bratislava, 13.15. februára 2008, zborník príspevkov =7th annual
conference, Bratislava, 13th-15th february 2008:
proceedings
Proceedings of the CLA 2004 workshop :concept
lattices and their applications workshop : September
23-24, 2004, Ostrava
Cybernetics and systems 2008 :proceedings of the
nineteenth European meeting on cybernetics and
systems research, organized by Austrian society for
cybernetic studies, held at the University of Vienna,
Austria, 25-28 March 2008
Cybernetics and systems 2008 :proceedings of the
nineteenth European meeting on cybernetics and
systems research, organized by Austrian society for
cybernetic studies, held at the University of Vienna,
Austria, 25-28 March 2008
Finite-difference methods for partial differential
equations
Algebraic foundations of many-valued reasoning
Darnel, Michael R., The theory of lattice-ordered groups
Kalender, Willi A. Computed tomography :fundamentals, system
technology, image quality, applications
Bhaya, Amit
Control perspectives on numerical algorithms and
matrix problems
Technický slovník anglicko-český, česko-anglický.
Francouzsko-český, česko-francouzský velký slovník
:[...nejen pro překladatele]
Goldstine, Herman The computer from Pascal to von Neumann
Heine
Geffert, Viliam
SOFSEM 2008 :theory and practice of computer
science : 34th Conference on Current Trends in
Theory and Practice of Computer Science, Nový
Smokovec, Slovakia, January 19-25, 2008 :
proceedings
Long, Johnny
Google hacking
Arabnia, Hamid R. Proceedings of the 2005 international conference on
data mining, DMIN '05 :Las Vegas, Nevada, USA,
June 20-23, 2005
Arabnia, Hamid R. Proceedings of the 2005 international conference on
information and knowledge engineering, IKE '05 :Las
Vegas, Nevada, USA, June 20-23, 2005 ; [including
the proceedings of the conference on data fusion,
2005, 20-23.6., FUS ]
European Society Third conference of the European society for fuzzy
for Fuzzy Logic
logic and technology, EUSFLAT 2003 :proceedings :
and Technology. September 10-12, 2003, Zittau, Germany
Gabarró, Joaquim Structural Complexity I
Süli, Endre,
An introduction to numerical analysis
Higham, Nicholas Functions of matrices :theory and computation
J.,
Ciborra, Claudio,
Kelemen, Jozef,
Kvasnička,
Vladimír,
Groupware and teamwork :invisible aid or technical
hindrance?
Kognice a umělý život 8
Modely mysle
Rok
Signatura. Přír. č.
Cena
vydání
2004
C 2874
12563 734.80
1990
C 2875
12564 4170.20
2002
C 2876
12565 1172.90
Vydavateľstvo
Slovenskej technickej
univerzity
2008 C 2702/08
12566
DAR
VŠB - Technical
University
2004
C 2877
12567
DAR
Austrian Society for
Cybernetic Studies
2008
A 872/1
12568
DAR
Austrian Society for
Cybernetic Studies
2008
A 872/2
12569
DAR
Dover Publications
2004
C 2879
12570 1516.70
Kluwer Academic
Publ.
Dekker
Publicis Corporate
Publishing
SIAM
2000
C 2184a
12571 2648.90
1995
2005
C 2878
C 2880
12572 4851.20
12573 1471.30
2006
C 2881
12574 1961.50
Lingea
Lingea
2002
2007
B 4419a
DS 35
12575 1890.00
12576
DAR
Princeton University
Press
Springer
1993
C 2882
12577 909.80
2008 C 2297/08
12578
Zoner Press
CSREA Press
2005
2005
C 2883
A 873
12579 378.00
12580
DAR
CSREA Press
2005
A 874
12581
DAR
University of Applied
Sciences
2003
B 4424
12582
DAR
Springer-Verlag
Cambridge University
Press
Society for Industrial
and Applied
Mathematics
Wiley
1995 C 1684a/1
2006
C 2884
12583 1117.40
12584 1172.10
2008
C 2885
12585 1172.10
1996
C 2886
12586
DAR
Slezská univerzita,
Filozofickopřírodovědecká
fakulta, Ústav
informatiky
Vydavateľstvo Európa
2008
A 807/08
12587
DAR
2008
B 4425
12588
DAR
2007
C 2887
12589
DAR
Francouzsko-český, česko-francouzský velký slovník Lingea
:[...nejen pro překladatele]
DAR
Autor
Sumathi, S.
Název
Nakladatelství
Evolutionary intelligence :an introduction to theory and Springer
applications with Matlab
Chen, Chun-houh Handbook of data visualization
Springer
Gong, Yihong
Machine learning for multimedia content analysis
Springer
Watkins, David S. The matrix eigenvalue problem :GR and Krylov
Society for Industrial
subspace methods
and Applied
Mathematics
Gödel, Kurt
Filosofické eseje
OIKOYMENH
Ruyer, Raymond Paradoxy vědomí. Expresivita
Pedagogická fakulta
UK
Harvey, Andrew C. Readings in Unobserved Components Models
Oxford University
Press
Peña, Daniel,
A course in time series analysis
Wiley
Balcázar, José Luis Structural complexity.
Springer
Higham, Nicholas Functions of matrices :theory and computation
Society for Industrial
J.,
and Applied
Mathematics
Dahlquist,
Numerical methods in scientific computing.
Society for Industrial
Germund
and Applied
Mathematics
Strauch, Oto
Distribution of sequences :a sampler
Peter Lang
Novák, Mirko
Senioři za volantem
UI AV ČR, ČVUT,
Fakulta dopravní
Posejpal, Václav Dějepis Jednoty českých mathematiků :k padesátému Jednota českých
výročí jejího založení
mathematiků
Strnad, Alois,
Mathematikové ve francouzské revoluci
Bratři Peřinové
Granas, Andrzej
Fixed point theory
Springer
Chleboun, J.
Programs and algorithms of numerical mathematics AS CR. Mathematical
12 =Programy a algoritmy numerické matematiky 12. : Institute
Proceedings of seminar
Pokorný, Jaroslav, DATASEM 1993 :13. ročník databázové konference, CS-Compex
Brno, Hotel Santon 17.-19. 10. 1993 : sborník referátů
Pokorný, Jaroslav, DATASEM 1996 :16. ročník databázové konference, Dům techniky
Brno,[INVEX COMPUTER ´96], 20.-22. 10. 1996 :
sborník přednášek
Pokorný, Jaroslav, DATASEM 1997 :17. ročník databázové konference, CS-COMPEX
Brno,[INVEX COMPUTER ´97], 12.-14. 10. 1997 :
sborník přednášek
Pokorný, Jaroslav, DATASEM ´98 :18. ročník databázové konference,
CS-COMPEX
Brno, [INVEX COMPUTER ´98], 4.-6. 10. 1998 :
sborník přednášek
Kurtz, Douglas S. Theories of integration :the integrals of Riemann,
World Scientific
Lebesgue, Henstock-Kurzweil, and McShane
Baader, Franz,
The description logic handbook :theory,
Cambridge University
implementation, and applications
Press
Livio, Mario,
Neřešitelná rovnice :matematika a jazyk symetrií
Argo, Dokořán
Buzsáki, György
Rhythms of the brain
Oxford University
Press
Deco, Gustavo
Information dynamics :foundations and applications
Springer
Caldarelli, Guido Large scale structure and dynamics of complex
World Scientific
networks :from information technology to finance and
natural science
Wu, Chai Wah
Synchronization in complex networks of nonlinear
World Scientific
dynamical systems
Mitra, Partha P.
Observed brain dynamics
Oxford University
Press
Freitas, Alex A.
Data mining and knowledge discovery with
Springer-Verlag
evolutionary algorithms
Ito, Kazufumi
Lagrange multiplier approach to variational problems Society for Industrial
and applications
and Applied
Mathematics
Ghanea-Hercock, Applied evolutionary algorithms in Java
Springer
Robert
Cherkassky,
Learning from data :concepts, theory, and methods
IEEE Press, WileyVladimir S.
Interscience
Engelbrecht,
Computational intelligence :an introduction
Wiley
Andries P.
Dominich, Sandor The modern algebra of information retrieval
Springer
Hyndman, Rob J. Forecasting with exponential smoothing :the state
Springer
space approach
Rok
Signatura. Přír. č.
Cena
vydání
2008
C 2888
12590 2167.88
2008
2007
2007
C 2889
C 2890
C 2891
12591 6045.00
12592 2069.04
12593 2004.10
1999
1994
B 4426
B 4427
12594
12595
2005
C 2892
12596 2803.98
2001
1990
2008
C 2893
C 1684/2
C 2885a
12597 878.00
12598 1241.50
12599 1194.30
2008
C 2894/1
12600 2206.10
2005
2008
C 2895
C 2896
12601
12602
DAR
DAR
1912
C 2897
12603
DAR
1890
2003
2004
C 2898
C 2899
B 4428
12604
DAR
12605 825.95
12606
DAR
DAR
DAR
1993 B 4383/93
12607
DAR
1996 B 4383/96
12608
DAR
1997 B 4383/97
12609
DAR
1998 B 4383/98
12610
DAR
2004
C 2900
12611 542.10
2007
C 2255a
12612 2802.70
2008
2006
C 2901
C 2902
12613 359.00
12614 1271.39
2001
2007
C 2903
C 2904
12615 1383.68
12616 1336.01
2007
C 2905
12617 1259.96
2008
C 2906
12618 1203.68
2002
C 2234b
12619 1539.80
2008
C 2907
12620 1901.20
2003
C 2908
12621 2159.90
2007
C 2222a
12622 1993.80
2007
C 2909
12623 1993.80
2008
2008
C 2910
C 2911
12624 1954.90
12625 996.00
Autor
Název
Nakladatelství
Cepisca, Cosin
New aspects on computing research :proceedings of
the 2nd European computing conference (ECC ´08),
Malta, September 11-13, 2008
Second-order quantifier elimination :foundations,
computational aspects and applications
Kompendium statistického zpracování dat :metody a
řešené úlohy včetně CD
Learning theory :an approximation theory viewpoint
WSEAS Press
Gabbay, Dov M.,
Meloun, Milan
Cucker, Felipe,
Venables, W. N.
An introduction to R :notes on R: a programming
environment for data analysis and graphics, version
1.9.1
Tyugu, E. Kh.
Algorithms and architectures of artificial intelligence
Truesdell, Clifford An introduction to the mechanics of fluids
Ambrose,
Diaconescu,
Institution-independent model theory
Razvan
Van Rijsbergen, C. The geometry of information retrieval
J.,
Haines, Simon
First certificate masterclass.
Haines, Simon
First certificate masterclass.
Prasad, Bhanu
Proceedings of the 2008 international conference on
artificial intelligence and pattern recognition
Hakl, František,
Doktorandské dny '08 :Jizerka, 29. září-1. října 2008
Rutkowski, Leszek, Computational intelligence = [Metody i techniki
sztucznej inteligencji] :methods and techniques
Berk, Richard A.
Statistical learning from a regression perspective
Feoktistov, Vitaliy Differential evolution :in search of solutions
King's College
Publications
Academia
2008
C 2912
12627 702.30
2006
C 2913
12628 600.00
Cambridge University
Press
Network Theory
Limited
2007
C 2915
12629 1404.60
2004
C 2916
12630 431.70
IOS Press
Birkhäuser
2007
2000
C 2917
C 2918
12631 1972.60
12632 2284.70
Birkhauser
2008
C 2919
12633 2075.40
Cambridge University
Press
Oxford University
Press
Oxford University
Press
ISRST
2004
C 2920
12634 1362.90
2008
A 817a/1
12635 517.75
2008
A 817a/2
12636 327.74
2008
CD 21
Matfyzpress
Springer
2008
2008
A 837/08
C 2921
12638
DAR
12639 2075.40
Springer
Springer
Science+Business
Media
Springer
Springer
Chapman & Hall/CRC
2008
2006
C 2922
C 2923
12640 1780.70
12641 1466.70
2003
2008
2008
C 2924
C 2416a
C 2925
12642 1676.10
12643 1256.30
12644 1728.00
12645 3038.90
12646 1782.60
12647 4820.60
Ben-Jisra'el, Ady Generalized inverses :theory and applications
Dalgaard, Peter
Introductory statistics with R
Daniels, Michael J. Missing data in longitudinal studies :strategies for
Bayesian modeling and sensitivity analysis
Zeidler, Eberhard Nonlinear functional analysis and its applications II/A. Springer
Strang, Gilbert,
D'Agostino, Ralph
B.
Schrijver,
Alexander,
Rivest, Ronald L.
Arnold, Barry C.
Scully, Robert J.
DAR
Introduction to linear algebra
Tutorials in biostatistics.
Wellesley-Cambridge
Wiley
Theory of linear and integer programming
Wiley
1986
DA 64
12648 2305.10
MIT Press
Birkhäuser
2002
2006
DA 65
C 2927
12649 1836.30
12650 2912.90
O'Reilly
Chapman & Hall/CRC
Springer
Nova Science
Publishers
Wiley VCH Verlag
Cambridge University
Press
Wiley-VCH
2007
2006
2003
2006
C 2928
DA 66
C 2929
C 2930
12651
12652
12653
12654
2007
2007
C 2931
C 2932
12655 2095.70
12656 972.80
2007
B 4429
12657 943.20
Springer
John Wiley & Sons
2006
1994
C 2933
C 2934
12658 2410.80
12659 2336.60
Wiley
Oxford University
Press
Wiley-VCH
1996
2001
C 2935
C 2936
12660 2934.30
12661 1295.20
2006
C 2937
12662 4313.80
Addison-Wesley
1998
DA 67/2
12663 1268.40
Addison-Wesley
Springer Science
1998
2007
DA 67/3
C 2938
12664 1268.40
12665 2075.40
Lectures on quantum information
Quantum computer science :an introduction
The demon and the quantum :from the pythagorean
mystics to Maxwell's demon and quantum mystery
Hayashi, Masahito Quantum Information :An Introduction
Puterman, Martin Markov Decision Processes: Discrete Stochastic
L.
Dynamic Programming
Ross, Sheldon M. Stochastic processes
Grimmett, Geoffrey One thousand exercises in probability
R.
Schelter, Björn
Handbook of time series analysis :recent theoretical
developments and applications
Knuth, Donald E. art of computer programming :seminumerical
algorithms
Knuth, Donald E. art of computer programming :sorting and serching
Antoniou, Andreas Practical optimization :algorithms and engineering
applications
1990
12637
C
2556a/A2
2003 C 1536a
2004 C 2926/2
Introduction to algorithms
Advances in distribution theory, order statistics, and
inference
Naftalin, Maurice, Java generics and collections
Lawler, Gregory F., Introduction to stochastic processes
Meinhardt, Hans The algorithmic beauty of sea shells
Stam, Cornelis J. Nonlinear brain dynamics
Bruss, Dagmar
Mermin, N. David
Rok
Signatura. Přír. č.
Cena
vydání
2008
A 875
12626
DAR
756.00
1619.50
1571.30
1923.40
Autor
Název
Nakladatelství
Bazaraa, M. S.
Aigner, Martin,
Feferman,
Solomon
Feferman,
Solomon
Schölkopf,
Bernhard
Rencher, Alvin C.,
Graupe, Daniel
Riegelman,
Richard K.
Manning,
Christopher D.,
Drugowitsch, Jan
Nonlinear programming :theory and algorithms
Proofs from the book
Kurt Gödel. Collected works.
Wiley-Interscience
Springer
Oxford University
Press
Oxford University
Press
MIT Press
Zeidler, Eberhard
Kurt Gödel. Collected works.
Learning with kernels :support vector machines,
regularization, optimization, and beyond
Methods of multivariate analysis
Principles of artificial neural networks
Studying a study and testing a test :how to read the
medical evidence
Introduction to information retrieval
Babuška, Ivo,
The finite element method and its reliability
Douglas, Craig C. A Tutorial on Elliptic PDE Solvers and Their
Parallelization
Rivière, Beatrice
Discontinuous Galerkin methods for solving elliptic
and parabolic equations :theory and implementation
Berlinet, Alain
Reproducing kernel Hilbert spaces in probability and
statistics
Artificial intelligence :a modern approach
Russell, Stuart J.
D'Agostino, Ralph
B.
Brown, Donald
Bandemer, HansWalter
Baron, Michael,
Tuckwell, Henry C.
Tutorials in biostatistics.
Struts 2 in action
Mathematics of uncertainty :ideas, methods,
application problems
Probability and statistics for computer scientists
Stochastic processes in the neurosciences
Brillinger, David R. Time series :data analysis and theory
Drongelen, Wim
van
Friston, Karl J.
Gabbay, Dov M.,
Jacquette, Dale,
Knuth, Donald E.
Papadimitriou,
Christos H.
Chan, Tony F.
1995
DA 72/3
12669 957.10
2002
C 2326c
12670 1620.50
2002
2007
2005
C 2940
C 2941
C 2942
12671 2927.70
12672 1879.90
12673 955.30
2008
C 2943
12674 1277.70
2008
C 2944
12675 3309.50
12676 3332.70
Siam
C
2556a/B2
2002 C 1774c
12677 1599.10
SIAM
1985
C 2945
12678 1610.30
SIAM
Springer
2003
2000
C 2294c
C 2946
12679 2204.20
12680 1122.07
Society for Industrial
and Applied
Mathematics
Clarendon Press,
Oxford University
Press
Siam - Society for
Industrial and Applied
Mathematics
SIAM, Society for
Industrial and Applied
Mathematics
Kluwer
2008
C 2885b
12681 1274.90
2001
C 2947
12682 3829.40
2003
C 2948
12683 1091.40
2008
C 2949
12684 1188.80
2004
C 2950
12685 3542.10
Wiley
World Scientific
Lippincott Williams &
Wilkins
Cambridge University
Press
Springer
Design and analysis of learning classifier systems :a
probabilistic approach
Nonlinear functional analysis and its applications II/B. Springer
Higham, Nicholas Accuracy and stability of numerical algorithms
J.
Linz, Peter
Analytical and numerical methods for Volterra
equations
Saad, Yousef
Iterative Methods for Sparse Linear Systems
Schaft, A. J. van
An introduction to hybrid dynamical systems
der.
Higham, Nicholas Functions of matrices :theory and computation
J.,
Signal processing for neuroscientists :introduction to
the analysis of physiological signals
Statistical parametric mapping :the analysis of
functional brain images
Handbook of the history of logic.
Heroux, Michael A. Parallel processing for scientific computing
1990
Prentice Hall/Pearson
Education
Wiley
2003
C 1829a
12686 2515.50
2004
C 2926/1
12687 4820.60
Manning
Springer
2008
2006
C 2951
DA 68
12688 972.80
12689 2912.90
Chapman & Hall/CRC
Society for Industrial
and Applied
Mathematics
Society for Industrial
and Applied
Mathematics
Academic Press
2007
1989
DA 69
C 2952
12690 2065.20
12691 1177.60
2001
C 2953
12692 1599.10
2007
C 2954
12693 1814.10
Elsevier
2007
A 876
12694 2700.80
2007
C 2955
12695 4861.40
2007
C 2956
12696 5077.20
1997
1994
DA 67/1
DA 70
12697 1467.60
12698 1723.30
2005
C 2957
12699 1620.50
2006
C 2740a
12700 1944.80
Elsevier North
Holland
Philosophy of logic
Elsevier/NorthHolland
art of computer programming :fundamental algorithms Addison-Wesley
Computational Complexity
Addison-Wesley
Image processing and analysis :variational, PDE,
wavelet, and stochastic methods
Rok
Signatura. Přír. č.
Cena
vydání
2006
C 2939
12666 2408.00
2004 C 2874a
12667 837.60
1990 DA 72/2
12668 957.10
Society for Industrial
and Applied
Mathematics
Society for Industrial
and Applied
Mathematics
Autor
Název
Chan, Raymond
H.,
An introduction to iterative Toeplitz solvers
Bhatia, Rajendra,
Perturbation bounds for matrix eigenvalues
Ioannou, Petros
A.,|
Adaptive control tutorial
Jaffard, Stéphane Wavelets :Tools for Science & Technology
Briggs, William L. The DFT :an owner's manual for the discrete Fourier
transform
LeVeque, Randall Finite difference methods for ordinary and partial
J.,
differential equations :steady-state and timedependent problems
Eldén, Lars,
Matrix methods in data mining and pattern recognition
C 2963
12706 1361.10
2007
C 2724a
12707 1490.80
2003
2001
1986
C 2964
C 2965
DA 72/1
12708 2139.30
12709 1740.00
12710 957.10
2001
C 2399a
12711 1403.70
2005
2006
C 2966
C 2967
12712 972.80
12713 1295.20
2008
C 2968
12714 833.00
Springer
2008
C 2969
12715 2234.70
SIAM
PONT
2000
2008
C 1696a
C
2453/08/1
12716 1085.00
12717
DAR
PONT
2008
C
2453/08/2
12718
DAR
IEEE Computer
Society
2008
C 2970
12719
DAR
Wiley
Sybex
Masarykova
univerzita
2008
C 2971
2007
C 2972
2008 B 4383/08
12720 812.60
12721 609.60
12722
DAR
Dover Publications
2008
B 4430
12723
Springer
Springer
2008
2008
C 2973
C 2974
12724 7479.70
12725 1466.70
Thomson Course
Technology
McGraw-Hill
Cambridge University
Press
Springer
MIT Press
Birkhauser
2005
C 2975
12726 1759.50
1991
2008
C 2976
C 2977
12727 2765.70
12728 1512.00
2007
2000
2008
C 2455a
C 2115a
C 2919a
12729 1046.90
12730 1296.20
12731 2074.50
Theory of probability and random processes
Springer
Memoirs of a proof theorist :Gödel and other logicians World Scientific
Advances in fuzzy clustering and its applications
Wiley
2007
2003
2007
C 2978
C 2979
C 2980
12732 942.30
12733 942.30
12734 2471.90
Constrained clustering :advances in algorithms,
theory, and applications
2009
C 2981
12735 1673.30
Introduction to the Mathematics of Medical Imaging
Mathematical Methods in Image Reconstruction
Kurt Gödel. Collected works.
Heaton, Jeff
Lang, Thomas A.
Sawicki, Ed
Introduction to neural networks with Java
How to report statistics in medicine :annotated
guidelines for authors, editors, and reviewers
Das lineare Komplementaritätsproblem :eine
Einführung
Hierarchical matrices :a means to efficiently solve
elliptic boundary value problems
A multigrid tutorial
Information technologies applications and theory,
ITAT 2008 :conference on theory and practicle of
information technologies : proceedings : Hrebienok,
Slovakia, September 2008
ITAT 2008 informačné technológie aplikácie a teória
:zborník príspevkov prezentovaných na pracovnom
seminári ITAT, Slovensko, september 2008
International conference on signal image technologies
and internet based system, SITIS 2007 :16-19
December 2007, Jiangong Jinjiang, Shanghai, China :
proceedings
Advanced Web metrics with Google analytics
Web analytics :an hour a day
DATAKON 2008 :sborník databázové konference =
[proceedings of the annual database conference] :
Brno, 18.-21. října 2008
Special matrices and their applications in numerical
mathematics = Speciální matice a jejich použití v
numerické matematice
The concise encyclopedia of statistics
Theorem proving in higher order logics :21st
international conference, TPHOLS 2008, Montreal,
Canada, August 18-21, 2008 : proceedings
Advanced guide to linux networking and security
Rudin, Walter,
Goldreich, Oded,
Functional analysis
Computational complexity :a conceptual perspective
Grätzer, George,
Tiuryn, Jerzy
Diaconescu,
Razvan
Koralov, Leonid B.
Takeuti, Gaisi,
Oliveira, José
Valenta de
Basu, Sugato
More math into LaTeX
Dynamic Logic
Institution-independent model theory
Bebendorf, Mario
Briggs, William L.
Vojtáš, Peter,
Vojtáš, Peter,
Institute of
Electrical and
Electronics
Engineers
Clifton, Brian,
Kaushik, Avinash
Řepa, Václav,
Fiedler, Miroslav,
Dodge, Yadolah
Ait Mohamed,
Otmane
Rok
Signatura. Přír. č.
Cena
vydání
Society for Industrial
2007
C 2958
12701 1448.20
and Applied
Mathematics
Society for Industrial
2007
C 2959
12702 1059.00
and Applied
Mathematics
Society for Industrial
2006
C 2960
12703 2139.30
and Applied
Mathematics
SIAM
2001
C 2961
12704 1642.70
SIAM
1995
C 2962
12705 1350.80
2007
Epstein, Charles L.
Natterer, Frank
Feferman,
Solomon
Han, Jiawei
Schäfer, Uwe
Nakladatelství
Data mining :concepts and techniques
Society for Industrial
and Applied
Mathematics
Society for Industrial
and Applied
Mathematics
Pearson Education
SIAM
Oxford University
Press
Morgan Kaufman
Publ.
Heaton Research
American College of
Physicians
Springer
CRC Press
DAR
Autor
Název
Steinwart, Ingo
Shapira, Yair
Manning,
Christopher D.,
Knuth, Donald
Ervin,
Sedgewick, Robert
Support vector machines
Matrix-based multigrid :theory and applications
Introduction to information retrieval
Umění programování.
Nakladatelství
Rok
Signatura. Přír. č.
Cena
vydání
Springer
2008
C 2982
12736 1725.10
Springer
2007
C 2983
12737 1666.80
Cambridge University
2008 C 2943a
12738 1314.80
Press
Computer Press
2008
C 2984
12739 792.00
Algoritmy v C. Části 1-4 základy, datové struktury,
SoftPress
třídění, vyhledávání
Hansen, P.
Essays and surveys in global optimization
Springer
Wang, Dongming, Elimination methods
Springer
Bradley, Aaron R. Calculus of computation :decision procedures with
Springer
applications to verification
Venegas Andraca, Quantum walks for computer scientists
Morgan and Claypool
Salvador Elías
Publishers
Mlýnková, Irena, XML technologie :principy a aplikace v praxi
Grada
Stetter, Hans J.,
Numerical polynomial algebra
SIAM
Ganeri, Anita,
Bouřlivé počasí = Horrible geography: stormy weather Egmont
Kovář, Ladislav
Jasná zpráva o počasí
Montanex
Fortin, Jacques
Počasí :zemská atmosféra, srážky, meteorologie,
Fortuna Print
klimatická pásma, životní prostředí
Karas, Pavel,
Skoro jasno :průvodce televizní předpovědí počasí
Česká televize
Buckley, Bruce
Počasí = Weather :velký obrazový průvodce
Rebo
Grosky, William I. SOFSEM 2002 :workshop on multimedia semantics : Univerzita Karlova
proceedings
IPMU 2008. Information processing and management [Universidad de
of uncertainty in knowledge-based systems :12th
Málaga]
international conference : proceedings : June 22-27,
2008, Málaga, Spain
Boström, H.
Fusion 2008 : 11th international conference on
ISIF - IEEE
information Fusion ; Cologne, Germany : June 30-July
03, 2008 :proceedings
Knowledge
SEKE 2008 :the 20th International Conference on
Knowledge Systems
Systems Institute. Software Engineering & Knowledge Engineering,
Institute Graduate
technical program, July 1-3, 2008, Hotel Sofitel,
School
Redwood City, San Francisco Bay, USA : proceedings
Itoh, Takeshi
The 11th Czech Japan seminar on data analysis and Graduate school of
decision making under uncertainty :September 15-17, information sciences,
2008, Sendai, Japan
Tohoku University
Nagel, Christian
C# 2005 :programujeme profesionálně
Computer Press
Gutmans, Andi
Mistrovství v PHP 5 =[Orig.: PHP 5 power
Computer Press
programming]
Pile, Louise
E-mailová korespondence v angličtině
Computer Press
Pile, Louise
Prezentace v angličtině :profesionálně a působivě
Computer Press
Papadimitriou,
Computational Complexity
Addison-Wesley
Christos H.
Zhang, Yanchun Web communities :analysis and construction
Springer
Fiedler, Miroslav, Special matrices and their applications in numerical
Dover Publications
mathematics = Speciální matice a jejich použití v
numerické matematice
Isaacson, Eugene Analysis of numerical methods
Dover Publications
Inc.
Russell, Stuart J. Artificial intelligence :a modern approach
Prentice Hall/Pearson
Education
Smirnov, Vladimir Functions of a complex variable = Konstruktivnaja
MIT Press
Ivanovič,
teorija funkcii kompleksnogo peremennogo
:constructive theory
Larraňaga, Pedro. Estimation of distribution algorithms :a new tool for
Kluwer
evolutionary computation
Haykin, Simon S., Neural networks and learning machines
Prentice Hall
Gathen, Joachim Modern computer algebra
Cambridge University
von zur
Press
Baroglio, Cristina Reasoning web :4th international summer school
Springer
2008, Venice, Italy, September 7-11, 2008, tutorial
lectures
Bruijn, Jos de
Modeling semantic web services :the web service
Springer
modeling language
Kruk, Sebastian
Semantic digital libraries
Springer
Ryszard
Kuropka, Dominik Semantic service provisioning
Springer
2003
C 2985
12740 690.00
2005
2001
2007
C 2986
C 2987
C 2988
12741 1391.74
12742 1486.04
12743 733.94
2008
C 2989
12744 864.50
2008
2004
2005
2000
2003
C 2990
C 2991
B 4431
B 4432
C 2992
12745
12746
12747
12748
12749
2007
2006
2002
298.00
2458.10
114.00
44.00
266.00
C 2993
C 2994
C
2297/2/02
2008 C 1806/08
12750 329.00
12751 622.00
12752
DAR
12753
DAR
2008
CD 22
12754
DAR
2008
A 877
12755
DAR
2008
A 878
12756
DAR
2006
2007
C 2995
C 2996
12757 1112.00
12758 486.75
2008
2008
1995
C 2997
C 2998
C 1616c
12759 185.25
12760 200.25
12761 2083.80
2006
2008
C 2999
B 4430a
12762 2003.10
12763 510.60
1994
B 4344a
12764 561.50
2003
C 1829b
12765 2962.10
1968
B 4433
12766 869.10
2002
C 3000
12767 4792.80
2009
2003
C 3001
C 3002
12768 2973.20
12769 1878.10
2008
C 3003
12770 1315.60
2008
C 3004
12771 1251.80
2008
C 3005
12772 1878.10
2008
C 3006
12773 1721.40
Autor
Burger, Albert G.,
Název
Nakladatelství
Anatomy ontologies for bioinformatics :principles and Springer
practice
Christophides,
Semantic web, ontologies and databases :VLDB
Springer
Vassilis
workshop, SWDB-ODBIS 2007, Vienna, Austria,
September 24, 2007, revised selected papers
Hepp, Martin
Ontology management :semantic web, semantic web Springer
services, and business applications
Kashyap, Vipul
The semantic web :semantics for data and services on Springer
the web
Knuth, Donald E. art of computer programming :fundamental algorithms Addison-Wesley
Knuth, Donald E. art of computer programming :seminumerical
Addison-Wesley
algorithms
Knuth, Donald E. art of computer programming :sorting and serching
Addison-Wesley
Fensel, Dieter,
Implementing semantic web services :the SESA
Springer
framework
Rebstock, Michael, Ontologies-based business integration
Springer
Munn, Katherine Applied ontology :an introduction
Ontos Verlag
Sample, Steven B., The contrarian's guide to leadership
Jossey-Bass
McLachlan,
Finite Mixture Models
John Wiley & Sons
Geoffrey
Goldreich, Oded, Computational complexity :a conceptual perspective Cambridge University
Press
Meldrum, J. D. P. Wreath products of groups and semigroups
Longman, Wiley
Denecke, Klaus
Universal algebra and applications in theoretical
Chapman & Hall/CRC
computer science
Yager, Roland R. Classic works of the Dempster-Shafer theory of belief Springer
functions
Dahlquist,
Numerical methods in scientific computing.
Society for Industrial
Germund
and Applied
Mathematics
Watkins, David S. Fundamentals of matrix computations
John Wiley and Sons
Greenbaum, Anne Iterative Methods for Solving Linear Systems
SIAM
Higham, Nicholas Functions of matrices :theory and computation
Society for Industrial
J.,
and Applied
Mathematics
Higham, Nicholas Functions of matrices :theory and computation
Society for Industrial
J.,
and Applied
Mathematics
Overton, Michael L. Numerical Computing with IEEE Floating Point
Siam - Society for
Arithmetic :Including One Theorem, One Rule of
Industrial and Applied
Thumb, and One Hundred and One Exercises
Mathematics
Golub, Gene H.
Matrix computations
The Johns Hopkins
University Press
Quarteroni, Alfio
Numerical approximation of partial differential
Springer-Verlag
equations
Ng, Michael K.
Iterative methods for Toeplitz systems
Oxford University
Press
Gockenbach, Mark Understanding and implementing the finite element
Society for Industrial
S.
method
and Applied
Mathematics
Ortega, James M. Numerical analysis :second course
SIAM
Axelsson, O
Finite Element Solution of Boundary Value Problems Siam - Society for
:Theory and Computation
Industrial and Applied
Mathematics
Kelley, C. T.
Solving nonlinear equations with Newton´s method
SIAM
Grätzer, George, More math into LaTeX
Springer
Hoffman, Kenneth Linear algebra
Prentice-Hall
Ciarlet, Philippe G. The finite element method for elliptic problems
SIAM
Allgower, E. L.
Introduction to numerical continuation methods
SIAM
Rok
Signatura. Přír. č.
Cena
vydání
2008
C 3007
12774 2817.50
2008
C 3008
12775 1315.60
2007
C 3009
12776 2384.80
2008
C 3010
12777 1721.40
1997 C 2348/1a
1998 C 2348/2a
12778 1500.90
12779 1500.90
1998 C 2348/3a
2008
C 3011
12780 1500.90
12781 2034.60
2008
2008
2002
2000
C 3012
C 3013
C 3014
C 3015
12782
12783
12784
12785
2008
C 2977a
12786 1555.60
1995
2002
C 3016
C 3017
12787 3889.40
12788 1750.20
2008
C 3018
12789 4935.50
2008 C 2894/1a
12790 2531.20
2002
1997
2008
C 2202a
C 1924a
C 2885c
12791 3091.80
12792 1361.10
12793 1264.62
2008
C 2885d
12794 1264.65
2001
C 3019
12795 1342.60
1996
C 1437d
12796 1227.70
1997
C 2026a
12797 3554.10
2004
C 2623a
12798 3111.20
2006
C 2603a
12799 1750.20
1990
2001
B 4364a
C 3020
12800 1088.70
12801 1244.30
2003
2007
1971
2002
2003
C 2523b
C 2455b
C 3021
C 3022
C 3023
12802
12803
12804
12805
12806
2034.60
3069.50
470.70
3208.50
933.00
1238.80
3025.10
1361.10
1361.10