Search Results for Counting.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(49)

L'Annunziata, Michael F.

(4)

Fleming, Thomas R.

(2)

Horrocks, Donald L.

(2)

Lu, Zeguang. editor.

(2)

O'Connor, Desmond V.

(2)

Song, Xianhua. editor.

(2)

Abdelnour Nocera, José. editor.

(1)

Achilleos, Achilleas. editor.

(1)

Agarwal, Sonali. editor.

(1)

Alpen, Edward L.

(1)

American Water Works Association.

(1)

An International symposium on methods of low-level counting and spectromenrry (1981 : Berlin) (West)

(1)

Angelov, Plamen. editor.

(1)

Arel, Dominique, 1947-

(1)

Ash, Avner, 1949-

(1)

Baier, Christel. editor.

(1)

Ball, Keith M., 1960-

(1)

Bandyopadhyay, Sanghamitra. editor.

(1)

Barber, Lynn E.

(1)

Becker, Wolfgang. author.

(1)

Beierle, Christoph. editor.

(1)

Berrezueta, Santiago. editor. (orcid)

(1)

Bhurchandi, Kishor. editor.

(1)

Bi, Yaxin. editor.

(1)

Bibby, C. J. (Colin J.)

(1)

Bortz, Joel H. editor.

(1)

Broadbent, Jim.

(1)

Broadwell, Mike.

(1)

Buchmann, Robert Andrei. editor.

(1)

Burgess, Neil D.

(1)

Cagáňová, Dagmar. editor.

(1)

Cardoso, Jaime S. editor.

(1)

Carrasco-Ochoa, Jesús Ariel. editor.

(1)

Castleman, A. W. editor.

(1)

Chen, Hao. editor. (orcid)

(1)

Chen, Lin. author.

(1)

Crowder, M. J. (Martin J.), 1943-

(1)

Cummins, Kenneth B., ort. yaz.

(1)

Davenport, Elizabeth S.

(1)

Davis, Philip J., 1923-

(1)

DeBellis, Valerie A.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dekhtyar, Alex. editor.

(1)

Dimitrov, Vassil.

(1)

Dong, Jing. editor.

(1)

Edzwald, James K.

(1)

Ekbal, Asif. editor.

(1)

Fawcett, Harold Pascoe, 1894-

(1)

Fernau, Henning. editor.

(1)

Fielding, Helen, 1958-

(1)

Firth, Colin, 1960-

(1)

Foresti, Gian Luca. editor.

(1)

Fusiello, Andrea. editor.

(1)

Garau, Chiara. editor. (orcid)

(1)

Gervasi, Osvaldo. editor. (orcid)

(1)

Ghiran, Ana-Maria. editor.

(1)

Giaffreda, Raffaele. editor.

(1)

(1)

(1)

Grover, Velma I.

(1)

Guo, Bin. editor.

(1)

Gupta, Deep. editor.

(1)

Gutierrez, Jaime. editor.

(1)

Haarhoff, Johannes.

(1)

Hackshaw, Allan K.

(1)

Halldórsson, Magnús M. editor.

(1)

Han, Kyungsook. editor.

(1)

Han, Qilong. editor.

(1)

Hancock, Edwin. editor.

(1)

Harrington, David P.

(1)

Harrington, David P., ort. yaz.

(1)

(1)

Hasan, Muhammad Abul. editor.

(1)

He, Xiangjian. editor.

(1)

Hernández-Quiroz, Francisco. editor.

(1)

Herrera-Tapia, Jorge. editor.

(1)

Herzig, Andreas. editor.

(1)

Heymsfield, Steven, 1944-

(1)

Higgins, Peter M. author.

(1)

Hill, David A. (David Arnold), 1958-

(1)

Hirst, Jonathan.

(1)

Horrocks, Donald L., ed. by

(1)

Horrocks, Donald L., editor.

(1)

Hsieh, Scott. editor.

(1)

Huang, De-Shuang. editor.

(1)

Huang, Hui. editor.

(1)

Iliadis, Lazaros. editor. (orcid)

(1)

Iniewski, Krzysztof (Kris). editor.

(1)

International Conference on Liquid Scintillation Counting, Recent Applications and Development (1979 : University of California, San Francisco)

(1)

International Conference on Organic Scintillators and Liquid Scintillation Counting (1970 : San Francisco, Calif.)

(1)

International Conference on Organic scintillators and Liquid Scintillation Counting, San Francisco, 1970.

(1)

Iwama, Kazuo. editor.

(1)

Jagatheesan, Arun. editor.

(1)

Jansen, Klaus. editor.

(1)

Jatowt, Adam. editor.

(1)

Jayne, Chrisina. editor.

(1)

Jiang, Yuncheng. editor.

(1)

Jin, Zhi. editor.

(1)

(1)

Jordan, Kenneth D.

(1)

Judson, Phillip.

(1)

Jullien, Graham.

(1)

Kanoulas, Evangelos. editor.

(1)

Karaca, Yeliz. editor.

(1)

Kertzer, David I., 1948-

(1)

Kidron, Beeban.

(1)

Kobayashi, Naoki. editor.

(1)

Kobayashi, Yutaka, 1924-

(1)

Koh, K. M. (Khee Meng), 1944-

(1)

Kristín Lárusdóttir, Marta. editor.

(1)

Kroening, Daniel. editor.

(1)

Kryszkiewicz, Marzena. editor.

(1)

Kumar, Sanjeev. editor.

(1)

Kupferman, Orna. editor.

(1)

Kyriacou, Efthyvoulos. editor.

(1)

Kyrkou, Christos. editor.

(1)

Lanitis, Andreas. editor.

(1)

Lappin, Graham, PhD.

(1)

Lasserre, Jean-Bernard. author.

(1)

Levandoski, Justin. editor.

(1)

Li, Ruixuan. editor.

(1)

Li, Yong. editor.

(1)

(1)

Liu, Honghai. editor.

(1)

Liu, Lianqing. editor. (orcid)

(1)

Liu, Risheng. editor.

(1)

Lu, Huchuan. editor.

(1)

Lu, Jiwen. editor.

(1)

Luo, Jieting. editor.

(1)

Luo, Luyang. editor.

(1)

Luo, Suhuai. editor.

(1)

Ma, Wenjun. editor.

(1)

Magjarevic, Ratko. editor.

(1)

Maldonado-Mahauad, Jorge. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Martínez-Trinidad, José Francisco. editor. (orcid)

(1)

Maudsley, David V., joint author.

(1)

Maxwell, Glyn, 1962-

(1)

Michaels, John G.

(1)

Millspaugh, Joshua J.

(1)

Moon, Dora. editor.

(1)

Morin, Pat. editor.

(1)

Munro, Leonie. editor.

(1)

Murala, Subrahmanyam. editor.

(1)

Murgante, Beniamino. editor. (orcid)

(1)

Muscedere, Roberto.

(1)

Neumann, Thomas. editor.

(1)

Ngatched Nkouatchah, Telex Magloire. editor.

(1)

O'Neil, Peter V.

(1)

Oh, Jae-Won. author.

(1)

Olvera-López, José Arturo. editor. (orcid)

(1)

Ouyang, Wanli. editor.

(1)

Ouyang, Xiaoping. editor.

(1)

Ozawa, Seiichi. editor.

(1)

Pal, Sankar K. editor.

(1)

Panayides, Andreas. editor.

(1)

Papadopoulos, George Angelos. editor.

(1)

Papaleonidas, Antonios. editor. (orcid)

(1)

Pardo, Pere. editor.

(1)

Pardo, Xosé M. editor.

(1)

Paredes, Roberto. editor.

(1)

Pattichis, Constantinos. editor.

(1)

Pattichis, Marios. editor.

(1)

Paul, Elizabeth A.

(1)

Pavlo, Andrew. editor.

(1)

Payne, Steve. editor.

(1)

Peng, Chin-Tzu, 1921-

(1)

Peng, Chin-Tzu, 1921- editor.

(1)

Peng, Chin-Tzu., ed. by

(1)

Petit, Véronique. author.

(1)

Petrie, Helen. editor.

(1)

Phillips, D. (David)

(1)

Phillips, D., ort.yaz.

(1)

Piccinno, Antonio. editor.

(1)

Pissaloux, Edwige. editor.

(1)

Pitts, Andrew. editor. (orcid)

(1)

(1)

Pérez-Espinosa, Humberto. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Raman, Balasubramanian. editor.

(1)

Ramlaul, Aarthi. editor.

(1)

Riggio, Roberto. editor.

(1)

Rocha, Ana Maria A. C. editor. (orcid)

(1)

Rodríguez-González, Ansel Yoan. editor.

(1)

Rosen, Kenneth H.

(1)

Rosenblueth, David A. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Rybinski, Henryk. editor.

(1)

Ryding, Kristen E. (Kristen Elaine)

(1)

Salomaa, Arto. editor.

(1)

Saraswati, T. S., ed.

(1)

Schicho, Josef. editor.

(1)

(1)

Scorza, Francesco. editor.

(1)

Sempere, José M. editor.

(1)

Serre, Jean-Pierre, 1926-

(1)

(1)

Sobocinski, Pawel. editor.

(1)

Speckmann, Bettina. editor.

(1)

Tümünü genişlet

Dil

(91)

Multiple languages

(1)

Yayın Yılı

-

(28)

(16)

(8)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Liquid scintillation counting -- Congresses.

(4)

Liquid scintillation counting.

(4)

(4)

Scintillation Counting.

(4)

Radioactivity -- Measurement.

(3)

Drinking water -- Purification.

(2)

Failure time data analysis.

(2)

IŞILDAMA SAYAÇLARI.

(2)

(2)

Operations research.

(2)

Particle counting (Water treatment plants)

(2)

Radioactivity -- Measurement -- Handbooks, manuals, etc.

(2)

Scintillation Counting -- Congresses.

(2)

Adjustment (Psychology)

(1)

Animal populations -- Estimates -- Statistical methods.

(1)

Animals -- Counting -- Statistical methods.

(1)

(1)

Anthropometry -- methods

(1)

Antropometri -- yöntemler

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial intelligence.

(1)

Aşk, sinemada.

(1)

Biology -- Technique -- Congresses.

(1)

Biomedical engineering.

(1)

Bird populations -- Estimates.

(1)

Bird populations -- Great Britain.

(1)

Bird watchers -- Anecdotes.

(1)

Bird watching -- Canada -- Anecdotes.

(1)

Bird watching -- United States -- Anecdotes.

(1)

Birds -- Counting -- Canada -- Anecdotes.

(1)

Birds -- Counting -- United States -- Anecdotes.

(1)

Birds -- Counting.

(1)

Body Composition

(1)

(1)

Change (Psychology)

(1)

Chemistry, Physical organic.

(1)

Climatic changes -- Effect of human beings on.

(1)

Climatic changes -- Government policy -- International cooperation.

(1)

Climatic changes.

(1)

Cohomology operations.

(1)

Combinatorial analysis -- Handbooks, manuals, etc.

(1)

Combinatorial analysis.

(1)

(1)

(1)

Competing risks.

(1)

Computational Intelligence.

(1)

Computational complexity.

(1)

Computer arithmetic.

(1)

Computer science -- Mathematics -- Handbooks, manuals, etc.

(1)

Contemporary Christian music -- Lead sheets.

(1)

(1)

Curves, Elliptic.

(1)

(1)

Dental Research

(1)

Developmental psychology.

(1)

Discrete groups.

(1)

Diş Araştırma

(1)

(1)

Drug development -- Methodology.

(1)

ETNOPSİKOLOJİ.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Elliptic functions.

(1)

Engineering mathematics.

(1)

(1)

Ethnicity -- Case studies.

(1)

Ethnopsychology.

(1)

Evidence-Based Medicine

(1)

(1)

FOTON KORELASYONU.

(1)

(1)

(1)

Flüssigkeitsszintillationsmessung.

(1)

GELİŞİM PSİKOLOJİSİ.

(1)

Global warming -- Economic aspects.

(1)

Global warming -- Social aspects.

(1)

Gospel music -- Lead sheets.

(1)

Kanıta Dayalı Tıp

(1)

Knowledge, Theory of.

(1)

Komedi filmler.

(1)

(1)

Linguistic demography -- Case studies.

(1)

Liquid scintillation counting -- Handbooks, manuals, etc.

(1)

Logic, Symbolic and mathematical -- Methodology.

(1)

Loss (Psychology)

(1)

Love in motion pictures.

(1)

MATEMATİK -- ÖĞRENİM VE ÖĞRETİM (ORTA).

(1)

Martingales (Mathematics)

(1)

Mathematical optimization.

(1)

Mathematics -- Miscellanea.

(1)

Mathematics -- Popular works.

(1)

Mathematics -- Study and teaching (Elementary) -- Activity programs.

(1)

(1)

Motion pictures.

(1)

Multivariate analysis.

(1)

Operation Research/Decision Theory.

(1)

Optical engineering.

(1)

Organic scintillators -- Congresses.

(1)

Particles (Nuclear physics).

(1)

Photon correlation.

(1)

Photonenkorrelation.

(1)

Photonenzähler.

(1)

(1)

Point processes.

(1)

(1)

Race -- Case studies.

(1)

(1)

Radioactive tracers.

(1)

(1)

(1)

(1)

Representations of groups.

(1)

(1)

(1)

(1)

Saline water conversion.

(1)

Science (General).

(1)

(1)

Social sciences.

(1)

Spectrum analysis.

(1)

Szintillationszähler.

(1)

Vücut Kompozisyonu

(1)

Water -- Purification -- Coagulation.

(1)

Water -- Purification -- Disinfection.

(1)

Water -- Purification -- Dissolved air flotation.

(1)

Water -- Purification -- Membrane filtration.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

Elektronik Kütüphane

Konservatuvar Genel Koleksiyon

Sağlık Bilimleri Genel Koleksiyon

Kütüphane

Beytepe Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

92 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 8

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

49.

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III için kapak resmi

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

Yazar

Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.

Yer Numarası

XX(521062.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40289-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Pattern Recognition 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings için kapak resmi

Pattern Recognition 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings

Pattern Recognition 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings

Yazar

Rodríguez-González, Ansel Yoan. editor. Pérez-Espinosa, Humberto. editor. Martínez-Trinidad, José Francisco. editor. (orcid) Carrasco-Ochoa, Jesús Ariel. editor. Olvera-López, José Arturo. editor. (orcid)

Yer Numarası

XX(520991.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33783-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X için kapak resmi

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X

Yazar

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Yer Numarası

XX(521166.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44204-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings için kapak resmi

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Yazar

Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)

Yer Numarası

XX(521192.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40875-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II için kapak resmi

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

Yazar

Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)

Yer Numarası

XX(521194.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43153-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings için kapak resmi

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Yazar

Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)

Yer Numarası

XX(521195.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43587-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Imaging and Technology in Urology için kapak resmi

Imaging and Technology in Urology

Imaging and Technology in Urology

Yazar

Tolofari, Sotonye. editor. Moon, Dora. editor. Starmer, Benjamin. editor. Payne, Steve. editor. SpringerLink (Online service)

Yer Numarası

XX(521791.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26058-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III için kapak resmi

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Yazar

Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)

Yer Numarası

XX(519034.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-22053-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings için kapak resmi

Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings

Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings

Yazar

Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)

Yer Numarası

XX(519035.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19390-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I için kapak resmi

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I

Yazar

He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.

Yer Numarası

XX(518916.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14445-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings için kapak resmi

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Yazar

Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)

Yer Numarası

XX(519087.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23540-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Yer Numarası

XX(519090.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46681-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11