Showing
121 - 140
results of
935
for search '
'
Skip to content
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Retain current filters
-callnumber-first:"A - General Works"
-genre_facet:"články"
-genre_facet:"firemní katalogy"
-digitized_facet:"enriched"
topic_facet:"programování"
-format:"Book"
-psh_facet:"operační systémy"
čeština
Log Out
Institutional Login
Home
Search:
Suggested Topics within your search.
programming
informatics
831
software engineering
540
programming languages
408
artificial intelligence
301
algorithmization
286
more ...
computers
278
mathematical logic
257
management information systems
67
computer simulation
64
pattern recognition
46
database management systems
41
data search
40
applications programs
39
numerical analysis
36
computer graphics
32
software
31
image processing
31
data encryption
25
computer security
23
bioinformatics
15
mathematical statistics
11
microprocessors
10
internet
8
database systems
6
computer networks
5
computer linguistics
5
text processing
5
programming language Java
4
computer technology
4
less ...
Showing
121 - 140
results of
935
for search '
', query time: 0.08s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Coordination Models and Languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
ECOOP 2012 – Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Programming Multi-Agent Systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Tools for Practical Software Verification : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice...
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Euro-Par 2011: Parallel Processing Workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2...
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Swede...
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Reliable Software Technologies – Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Genetic Programming : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Computational Issues in Fluid Construction Grammar : A New Formalism for the Representation of Lexicons and Grammars
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Applications of Evolutionary Computation : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Sp...
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
Experimental Algorithms : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Published:
2012
Located:
Loading...
eBook
Loading...
Get full text
Saved in:
[1]
« Prev
2
3
4
5
6
7
8
9
10
11
12
Next »
[47]
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Narrow Search
Remove Filters
NOT Call Number: A - General Works
NOT Genre: články
NOT Genre: firemní katalogy
NOT Digitalization: Enriched
Suggested Topics: programování
NOT Format: Book
NOT PSH: operační systémy
Collection
82
NTK
1
UCT
Format
854
eBook
40
Journal
36
Manuscript
3
Article
2
Software
Call Number
50
Q - Science
7
T - Technology
1
Z - Library Science
Author
845
SpringerLink (online služba)
14
Voronkov, Andrei
12
Dongarra, Jack
9
Univerzita Karlova. Katedra softwarového inženýrství
8
Horváth, Zoltán
8
Plášil, František, 1943-
more ...
7
Zsók, Viktória
6
Dastani, Mehdi
5
Branke, Jürgen
5
Chapman, Barbara M
5
Cotta, Carlos
5
Ekárt, Anikó
5
Giese, Holger
5
Hanus, Michael
5
Karczewski, Konrad
5
Kordon, Fabrice
5
Machado, Penousal
5
Mayr, Ernst W
5
Peña, Ricardo
5
Plasmeijer, Rinus
5
Romanovsky, Alexander
5
Seipel, Dietmar
5
Sirjani, Marjan
5
Vorozhtsov, Evgenii V
5
Waśniewski, Jerzy
5
Wyrzykowski, Roman
4
Alexander, Michael
4
Ali, Moonis
4
Barthe, Gilles
4
Boissier, Olivier
see all ...
less ...
Language
921
English
15
Czech
1
Russian
Genre
855
elektronicke knihy
40
časopisy
12
disertace
5
autoreferáty
3
abstrakta
2
monografie
more ...
2
příručky
1
doktorské disertace
1
habilitační práce
1
sborníky
1
sborníky konferencí
1
učebnice
1
učebnice vysokých škol
see all ...
less ...
Year of Publication
From:
To:
PSH
935
programování
831
informatika
540
softwarové inženýrství
408
programovací jazyky
301
umělá inteligence
286
algoritmizace
more ...
278
počítače
257
matematická logika
67
podnikové informační systémy
64
počítačová simulace
46
rozpoznávání obrazců
41
systémy řízení báze dat
40
vyhledávání v datech
39
aplikační programy
36
numerická analýza
32
počítačová grafika
31
software
31
zpracování obrazů
25
šifrování dat
23
počítačová bezpečnost
15
bioinformatika
11
matematická statistika
10
mikroprocesory
8
internet
6
databázové systémy
5
počítačové sítě
5
strojová lingvistika
5
zpracování textů
4
programovací jazyk Java
4
výpočetní technika
see all ...
less ...
Digitalization
1
Digitized
×
Loading...
