Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Jacko, Julie A. editor.
(4)
Stephanidis, Constantine. editor.
(3)
Caro, Jaime. editor.
(2)
Dams, Dennis. editor.
(2)
Dil
Yayın Yılı
-
Konu
Human-computer interaction.
(33)
User Interfaces and Human Computer Interaction.
(33)
Computer Science Logic and Foundations of Programming.
(31)
Computer science.
(31)
Software engineering.
(25)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
33 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers için kapak resmi
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
by 
Miksch, Silvia. editor.
https://doi.org/10.1007/978-3-319-13281-5
Format: 
Alıntı: 
the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / Miksch
2. 
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
by 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
3. 
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
by 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-642-38230-7
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
4. 
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings için kapak resmi
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
by 
Nishizaki, Shin-ya. editor.
https://doi.org/10.1007/978-4-431-54436-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
5. 
Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces için kapak resmi
Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces
by 
Lemon, Oliver. editor.
https://doi.org/10.1007/978-1-4614-4803-7
Format: 
Alıntı: 
Computer arithmetic and logic units.
6. 
Theory and Practice of Computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings için kapak resmi
Theory and Practice of Computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings
by 
Nishizaki, Shin-ya. editor.
https://doi.org/10.1007/978-4-431-54106-6
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
7. 
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers için kapak resmi
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
by 
Sloane, Anthony. editor.
https://doi.org/10.1007/978-3-642-28830-2
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
8. 
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers için kapak resmi
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
by 
Malloy, Brian. editor.
https://doi.org/10.1007/978-3-642-19440-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
9. 
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings için kapak resmi
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
by 
Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108
https://doi.org/10.1007/978-3-642-23059-2
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
10. 
Conceptual Modeling - ER 2011 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings için kapak resmi
Conceptual Modeling - ER 2011 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
by 
Jeusfeld, Manfred. editor.
https://doi.org/10.1007/978-3-642-24606-7
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
11. 
Rainbow of Computer Science Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday için kapak resmi
Rainbow of Computer Science Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
by 
Calude, Cristian S. editor.
https://doi.org/10.1007/978-3-642-19391-0
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
12. 
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever için kapak resmi
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
by 
Dams, Dennis. editor.
https://doi.org/10.1007/978-3-642-11512-7
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.