Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
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ç
3166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
2629. 
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings için kapak resmi
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
Yazar 
Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2630. 
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings için kapak resmi
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Yazar 
Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2631. 
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers için kapak resmi
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Yazar 
Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2632. 
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings için kapak resmi
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Yazar 
Ramalingam, G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2633. 
Software-Intensive Systems and New Computing Paradigms Challenges and Visions için kapak resmi
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
Yazar 
Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2634. 
Guida alla teoria degli insiemi için kapak resmi
Guida alla teoria degli insiemi
Yazar 
Lolli, Gabriele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0769-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2635. 
Deduction, Computation, Experiment Exploring the Effectiveness of Proof için kapak resmi
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Yazar 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2636. 
New essays on Tarski and philosophy için kapak resmi
New essays on Tarski and philosophy
Yazar 
Patterson, Douglas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2637. 
Digital systems design with FPGAs and CPLDs için kapak resmi
Digital systems design with FPGAs and CPLDs
Yazar 
Grout, Ian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750683975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2638. 
Classical algebra its nature, origins, and uses için kapak resmi
Classical algebra its nature, origins, and uses
Yazar 
Cooke, Roger, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Click here to view book
Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.
John Wiley http://dx.doi.org/10.1002/9780470277980
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2639. 
Discrete Thoughts Essays on Mathematics, Science and Philosophy için kapak resmi
Discrete Thoughts Essays on Mathematics, Science and Philosophy
Yazar 
Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4775-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2640. 
Indiscrete Thoughts için kapak resmi
Indiscrete Thoughts
Yazar 
Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4781-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç