Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(241)
Rozenberg, Grzegorz. editor.
(7)
Löwe, Benedikt. editor.
(6)
Queiroz, Ruy. editor.
(6)
Fages, François. editor.
(5)
Dil
Yayın Yılı
-
2010
(33)
2012
(33)
2013
(33)
2009
(30)
2011
(24)
Konu
Computer science.
(234)
Logic design.
(201)
Software engineering.
(101)
Artificial intelligence.
(74)
Computational complexity.
(64)
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ç
241 sonuç bulundu Arama sonuçlarına abone ol
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Probabilistic Inductive Logic Programming Theory and Applications için kapak resmi
Probabilistic Inductive Logic Programming Theory and Applications
Yazar 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings için kapak resmi
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Yazar 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday için kapak resmi
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Yazar 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334547.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes için kapak resmi
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Yazar 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday için kapak resmi
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Yazar 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics için kapak resmi
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Yazar 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings için kapak resmi
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Yazar 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings için kapak resmi
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Yazar 
Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20920-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings için kapak resmi
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Yazar 
Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-18026-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings için kapak resmi
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Yazar 
Balasubramaniam, P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19263-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers için kapak resmi
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Yazar 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings için kapak resmi
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Yazar 
Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13824-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers için kapak resmi
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Yazar 
Raedt, Luc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13840-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings için kapak resmi
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Yazar 
Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15205-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday için kapak resmi
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Yazar 
Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15025-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings için kapak resmi
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Yazar 
Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02261-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers için kapak resmi
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Yazar 
Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03092-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers için kapak resmi
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Yazar 
Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03251-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings için kapak resmi
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Yazar 
Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92701-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings için kapak resmi
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Yazar 
Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69407-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings için kapak resmi
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Yazar 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings için kapak resmi
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Yazar 
Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers için kapak resmi
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Yazar 
Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers için kapak resmi
Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
Yazar 
Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings için kapak resmi
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Yazar 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
Yazar 
Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers için kapak resmi
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
Yazar 
Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73847-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings için kapak resmi
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Yazar 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Yazar 
Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11754602
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic için kapak resmi
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Yazar 
Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings için kapak resmi
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Yazar 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11536314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
A Graph-Theoretic Approach to Enterprise Network Dynamics için kapak resmi
A Graph-Theoretic Approach to Enterprise Network Dynamics
Yazar 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Yazar 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Yazar 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III için kapak resmi
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Yazar 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings için kapak resmi
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99639-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I için kapak resmi
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Yazar 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings için kapak resmi
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Yazar 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Yazar 
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03044-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings için kapak resmi
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Yazar 
Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98654-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Yazar 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings için kapak resmi
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Yazar 
Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2712-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings için kapak resmi
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Yazar 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Yazar 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Yazar 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings için kapak resmi
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Yazar 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings için kapak resmi
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Yazar 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I için kapak resmi
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Yazar 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers için kapak resmi
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Yazar 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings için kapak resmi
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332910.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Yazar 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Yer Numarası 
ONLINE(332964.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings için kapak resmi
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Yazar 
Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334771.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39274-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Yazar 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334778.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings için kapak resmi
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Yazar 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334814.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Yazar 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings için kapak resmi
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Yazar 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334973.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings için kapak resmi
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Yazar 
Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334980.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Yazar 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335003.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings için kapak resmi
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335023.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings için kapak resmi
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Yazar 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335030.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings için kapak resmi
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335046.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Yazar 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334014.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers için kapak resmi
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Yazar 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334658.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings için kapak resmi
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Yazar 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334665.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings için kapak resmi
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
Yazar 
Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334666.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38771-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings için kapak resmi
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Yazar 
Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334708.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334725.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics için kapak resmi
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Yazar 
Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336496.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers için kapak resmi
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Yazar 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334174.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings için kapak resmi
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334355.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings için kapak resmi
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Yazar 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334564.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings için kapak resmi
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Yazar 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334617.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings için kapak resmi
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Yazar 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334626.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers için kapak resmi
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Yazar 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335202.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Sparsity Graphs, Structures, and Algorithms için kapak resmi
Sparsity Graphs, Structures, and Algorithms
Yazar 
Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers için kapak resmi
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Yazar 
Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27901-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Yazar 
Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27940-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings için kapak resmi
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28332-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Yazar 
Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28472-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems için kapak resmi
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Yazar 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings için kapak resmi
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Yazar 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings için kapak resmi
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
Yazar 
Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30642-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings için kapak resmi
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Yazar 
Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30729-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers için kapak resmi
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Yazar 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers için kapak resmi
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Yazar 
Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers için kapak resmi
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Yazar 
Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29860-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings için kapak resmi
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Yazar 
Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30885-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday için kapak resmi
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Yazar 
Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30891-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings için kapak resmi
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Yazar 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Yazar 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Yazar 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings için kapak resmi
Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
Yazar 
Durand-Lose, Jérôme. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32894-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings için kapak resmi
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Yazar 
Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33512-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Yazar 
Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33536-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings için kapak resmi
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Yazar 
Milano, Michela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33558-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings için kapak resmi
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Yazar 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers için kapak resmi
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Yazar 
Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27654-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers için kapak resmi
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Yazar 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29449-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers için kapak resmi
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Yazar 
Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29517-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings için kapak resmi
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Yazar 
Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29952-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Yazar 
Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33365-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings için kapak resmi
Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings
Yazar 
Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34106-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers için kapak resmi
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Yazar 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings için kapak resmi
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Yazar 
Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20877-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings için kapak resmi
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Yazar 
Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21875-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II için kapak resmi
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Yazar 
Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22012-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings için kapak resmi
Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
Yazar 
Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22321-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings için kapak resmi
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
Yazar 
Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22953-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
Yazar 
Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22993-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
Yazar 
Cerone, Antonio. editor. Pihlajasaari, Pekka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23283-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Yazar 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers için kapak resmi
Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
Yazar 
Domaratzki, Michael. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-18098-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Yazar 
Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-18275-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings için kapak resmi
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
Yazar 
Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20712-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings için kapak resmi
Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
Yazar 
Calude, Cristian S. editor. Kari, Jarkko. editor. Petre, Ion. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21341-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Yazar 
Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21581-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings için kapak resmi
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
Yazar 
Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22256-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings için kapak resmi
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
Yazar 
Delzanno, Giorgio. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24288-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Yazar 
Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24310-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings için kapak resmi
Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
Yazar 
Lee, Jimmy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23786-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings için kapak resmi
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Yazar 
Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24364-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings için kapak resmi
Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
Yazar 
Kivinen, Jyrki. editor. Szepesvári, Csaba. editor. Ukkonen, Esko. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24412-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Yazar 
Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24154-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Yazar 
Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11319-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
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
Yazar 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings için kapak resmi
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Yazar 
Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11811-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings için kapak resmi
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13089-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings için kapak resmi
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Yazar 
Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13182-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings için kapak resmi
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Yazar 
Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13562-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings için kapak resmi
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Yazar 
Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14553-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Yazar 
Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15155-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings için kapak resmi
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Yazar 
Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15234-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings için kapak resmi
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Yazar 
Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15240-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Yazar 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Yazar 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings için kapak resmi
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Yazar 
Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15349-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings için kapak resmi
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Yazar 
Cohen, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15396-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
The P=NP Question and Gödel’s Lost Letter için kapak resmi
The P=NP Question and Gödel’s Lost Letter
Yazar 
Lipton, Richard J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings için kapak resmi
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Yazar 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings için kapak resmi
Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
Yazar 
Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16054-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
Yazar 
Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11829-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems için kapak resmi
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Yazar 
Puppis, Gabriele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11881-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings için kapak resmi
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
Yazar 
Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13523-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings için kapak resmi
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Yazar 
Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13977-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Yazar 
Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14186-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings için kapak resmi
Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
Yazar 
Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14455-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers için kapak resmi
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
Yazar 
Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14684-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings için kapak resmi
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
Yazar 
Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15618-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings için kapak resmi
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Yazar 
Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15684-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings için kapak resmi
Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
Yazar 
Hutter, Marcus. editor. Stephan, Frank. editor. Vovk, Vladimir. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16108-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings için kapak resmi
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Yazar 
Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16265-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings için kapak resmi
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Yazar 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00768-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings için kapak resmi
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Yazar 
Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02351-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings için kapak resmi
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Yazar 
Vahrenhold, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02011-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings için kapak resmi
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Yazar 
Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02017-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings için kapak resmi
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Yazar 
Maneth, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02979-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings için kapak resmi
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Yazar 
Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03351-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Yazar 
Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03359-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings için kapak resmi
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Yazar 
Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03409-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday için kapak resmi
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Yazar 
Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03456-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings için kapak resmi
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Yazar 
Datta, Anupam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10622-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings için kapak resmi
Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
Yazar 
Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10631-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers için kapak resmi
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Yazar 
Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11269-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers için kapak resmi
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Yazar 
Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01639-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings için kapak resmi
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Yazar 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Yazar 
Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03816-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Principles of Programming Languages için kapak resmi
Principles of Programming Languages
Yazar 
Dowek, Gilles. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings için kapak resmi
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Yazar 
Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03751-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures için kapak resmi
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Yazar 
Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03754-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings için kapak resmi
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Yazar 
Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04081-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings için kapak resmi
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Yazar 
Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04222-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings için kapak resmi
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Yazar 
Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04420-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers için kapak resmi
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Yazar 
Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04694-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Yazar 
Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04761-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings için kapak resmi
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Yazar 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday için kapak resmi
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Yazar 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings için kapak resmi
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Yazar 
Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70844-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers için kapak resmi
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Yazar 
Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Yazar 
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Yazar 
Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings için kapak resmi
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Yazar 
Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
A Modular Calculus for the Average Cost of Data Structuring için kapak resmi
A Modular Calculus for the Average Cost of Data Structuring
Yazar 
Schellekens, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Theoretische Informatik Eine umfassende Einführung için kapak resmi
Theoretische Informatik Eine umfassende Einführung
Yazar 
Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76320-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Petri-Netze için kapak resmi
Petri-Netze
Yazar 
Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76971-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
Yazar 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings için kapak resmi
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
Yazar 
Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Yazar 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers için kapak resmi
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Yazar 
Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
Practical Problems in VLSI Physical Design Automation için kapak resmi
Practical Problems in VLSI Physical Design Automation
Yazar 
Lim, Sung Kyu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings için kapak resmi
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
Yazar 
Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Yazar 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71035-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra için kapak resmi
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Yazar 
Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-35651-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings için kapak resmi
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
Yazar 
Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings için kapak resmi
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
Yazar 
Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers için kapak resmi
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Yazar 
Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition için kapak resmi
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Yazar 
Liblit, Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Yazar 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
The Calculus of Computation Decision Procedures with Applications to Verification için kapak resmi
The Calculus of Computation Decision Procedures with Applications to Verification
Yazar 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Yazar 
Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures için kapak resmi
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Yazar 
George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers için kapak resmi
Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
Yazar 
Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76336-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings için kapak resmi
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Yazar 
Cervesato, Iliano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Parameterized Complexity Theory için kapak resmi
Parameterized Complexity Theory
Yazar 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Yazar 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11691372
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers için kapak resmi
Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Yazar 
Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11605157
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers için kapak resmi
Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers
Yazar 
Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11780885
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Yazar 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11814948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings için kapak resmi
Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
Yazar 
Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11812128
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings için kapak resmi
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Yazar 
Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11841883
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings için kapak resmi
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings
Yazar 
Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11874850
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings için kapak resmi
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
Yazar 
Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11672142
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings için kapak resmi
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
Yazar 
Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11682462
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Yazar 
Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11821069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings için kapak resmi
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Yazar 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11944836
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Yazar 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Einführung in die Informatik Objektorientiert mit Java için kapak resmi
Einführung in die Informatik Objektorientiert mit Java
Yazar 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138253
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings için kapak resmi
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Yazar 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104325
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings için kapak resmi
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11590156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Yazar 
Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11549345
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Complexity Theory Exploring the Limits of Efficient Algorithms için kapak resmi
Complexity Theory Exploring the Limits of Efficient Algorithms
Yazar 
Wegener, Ingo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27477-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers için kapak resmi
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Yazar 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11527695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Yazar 
Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11605300
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Yazar 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137280
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
Yazar 
Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107134
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers için kapak resmi
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Yazar 
Margenstern, Maurice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106980
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings için kapak resmi
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Yazar 
Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11560586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: