Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Dil
Yayın Yılı
-
Konu
Logic design.
(1153)
Computer science.
(1027)
Software engineering.
(743)
Artificial intelligence.
(359)
Computer Communication Networks.
(291)
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ç
1309 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
553. 
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings için kapak resmi
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Yazar 
Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22944-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
554. 
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:
555. 
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings için kapak resmi
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Yazar 
Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
556. 
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings için kapak resmi
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Yazar 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
557. 
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:
558. 
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Yazar 
Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24431-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
559. 
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers için kapak resmi
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Yazar 
Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24452-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
560. 
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:
561. 
VLSI Physical Design: From Graph Partitioning to Timing Closure için kapak resmi
VLSI Physical Design: From Graph Partitioning to Timing Closure
Yazar 
Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9591-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
562. 
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:
563. 
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:
564. 
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Yazar 
Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-18378-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç