Search Results for Data processing

|

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)

(2866)

Wiley InterScience (Online service)

(93)

IGI Global, publisher.

(33)

John Wiley & Sons.

(25)

Lipkowitz, Kenny B.

(25)

Taylor and Francis.

(24)

Boyd, Donald B.

(21)

Dongarra, Jack. editor.

(19)

Gavrilova, Marina L. editor.

(18)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Stephanidis, Constantine. editor.

(15)

Jain, Lakhmi C. editor.

(14)

Taniar, David. editor.

(14)

Mun, Youngsong. editor.

(13)

John Wiley & Sons, publisher.

(12)

Huang, De-Shuang. editor.

(11)

Jansen, Klaus. editor.

(10)

(10)

ScienceDirect (Online service)

(10)

Fichtinger, Gabor. editor.

(9)

Hameurlain, Abdelkader. editor.

(9)

Hassanien, Aboul Ella. editor.

(9)

Kumar, Vipin. editor.

(9)

Nguyen, Ngoc Thanh. editor.

(9)

Handels, Heinz. editor.

(8)

Holzinger, Andreas. editor.

(8)

Ioannou, Andri. editor. (orcid)0000-0002-3570-6578

(8)

Korytkowski, Marcin. editor.

(8)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(8)

Löwe, Benedikt. editor.

(8)

Martel, Anne. editor.

(8)

Mayr, Ernst W. editor.

(8)

Meinzer, Hans-Peter. editor.

(8)

Premaratne, Prashan. editor.

(8)

Tadeusiewicz, Ryszard. editor.

(8)

Tan, C. J. Kenneth. editor.

(8)

Tolxdorff, Thomas. editor.

(8)

Tripathi, Suman Lata, editor.

(8)

Vorozhtsov, Evgenii V. editor.

(8)

Antona, Margherita. editor.

(7)

Apduhan, Bernady O. editor.

(7)

Barneva, Reneta P. editor.

(7)

Barolli, Leonard. editor.

(7)

Fleet, David. editor.

(7)

Kacprzyk, Janusz. editor.

(7)

Laganà, Antonio. editor.

(7)

Li, Shuo. editor.

(7)

Mori, Kensaku. editor.

(7)

Pajdla, Tomas. editor.

(7)

Patnaik, Srikanta. editor.

(7)

Riolo, Rick. editor.

(7)

Schiele, Bernt. editor.

(7)

Shen, Dinggang. editor.

(7)

Shi, Yong. editor.

(7)

Tan, Tieniu. editor.

(7)

Tjoa, A Min. editor.

(7)

Tuytelaars, Tinne. editor.

(7)

Wagner, Roland. editor.

(7)

Zurada, Jacek M. editor.

(7)

Alareeni, Bahaaeddin. editor.

(6)

Ayache, Nicholas. editor.

(6)

Balusamy, Balamurugan, editor.

(6)

Barillot, Christian. editor.

(6)

Blum, Christian. editor.

(6)

Brimkov, Valentin E. editor.

(6)

(6)

Erlebach, Thomas. editor.

(6)

Essert, Caroline. editor. (orcid)0000-0003-2572-9730

(6)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Golland, Polina. editor.

(6)

Hamdan, Allam. editor.

(6)

Iliadis, Lazaros. editor.

(6)

Jo, Kang-Hyun. editor.

(6)

Khan, Ali. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Kurbanoğlu, Serap.

(6)

Kurosu, Masaaki. editor.

(6)

Küng, Josef. editor.

(6)

Laganá, Antonio. editor.

(6)

Leal-Taixé, Laura. editor.

(6)

Li, Hongdong. editor.

(6)

Liu, Tianming. editor.

(6)

Margenov, Svetozar. editor.

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

Mohanty, Sachi Nandan, editor.

(6)

Mori, Greg. editor.

(6)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(6)

Pan, Jeng-Shyang. editor.

(6)

Peters, Terry M. editor. (orcid)0000-0003-1440-7488

(6)

Queiroz, Ruy. editor.

(6)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(6)

Rossi, Francesca. editor.

(6)

Roth, Stefan. editor. (orcid)0000-0001-9002-9832

(6)

Rutkowski, Leszek. editor.

(6)

Scherer, Rafał. editor.

(6)

Schindler, Konrad. editor. (orcid)0000-0002-3172-9246

(6)

Staib, Lawrence H. editor. (orcid)0000-0002-9516-5136

(6)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(6)

Stoyanov, Danail. editor.

(6)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(6)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Waśniewski, Jerzy. editor.

(6)

Wong, Kok Wai. editor.

(6)

Yang, Jian. editor.

(6)

Yap, Pew-Thian. editor.

(6)

Zaphiris, Panayiotis. editor.

(6)

Zhou, Sean. editor.

(6)

Abraham, Ajith. editor.

(5)

Al-Emran, Mostafa. editor.

(5)

Amagasa, Toshiyuki. editor.

(5)

Attaway, Stormy.

(5)

Auer, Michael E. editor.

(5)

Bebis, George. editor.

(5)

Bhattacharyya, Siddhartha, 1975- editor.

(5)

Bravo, José. editor.

(5)

Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964

(5)

Chen, Hsinchun. editor.

(5)

Choo, Hyunseung. editor.

(5)

Collet, Pierre. editor.

(5)

Cooper, S. Barry. editor.

(5)

Davim, J. Paulo, editor.

(5)

Dehne, Frank. editor.

(5)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(5)

Du, Ding-Zhu. editor.

(5)

European Federation of Chemical Engineering. Working Party on Computer Aided Process Engineering.

(5)

Fages, François. editor.

(5)

Fong, Joseph. editor.

(5)

Gavrilova, Marina. editor.

(5)

Gedeon, Tom. editor. (orcid)0000-0001-8356-4909

(5)

Gelbukh, Alexander. editor.

(5)

Gerdt, Vladimir P. editor.

(5)

Herik, H. Jaap. editor.

(5)

Hussain, Abir. editor.

(5)

Ioannides, Marinos. editor.

(5)

Jain, Vishal, 1983- editor.

(5)

Jin, Baohua. editor.

(5)

Joshi, Amit. editor.

(5)

Karpov, Pavel. editor. (orcid)0000-0003-4786-9806

(5)

Karthikeyan, K., editor.

(5)

Khalil, Ismail. editor.

(5)

Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154

(5)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(5)

Lam, Roberto. editor. (orcid)0000-0003-4297-2441

(5)

Lee, Minho. editor. (orcid)0000-0002-0441-7087

(5)

Lees, Michael H. editor.

(5)

Li, Daoliang. editor.

(5)

Lirkov, Ivan. editor.

(5)

Maier-Hein, Lena. editor.

(5)

Malyshkin, Victor. editor.

(5)

Manolopoulos, Yannis. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679

(5)

Pop, Mihaela. editor.

(5)

Qu, Boyang. editor.

(5)

Rhode, Kawal. editor.

(5)

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

(5)

Rolim, José D. P. editor.

(5)

Sack, Jörg-Rüdiger. editor.

(5)

Sakuma, Ichiro. editor.

(5)

Schoenauer, Marc. editor.

(5)

Sermesant, Maxime. editor.

(5)

Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395

(5)

Swathika, O. V. Gnana, editor.

(5)

Taylor, Zeike. editor.

(5)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(5)

Theis, Fabian. editor. (orcid)0000-0002-2419-1943

(5)

Tipton, Harold F.

(5)

Tseng, Vincent S. editor.

(5)

Uden, Lorna. editor.

(5)

Wang, Xin. editor.

(5)

Worzel, Bill. editor.

(5)

Xu, Zheng. editor.

(5)

Young, Alistair. editor.

(5)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(5)

Alexandrov, Vassil N. editor.

(4)

Azar, Ahmad Taher. editor.

(4)

Bellatreche, Ladjel. editor.

(4)

Boyle, Richard. editor.

(4)

Camara, Oscar. editor.

(4)

Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275

(4)

Cao, Longbing. editor.

(4)

Castro, Félix. editor.

(4)

Chapra, Steven C.

(4)

Chatterjee, Jyotir Moy, editor.

(4)

Corchado, Emilio. editor.

(4)

Cross, Michael, 1965-

(4)

Cundari, Thomas R., 1964-

(4)

Daimi, Kevin. editor.

(4)

Dastani, Mehdi. editor.

(4)

Deb, Kalyanmoy. editor.

(4)

Delaney, Connie White.

(4)

Dey, Nilanjan, 1984- editor.

(4)

Dobbie, Gill. editor.

(4)

Dolev, Shlomi. editor.

(4)

Dubitzky, Werner. editor.

(4)

El Abbadi, Amr. editor.

(4)

Elngar, Ahmed A., editor.

(4)

Tümünü genişlet

Dil

(6199)

(104)

(63)

(10)

(9)

(3)

(2)

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(722)

(479)

(417)

(380)

(311)

(310)

(285)

(267)

(266)

(264)

(246)

(244)

(243)

(234)

(233)

(231)

(223)

(204)

(138)

(108)

(102)

(91)

(84)

(73)

(68)

(58)

(42)

(42)

(28)

(27)

(25)

(25)

(20)

(15)

(15)

(14)

(13)

(13)

(13)

(12)

(11)

(9)

(9)

(9)

(8)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1140)

Artificial intelligence.

(1037)

Electronic data processing.

(566)

Optical data processing.

(500)

Electronic books.

(400)

Medical records -- Data processing.

(392)

Computer software.

(374)

Social sciences -- Data processing.

(311)

(288)

Engineering -- Data processing.

(284)

Computational complexity.

(281)

Computational intelligence.

(275)

Software engineering.

(273)

Information systems.

(263)

Bioinformatics.

(234)

Computer vision.

(233)

Algebra -- Data processing.

(219)

Application software.

(204)

Computer graphics.

(200)

Computer simulation.

(199)

Computer Communication Networks.

(177)

Biology -- Data processing.

(173)

(169)

Data Engineering.

(164)

Database management.

(152)

Information theory.

(140)

(138)

Data structures (Computer science).

(134)

Engineering mathematics.

(131)

(129)

Machine learning.

(127)

Information storage and retrieval systems.

(122)

Optical pattern recognition.

(117)

(115)

User interfaces (Computer systems).

(114)

Education—Data processing.

(110)

Pattern recognition.

(110)

R (Computer program language)

(109)

Management information systems.

(105)

(105)

(103)

Computer security.

(97)

(97)

(94)

Biomedical engineering.

(89)

Business -- Data processing.

(88)

(87)

Computer Appl. in Administrative Data Processing.

(82)

Mathematical and Computational Engineering Applications.

(79)

TECHNOLOGY & ENGINEERING.

(79)

Information Systems Applications (incl. Internet).

(76)

Computer communication systems.

(75)

Artificial Intelligence (incl. Robotics).

(74)

(74)

Mathematical statistics -- Data processing.

(72)

Signal processing.

(71)

Data protection.

(70)

Information technology.

(70)

Mathematics -- Data processing.

(68)

Electronic data processing -- Distributed processing.

(67)

Health Informatics.

(65)

Numerical analysis -- Data processing.

(65)

Electronic data processing personnel -- Certification.

(63)

(62)

Medical informatics.

(62)

Internet of things.

(61)

Computer network architectures.

(58)

Medicine -- Data processing.

(58)

MATHEMATICS / Probability & Statistics / General

(56)

COMPUTERS / Data Processing / General

(55)

Data encryption (Computer science).

(55)

COMPUTERS / Artificial Intelligence

(53)

Chemistry -- Data processing.

(53)

Intelligence (AI) & Semantics.

(53)

COMPUTERS / Computer Engineering

(52)

Computer organization.

(51)

Telecommunication.

(51)

Business—Data processing.

(50)

Radiology, Medical.

(50)

(49)

Statistics -- Data processing.

(49)

Artificial intelligence -- Medical applications.

(48)

Business Information Systems.

(48)

(48)

Geographic information systems.

(46)

Image processing.

(46)

Data Mining and Knowledge Discovery.

(45)

Artificial intelligence -- Industrial applications.

(44)

COMPUTERS -- Data Processing.

(44)

COMPUTERS / Computer Science

(44)

Computer science -- Mathematics.

(44)

Information Storage and Retrieval.

(44)

Python (Computer program language)

(44)

COMPUTERS -- Machine Theory.

(43)

Image processing -- Digital techniques.

(43)

Medical care -- Data processing.

(42)

COMPUTERS -- Hardware -- General.

(41)

Numeric Computing.

(41)

Algorithm Analysis and Problem Complexity.

(40)

COMPUTERS -- Computer Literacy.

(40)

COMPUTERS -- Computer Science.

(40)

COMPUTERS -- Information Technology.

(40)

COMPUTERS -- Reference.

(40)

Special purpose computers.

(40)

Health informatics.

(39)

(39)

COMPUTERS / Machine Theory

(38)

Mathematical optimization.

(38)

(38)

COMPUTERS / Database Management / Data Mining

(37)

Chemistry -- Mathematics.

(37)

Communications Engineering, Networks.

(37)

Education -- Data processing.

(37)

Artificial intelligence -- Data processing.

(36)

Science -- Data processing.

(36)

(35)

Control engineering.

(34)

ELEKTRONİK VERİ İŞLEM.

(34)

Numerical analysis.

(34)

TECHNOLOGY / Electricity

(34)

Real-time data processing.

(33)

(33)

(33)

User Interfaces and Human Computer Interaction.

(33)

Guides de l'étudiant.

(32)

Information storage and retrieval.

(32)

(32)

examination study guides.

(32)

Electronic data processing personnel -- Certification

(31)

Apprentissage automatique.

(30)

Cloud computing.

(30)

Multimedia systems.

(30)

Operations research.

(30)

(29)

Discrete Mathematics in Computer Science.

(29)

Engineering mathematics -- Data processing.

(29)

Intelligence artificielle.

(29)

Mechanics, Applied.

(29)

(28)

Computational Science and Engineering.

(28)

Computer science—Mathematics.

(28)

TECHNOLOGY / Remote Sensing

(28)

Computers and Society.

(27)

Neural networks (Computer science)

(27)

Operating systems (Computers).

(27)

TECHNOLOGY / Manufacturing

(27)

Blockchains (Databases)

(26)

Computer Appl. in Social and Behavioral Sciences.

(26)

Computer programming.

(26)

Mathematical physics.

(26)

(25)

(25)

Information technology -- Management.

(25)

BUSINESS & ECONOMICS / Information Management

(24)

BUSINESS & ECONOMICS.

(24)

COMPUTERS / General

(24)

(24)

Parallel processing (Electronic computers)

(24)

Pattern Recognition.

(24)

Speech processing systems.

(24)

Deep learning (Machine learning)

(23)

COMPUTERS / Information Technology

(22)

Computers and civilization.

(22)

Economics/Management Science.

(22)

Information Systems.

(22)

Natural language processing (Computer science).

(22)

Quantitative research.

(22)

(22)

COMPUTERS / Computer Graphics / Game Programming & Design

(21)

(21)

Mathematical statistics.

(21)

Symbolic and Algebraic Manipulation.

(21)

(20)

Computational linguistics.

(20)

Computer networks -- Security measures.

(20)

Cooperating objects (Computer systems).

(20)

Cyber-Physical Systems.

(20)

Internet des objets.

(20)

Logic, Symbolic and mathematical.

(20)

Physics -- Data processing.

(20)

Signal, Speech and Image Processing.

(20)

Wireless communication systems.

(20)

BUSINESS & ECONOMICS / Statistics

(19)

(19)

Computational Mathematics and Numerical Analysis.

(19)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(19)

Computer security -- Examinations -- Study guides.

(19)

Decision making -- Data processing.

(19)

Electronic data processing personnel -- Certification -- Study guides.

(19)

Internet of things

(19)

Machine learning

(19)

Manufacturing processes -- Data processing.

(19)

Microsoft Excel (Computer file)

(19)

Multimedia information systems.

(19)

Simulation and Modeling.

(19)

Accounting -- Data processing.

(18)

Architectural design -- Data processing.

(18)

Business intelligence -- Data processing.

(18)

Computer aided design.

(18)

Computer algorithms.

(18)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Süreli Yayın Koleksiyonu

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Karger E-Kitap Koleksiyonu

Konservatuvar Genel Koleksiyon

Sağlık Bilimleri CD-ROM Koleksiyonu

Sağlık Bilimleri Genel Koleksiyon

Sosyal Bilimler Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Sosyal Bilimler Kütüphanesi

Çevrimiçi Kütüphane

Tümünü genişlet

{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

6417 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 327 328 329 330 331 .. 535

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.

3937.

Lung imaging and computer-aided diagnosis için kapak resmi

Lung imaging and computer-aided diagnosis

Lung imaging and computer-aided diagnosis

Yazar

El-Baz, Ayman S. Suri, Jasjit S.

Yer Numarası

RC734 .I43 L86 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3938.

Joint models for longitudinal and time-to-event data : with applications in R için kapak resmi

Joint models for longitudinal and time-to-event data : with applications in R

Joint models for longitudinal and time-to-event data : with applications in R

Yazar

Rizopoulos, Dimitris., author.

Yer Numarası

QA279 .R59 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3939.

Advances in applied human modeling and simulation için kapak resmi

Advances in applied human modeling and simulation

Advances in applied human modeling and simulation

Yazar

Duffy, Vincent G.

Yer Numarası

TA166 .A3544 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3940.

Lung imaging and computer-aided diagnosis için kapak resmi

Lung imaging and computer-aided diagnosis

Lung imaging and computer-aided diagnosis

Yazar

El-Baz, Ayman S. Suri, Jasjit S.

Yer Numarası

RC734 .I43 L86 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3941.

Real-time embedded systems : open-source operating systems perspective için kapak resmi

Real-time embedded systems : open-source operating systems perspective

Real-time embedded systems : open-source operating systems perspective

Yazar

Bertolotti, Ivan Cibrario., author. Manduchi, Gabriele.

Yer Numarası

TK7895 .E42 B47 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3942.

Correction techniques in emission tomography için kapak resmi

Correction techniques in emission tomography

Correction techniques in emission tomography

Yazar

Dawood, Mohammad. Jiang, Xiaoyi. Schafers, Klaus.

Yer Numarası

RC78.7 .T62 C67 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3943.

Engineering problem solving with C++ için kapak resmi

Engineering problem solving with C++

Engineering problem solving with C++

Yazar

Etter, Delores M. Ingber, Jeanine A.

Yer Numarası

QA76.73 E54 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3944.

Computing from the abacus to the iPad için kapak resmi

Computing from the abacus to the iPad

Computing from the abacus to the iPad

Yazar

Curley, Robert, 1955- editor. Gale Group.

Yer Numarası

ONLINE(341336.1)

Elektronik Erişim

Available for Hacettepe University via Gale Virtual Reference Library. Click here to access

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3945.

Minitab demystified için kapak resmi

Minitab demystified

Minitab demystified

Yazar

Sleeper, Andrew D.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3946.

Engineering principles of combat modeling and distributed simulation için kapak resmi

Engineering principles of combat modeling and distributed simulation

Engineering principles of combat modeling and distributed simulation

Yazar

Tolk, Andreas.

Yer Numarası

ONLINE

Elektronik Erişim

Connect to MyiLibrary resource.
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818516
John Wiley http://dx.doi.org/10.1002/9781118180310

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3947.

Computational number theory and modern cryptography için kapak resmi

Computational number theory and modern cryptography

Computational number theory and modern cryptography

Yazar

Yan, Song Y.

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=1120602
Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118188606
John Wiley http://dx.doi.org/10.1002/9781118188606
http://swb.eblib.com/patron/FullRecord.aspx?p=1120602
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={2B073896-0332-4673-A5D3-4882B46014FC}&Format=50

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3948.

Industrial used of formal method formal verification için kapak resmi

Industrial used of formal method formal verification

Industrial used of formal method formal verification

Yazar

Boulanger, Jean-Louis.

Yer Numarası

ONLINE

Elektronik Erişim

Wiley http://dx.doi.org/10.1002/9781118561829

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 327 328 329 330 331 .. 535

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11