Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Logical methods in computer science (allikas)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
8
Vaata veel..
(5/401)
Ekspordi
ekspordi kõik päringu tulemused
(8)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
http://dx.doi.org/10.2168/LMCS-11(1:1)2015
artikkel ajakirjas
2
artikkel ajakirjas
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
http://doi.org/10.23638/LMCS-14(4:6)2018
artikkel ajakirjas
3
artikkel ajakirjas
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://lmcs.episciences.org/
http://doi.org/10.46298/LMCS-19(1:7)2023
artikkel ajakirjas
4
artikkel ajakirjas
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
artikkel ajakirjas
5
artikkel ajakirjas
Monads need not be endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-40
http://dx.doi.org/10.2168/LMCS-11(1:3)2015
artikkel ajakirjas
6
artikkel ajakirjas
On streams that are finitely red
Bezem, Marc
;
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2012
/
p. 1-20
artikkel ajakirjas
7
artikkel ajakirjas
Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
artikkel ajakirjas
8
artikkel ajakirjas
When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2014
/
p. 1-48 : ill
artikkel ajakirjas
Kirjeid leitud 8, kuvan
1 - 8
seeria-sari
210
1.
Annals of computer science and information systems ; 2
2.
Communications in computer and information science ; 1028
3.
Communications in computer and information science ; 1046
4.
Communications in computer and information science ; 1135
5.
Communications in computer and information science ; 1207
6.
Communications in computer and information science ; 1225
7.
Communications in computer and information science ; 1243
8.
Communications in computer and information science ; 1259
9.
Communications in computer and information science ; 1306
10.
Communications in computer and information science ; 1349
11.
Communications in Computer and Information Science ; 1371
12.
Communications in computer and information science ; 1440
13.
Communications in computer and information science ; 1481
14.
Communications in computer and information science ; 1529
15.
Communications in Computer and Information Science ; 1545
16.
Communications in Computer and Information Science ; 1598
17.
Communications in computer and information science ; 1652
18.
Communications in computer and information science ; 1688
19.
Communications in computer and information science ; 446
20.
Communications in computer and information science ; 465
21.
Communications in computer and information science ; 533
22.
Communications in computer and information science ; 555
23.
Communications in computer and information science ; 615
24.
Communications in computer and information science ; 620
25.
Communications in computer and information science ; 721
26.
Communications in computer and information science ; 724
27.
Communications in computer and information science ; 743
28.
Communications in computer and information science ; 745
29.
Communications in computer and information science ; 838
30.
Communications in computer and information science ; 898
31.
Communications in computer and information science ; 914
32.
Communications in computer and information science ; 947
33.
Communications in computer and information science 1688
34.
Communications in Computer and Information Science book series, vol. 1465
35.
Communications in Computer and Information Science, vol. 1465
36.
Department of Computer Science Report Series A ; A/2003/1
37.
Electronic Proceedings in Theoretical Computer Science
38.
Electronic proceedings in theoretical computer science ; 207
39.
Electronic proceedings in theoretical computer science ; 246
40.
Electronic proceedings in theoretical computer science ; 350
41.
Electronic Proceedings in Theoretical Computer Science ; 358
42.
Electronic Proceedings in Theoretical Computer Science ; Vol. 360
43.
Electronic proceedings in theoretical computer science ; Volume 358
44.
Electronic proceedings in theoretical computer science, EPTCS ; 372
45.
IFIP transactions A : Computer science and technology ; A-17
46.
Kiel Computer Science series
47.
Lecture notes in computer science ; 10014
48.
Lecture notes in computer science ; 10018
49.
Lecture notes in computer science ; 10119
50.
Lecture notes in computer science ; 10141
51.
Lecture notes in computer science ; 10168
52.
Lecture notes in computer science ; 10292
53.
Lecture notes in computer science ; 10324
54.
Lecture notes in computer science ; 10325
55.
Lecture notes in computer science ; 10342
56.
Lecture notes in computer science ; 10428
57.
Lecture notes in computer science ; 10441
58.
Lecture notes in computer science ; 10492
59.
Lecture notes in computer science ; 10509
60.
Lecture notes in computer science ; 10580
61.
Lecture notes in computer science ; 10592
62.
Lecture notes in computer science ; 10608
63.
Lecture notes in computer science ; 10615
64.
Lecture notes in computer science ; 10626
65.
Lecture notes in computer science ; 10646
66.
Lecture notes in computer science ; 10674
67.
Lecture notes in computer science ; 10680
68.
Lecture notes in computer science ; 10695
69.
Lecture notes in computer science ; 10706
70.
Lecture notes in computer science ; 10720
71.
Lecture notes in computer science ; 10811
72.
Lecture notes in computer science ; 10851
73.
Lecture notes in computer science ; 10871
74.
Lecture notes in computer science ; 10925
75.
Lecture notes in computer science ; 10978
76.
Lecture Notes in Computer Science ; 11020
77.
Lecture notes in computer science ; 11032
78.
Lecture notes in computer science ; 11082
79.
Lecture notes in computer science ; 11107
80.
Lecture notes in computer science ; 11143
81.
Lecture notes in computer science ; 11187
82.
Lecture notes in computer science ; 11195
83.
Lecture notes in computer science ; 11252
84.
Lecture notes in computer science ; 11483
85.
Lecture notes in computer science ; 11530
86.
Lecture notes in computer science ; 11613
87.
Lecture notes in computer science ; 11689
88.
Lecture notes in computer science ; 11701
89.
Lecture notes in computer science ; 11709
90.
Lecture notes in computer science ; 11716
91.
Lecture notes in computer science ; 11814
92.
Lecture notes in computer science ; 11913
93.
Lecture notes in computer science ; 12011
94.
Lecture notes in computer science ; 12066
95.
Lecture notes in computer science ; 12071
96.
Lecture notes in computer science ; 12077
97.
Lecture notes in computer science ; 12169
98.
Lecture notes in computer science ; 12197
99.
Lecture notes in computer science ; 12210
100.
Lecture notes in computer science ; 12219
101.
Lecture notes in computer science ; 12220
102.
Lecture notes in computer science ; 12233
103.
Lecture notes in computer science ; 12252
104.
Lecture notes in computer science ; 12286
105.
Lecture notes in computer science ; 12310
106.
Lecture Notes in Computer Science ; 12391
107.
Lecture Notes in Computer Science ; 12393
108.
Lecture notes in computer science ; 12394
109.
Lecture notes in computer science ; 12455
110.
Lecture notes in computer science ; 12466
111.
Lecture notes in computer science ; 12470
112.
Lecture notes in computer science ; 12475
113.
Lecture notes in computer science ; 12621
114.
Lecture notes in computer science ; 12670
115.
Lecture notes in computer science ; 12717
116.
Lecture Notes in Computer Science ; 12732
117.
Lecture notes in computer science ; 12741
118.
Lecture notes in computer science ; 12788
119.
Lecture notes in computer science ; 12843
120.
Lecture notes in computer science ; 12854
121.
Lecture Notes in Computer Science ; 12909
122.
Lecture notes in computer science ; 12923
123.
Lecture notes in computer science ; 12926
124.
Lecture notes in computer science ; 13038
125.
Lecture notes in computer science ; 13076
126.
Lecture notes in computer science ; 13077
127.
Lecture notes in computer science ; 13147
128.
Lecture Notes in Computer Science ; 13242
129.
Lecture notes in computer science ; 13245
130.
Lecture notes in computer science ; 13248
131.
Lecture Notes in Computer Science ; 13385
132.
Lecture notes in computer science ; 13426
133.
Lecture Notes in Computer Science ; 13445
134.
Lecture notes in computer science ; 13454
135.
Lecture notes in computer science ; 13462
136.
Lecture Notes in Computer Science ; 13511
137.
Lecture notes in computer science ; 13544
138.
Lecture Notes in Computer Science ; 13572
139.
Lecture Notes in Computer Science ; 13635
140.
Lecture notes in computer science ; 13768
141.
Lecture Notes in Computer Science ; 13785
142.
Lecture notes in computer science ; 1462
143.
Lecture notes in computer science ; 1482
144.
Lecture notes in computer science ; 1673
145.
Lecture notes in computer science ; 2188
146.
Lecture notes in computer science ; 2980
147.
Lecture notes in computer science ; 3283
148.
Lecture notes in computer science ; 3622
149.
Lecture notes in computer science ; 3631
150.
Lecture notes in computer science ; 4014
151.
Lecture notes in computer science ; 4019
152.
Lecture notes in computer science ; 4574
153.
Lecture notes in computer science ; 4912
154.
Lecture notes in computer science ; 6303
155.
Lecture notes in computer science ; 6440
156.
Lecture notes in computer science ; 6678
157.
Lecture notes in computer science ; 6943
158.
Lecture notes in computer science ; 7057
159.
Lecture notes in computer science ; 7121
160.
Lecture notes in computer science ; 714
161.
Lecture notes in computer science ; 7161
162.
Lecture notes in computer science ; 7775
163.
Lecture notes in computer science ; 7959
164.
Lecture notes in computer science ; 8226
165.
Lecture notes in computer science ; 8252
166.
Lecture notes in computer science ; 8602
167.
Lecture notes in computer science ; 8741
168.
Lecture notes in computer science ; 8782
169.
Lecture notes in computer science ; 8834
170.
Lecture notes in computer science ; 8840
171.
Lecture notes in computer science ; 8954
172.
Lecture notes in computer science ; 8985
173.
Lecture notes in computer science ; 9254
174.
Lecture notes in computer science ; 9265
175.
Lecture notes in computer science ; 932
176.
Lecture notes in computer science ; 9406
177.
Lecture notes in computer science ; 9417
178.
Lecture notes in computer science ; 9510
179.
Lecture notes in computer science ; 9584
180.
Lecture notes in computer science ; 9586
181.
Lecture notes in computer science ; 9634
182.
Lecture notes in computer science ; 9664
183.
Lecture notes in computer science ; 9752
184.
Lecture notes in computer science ; 9753
185.
Lecture notes in computer science ; 9820
186.
Lecture notes in computer science ; 9821
187.
Lecture notes in computer science ; 9831
188.
Lecture notes in computer science ; 9889
189.
Lecture notes in computer science ; 9933
190.
Lecture notes in computer science ; 9991
191.
Lecture notes in computer science ; vol. 13439
192.
Lecture Notes in Computer Science book series ; 13295
193.
Lecture Notes in Computer Science, 13027
194.
Lecture notes in computer science, ISSN 0302-9743 ; 7213
195.
Lecture notes in computer science, ISSN 0302-9743 ; 7321
196.
Lecture notes in computer science, ISSN 0302-9743 ; 7663
197.
Lecture notes in computer science, ISSN 0302-9743 ; 7666
198.
Notes in computer science book series ; 11825
199.
Procedia computer science ; 181
200.
Scientific papers / University of Latvia Technologies ; Volume 757, Computer science and information technologies
201.
SpringerBriefs in computer science
202.
Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001
203.
Theoretical Computer Science and General Issues ; 11195
204.
Theoretical computer science and general issues ; 12071
205.
Theoretical computer science and general issues ; 12310
206.
Theoretical computer science and general issues; 11187
207.
Theoretical computer science and general issues; 11913
208.
Theoretical computer science and general issues; 12286
209.
Research report / Department of Computer and Information Science, Linköping University, ISSN 0281-4250 ; LiTH-IDA-R-92-03
210.
Theses of Tallinn Technical University. C, Computer science. Control engineering = Tallinna Tehnikaülikooli väitekirjad, 1406-4731 ; 1
allikas
106
1.
Logical methods in computer science
2.
PhD in computer science, computer engineering, software engineering, information systems
3.
Journal of logical and algebraic methods in programming
4.
Computer Methods and Experimental Measurements for Surface Effects and Contact Mechanics VII
5.
Computer methods and experimental measurements for surface effects and contact mechanics VIII
6.
Computer methods and programs in biomedicine
7.
Information Technology & Computer Science : abstracts : 8th Annual International Conference on Information Technology & Computer Science, 21-24 May 2012, Athens, Greece
8.
Recent advances in applied computer science : proceedings of the 8th WSEAS International Conference on Applied Computer Science (ACS'08) : Venice, Italy, November 21-23, 2008
9.
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings
10.
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
11.
Bulletin of the European Association for Theoretical Computer Science
12.
Colloquium on Algebra, Combinatorics and Logic in Computer Science : abstracts
13.
Computer science and information systems
14.
Computer science review
15.
Computer systems science and engineering
16.
CSCS '22: Computer Science in Cars Symposium
17.
Discrete mathematics and theoretical computer science
18.
Electronic notes in theoretical computer science
19.
Electronic proceedings in theoretical computer science
20.
IADIS international journal on computer science and information system
21.
International journal of applied mathematics and computer science
22.
International Journal of Computer Science & Network Security
23.
International journal of computer science and security
24.
International journal of microelectronics and computer science
25.
International journal of modern education and computer science
26.
International journal of scientific research in computer science, engineering and information technology
27.
International Multidisciplinary Conference on Computer and Energy Science (SpliTech)
28.
Journal of computer science and technology
29.
Journal of mathematics, mechanics and computer science
30.
Journal of universal computer science
31.
Lecture notes in computer science
32.
Mathematical structures in computer science
33.
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
34.
Open computer science
35.
Periodica polytechnica electrical engineering and computer science
36.
Procedia computer science
37.
Proceeding of the 4th International Conference on Recent Trends in Computer Science and Electronics 2019
38.
Proceedings of the 13th International Conference on Control Systems and Computer Science : Bucharest, 2001
39.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems
40.
Proceedings of the 4th International Workshop on Computer Science and Information Technologies, Patras, Greece
41.
Science of computer programming
42.
SN Computer Science
43.
Software Engineering and Algorithms : Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1
44.
Software engineering perspectives in systems : proceedings of 11th Computer Science On-line Conference 2022, Vol. 1
45.
Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005
46.
Theoretical computer science
47.
Twelfth Estonian Winter School in Computer Science (EWSCS'07) : Lahemaa, Estonia, March 4-9, 2007
48.
Vietnam journal of computer science
49.
2013 Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Krakow, Poland
50.
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
51.
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings
52.
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
53.
Continuous biomanufacturing ‐ innovative technologies and methods : innovative technologies and methods
54.
Advances in Mathematical and Computational Methods : proceedings of the 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering (MACMESE`10)
55.
Proceedings of World Academy of Science, Engineering and Technology (WASET) : International Conference on Computer, Electrical, and Systems Science, and Engineering (CESSE) : Berlin, Germany, 2007
56.
Science after the practice turn in the philosophy, history, and social studies of science
57.
World Acedemy of Science, Engineering and Technology : International Science Index
58.
Logic and logical philosophy
59.
Modelling, Logical and Philosophical Aspects of Foundations of Science. Vol. I
60.
The 3rd European IEEE Workshop on Computer-Intensive Methods in Control and Data Processing : Can We Beat the Curse of Dimensionality?, September 7-9, 1998, Prague, Czech Republic
61.
1st CEACM Conference on Computational Mechanics : 15th International Conference on Computer Methods in Mechanics CMM-2003 : Gliwice/Wisla, June 3-6, 2003 : short papers
62.
Abstracts of invited lectures and short communications delivered at "The Eighth International Colloquium on Numerical Analysis and Computer Science with Applications : Plovdiv, Bulgaria, August 13-17, 1999
63.
Advances in computer and information Science and Engineering. XVIII
64.
Advances in computer science : proceedings of the 6th WSEAS European Computing Conference (ECC'12) : Prague, Czech Republic, September 24-26, 2012
65.
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
66.
Computer Aided Learning and Instruction in Science and Engineering : Fourth International Conference, CALISCE'98, Göteborg, Sweden, June 15-17, 1998 : proceedings
67.
Computer Science Meets Automation : 10-13 September 2007 : proceedings. Volume II
68.
CSCS-12 : 12th International Conference on Control Systems and Computer Science : proceedings : May 26-29, 1999, Bucharest, Romania. Vol. 1
69.
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
70.
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
71.
IKM 2003 : proceedings 16th International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering : digital proceedings
72.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol. 13635 LNCS
73.
Procedia Computer Science : The 13th International Conference on Ambient Systems, Networks and Technologies (ANT) / The 5th International Conference on Emerging Data and Industry 4.0 (EDI40)
74.
Proceedings : 2011 IEEE International Conference on Computer Science and Automation Engineering : June 10-12, 2011, Shanghai, China
75.
Proceedings : CSCS-14, 14th International Conference on Control Systems and Computer Science, July 2-5, 2003, Politehnica University of Bucharest. 2
76.
Proceedings of the [10th] International Conference e-Learning 2016 : Madeira, Portugal, July 1-4, part of the Multiconference on Computer Science and Information Systems MCCSIS
77.
Proceedings of the 2010 IRAST International Congress on Computer Applications and Computational Science (CACS 2010) : 4-6 December 2010, Singapore
78.
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science. Vol. 2
79.
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
80.
Proceedings of the Federated Conference on Computer Science and Information Systems : FedCSIS 2011 : Szczecin, Poland, 18-21 September 2011
81.
Proceedings of the Federated Conference on Computer Science and Information Systems : FedCSIS 2012 : Wrocław, Poland, 9-12 September, 2012
82.
Proceedings of the IADIS Multi Conference on Computer Science and Information Systems. Part 1, Intelligent Systems and Agents
83.
Proceedings of the International Multiconference on Computer Science and Information Technology (IMCSIT 2010) : Wisla, Poland, 18-20.10.2010
84.
Proceedings of the Second International Conference on Environmental and Computer Science : ICECS'09 : Dubai, 28-30 December 2009
85.
Proceedings of the World Congress on Engineering and Computer Science 2011 : WCECS 2011 : October 19-21, 2011, San Francisco, USA. Vol. I
86.
Scientific papers University of Latvia. Series - Computer science and information
87.
Scientific proceedings of Riga Technical University. 5. [series], Computer science
88.
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
89.
SOFSEM 2020: Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : Proceedings
90.
Software Engineering and Algorithms in Intelligent Systems : Proceedings of 7th Computer Science On-line Conference 2018, Vol. 1
91.
Software Engineering Perspectives and Application in Intelligent Systems : proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
92.
The 2011 World Congress on Computer Science and Information Technology WCSIT'11, 24-27 January 2011, Cairo, Egypt
93.
Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia : March 2-7, 2008
94.
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
95.
World Academy of Science, Engineering and Technology. International journal of electrical, computer, electronics and communication engineering
96.
2017 International Conference on Electrical Engineering and Computer Science (ICECOS 2017) : Palembang, Indonesia, 22-23 August 2017
97.
2018 Ivannikov Isp Ras Open Conference Dedicated to the 70th Anniversary of Computer Science in Russia : ISPRAS 2018: 22–23 November, 2018 Moscow, Russia Federation
98.
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
99.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
100.
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa 2 August 2022 - 5 August 2022
101.
42nd International Scientific Conference of Riga Technical University : abstracts of presentations. Section: Computer Science
102.
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings
103.
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
104.
9th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2010) : August 18-20, 2010, Japan
105.
Coherence Domain Optical Methods in Biomedical Science and Clinical Applications IV : 24-26 January, 2000, San Jose, California
106.
Proceedings of Coherence Domain Optical Methods in Biomedical Science and Clinical Applications III : 27-29 January, 1999, San Jose, California
pealkiri
57
1.
Predicting first-year computer science students drop-out with machine learning methods: A case study
2.
Computer-aided learning of computer science
3.
A method for adding cyberethical behaviour measurements to computer science homework assignments
4.
Computer science E-courses for students with different learning styles
5.
Computer science students early drop-out prediction using machine learning : a case study
6.
Experiencing education in engineering, computer technology and applied science for crossing international, cultural and social borders
7.
Humanistic computer science dangerous?
8.
Individual learning approach in the basic course of computer science
9.
Research projects concerning information technology and computer science in Estonia in 1996
10.
Theoretical computer science and general issues ; 12071
11.
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
12.
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
13.
Computer-based learning in occupational safety and health and health problems with computer use
14.
Some summability methods b-equivalent to the Cesaro methods
15.
Engineering pedagogy science as the contemporary basis for effective teaching of science, technology and engineering
16.
Functions of history of science for philosophy of science
17.
Knowledge in science and non-science
18.
The science to save us from philosophy of science
19.
TTÜ Üliõpilasesindus esitleb - Dirty Science! : [Dirty Science - üritustesari]
20.
Assertion and denial : a contribution from logical notations
21.
Assertions and hypotheses : a logical framework for their opposition relations
22.
Design and optimization of super-speed CMOS/CBiCMOS circuits based on TCAD and time-logical simulator
23.
Design of logical control devices
24.
Development of prosumer logical structure and object modeling
25.
Discovering logical constructs from Estonian children language = Loogiliste konstruktsioonide avastamine eesti laste keelest
26.
Existential graphs as an instrument of logical analysis : part I. Alpha
27.
Extensions of Euler diagrams in Peirce's four manuscripts on logical graphs
28.
From Mitchell to Carus : fourteen years of logical graphs in the making
29.
Habits of reasoning : on the grammar and critics of logical habits
30.
Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophy
31.
Introduction : history and philosophy of logical notation
32.
Introduction to Volume 2/1: The Logical Tracts
33.
Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 2013
34.
Logical and linguistic games from Peirce to Grice to Hintikka
35.
Logical consequence in the diagrammatic system of assertive graphs [Online resource]
36.
Logical investigations on assertion and denial
37.
On the logical philosophy of assertive graphs
38.
Pragmaticism as a logical study of consciousness
39.
Representing logical inference steps with digital circuits
40.
Research and training environment for decomposition-based logical design
41.
SCAAT: Secure cache alternative address table for mitigating cache logical side-channel attacks
42.
Selection of a green logical data warehouse schema by anti-monotonicity constraint
43.
Solving large systems of logical equations
44.
Soyons logiques = Let's be logical
45.
The logical burdens of proof : assertion and hypothesis
46.
Thoughts, things and logical guidance
47.
Combination of pedagogical strategies and teaching techniques for teaching computer science basics to novices = Pedagoogika strateegiate ja õpetamise tehnikate kombinatsioon informaatika algkursuse õpetamisel algajatele
48.
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
49.
Fifteenth Estonian Winter School in Computer Science (EWSCS'10) : Park Hotel Palmse, Lahemaa, Estonia : February 28 - March 5, 2010
50.
Fourteenth Estonian Winter School in Computer Science (EWSCS'09) : Park Hotel Palmse, Lahemaa, Estonia : March 1-6, 2009
51.
[Halbwachs, N. Synchronous programming of reactive systems. The Kluwer International Series in Engineering and Computer Science, 1993 : Book review]
52.
Seventeenth Estonian Winter School in Computer Science (EWSCS'12) : Park Hotel Palmse, Lahemaa, Estonia : February 26 - March 2, 2012
53.
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
54.
6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedings
55.
Study centre for IT foundations at Tallinn University of Technology – computer science basics to first year students
56.
Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia : March 2-7, 2008
57.
6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedings
võtmesõna
19
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
classical vs. non-classical logical graphs
6.
logical analysis
7.
logical construction and phenomenological reduction
8.
logical critics
9.
logical de-rating
10.
logical distances
11.
logical form
12.
logical graphs
13.
logical node
14.
Logical notations
15.
logical octagon
16.
logical opposition
17.
logical reasoning
18.
logical relations
19.
logical schema
kirjastus/väljaandja
9
1.
Department of Microelectronics and Computer Science, Lodz University of Technology
2.
Faculty of Computer Science and Information Technology
3.
Kiel University, Department of Computer Science
4.
Tallinn University of Technology, Faculty of Information Technology, Department of Computer Science
5.
Technical University, Faculty of Electrical Engineering and Computer Science
6.
Turku Centre for Computer Science
7.
University of Kuopio, Department of Computer Science
8.
University of Ljubljana, Faculty of Computer and Information Science
9.
[International Journal of Computer Science and Network Security]
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT