Search Results for Computer systems -- Design.

|

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

Daraltılmış:

+

Library: Online Library

Yazar

SpringerLink (Online service)

(62)

Bernardo, Marco. editor.

(11)

Huang, De-Shuang. editor.

(5)

Hussain, Abir. editor.

(5)

Jin, Baohua. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Premaratne, Prashan. editor.

(5)

Qu, Boyang. editor.

(5)

Ball, Stuart R., 1956-

(4)

Ganssle, Jack G.

(4)

Karwowski, Waldemar, 1953-

(4)

Taylor and Francis.

(4)

Leondes, Cornelius T.

(3)

Wilmshurst, Tim.

(3)

Bedny, Gregory Z., author.

(2)

Bedny, Inna, author.

(2)

Bishop, Robert H., 1957-

(2)

Caro, Jaime. editor.

(2)

Chen, Wai-Kai, 1936-

(2)

Dorf, Richard C.

(2)

Elleithy, Khaled. editor.

(2)

Garcia Diaz, Vicente. editor.

(2)

Jacko, Julie A.

(2)

Johnsen, Einar Broch. editor.

(2)

Kabassi, Katerina. editor.

(2)

Malacara, Daniel, 1937, author.

(2)

Malacara, Zacarias, 1948-

(2)

Marras, William S. (William Steven), 1952-

(2)

Mylonas, Phivos. editor.

(2)

Nandan Mohanty, Sachi. editor.

(2)

Oklobdzija, Vojin G.

(2)

Pierro, Alessandra. editor.

(2)

Satish Kumar, G. A. E. editor.

(2)

(2)

Sobh, Tarek. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Ab Rahman, Nurul Hidayah. editor.

(1)

Abdallah, Chaouki T., author.

(1)

Abe, Jair M. editor.

(1)

Abrahams, Lucienne. author.

(1)

Agrawal, Arun Prakash. editor.

(1)

(1)

Alavi, Amir H. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alrabaee, Saed. editor.

(1)

(1)

(1)

Area-Moreira, Manuel. editor.

(1)

Arnold, Ken, 1958-

(1)

Asahi, Yumi. editor.

(1)

Bader, David A.

(1)

Balas, Valentina Emilia. editor.

(1)

Balasa, Florin.

(1)

Ball, Stuart R., 1956- Analog inter-facing to embedded microprocessors.

(1)

Baloian, Nelson. editor.

(1)

Banbury, Simon, author.

(1)

Banks, Danny., author.

(1)

Basapur, Santosh. editor.

(1)

Bathe, Klaus-Jürgen. editor.

(1)

(1)

Bender, Andreas, 1976-

(1)

Benhabib, Beno., author.

(1)

Bishop, Robert H., 1957- editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Brambilla, Marco, 1976- author.

(1)

Brauer, John R., 1943-

(1)

Brehm, Jürgen. editor.

(1)

Brodsky, Alexander. editor.

(1)

Burns, Catherine M., 1968- author.

(1)

Bust, Philip D.

(1)

(1)

Cahyani, Niken Dwi Wahyu. editor.

(1)

Canton, Maria P.

(1)

Carpendale, Sheelagh.

(1)

Carter, Jenny. editor.

(1)

Cates, M. E. (Michael E.), editor.

(1)

Chin, Cheng Siong., author.

(1)

Choudhary, Ankur. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Cipolla-Ficarra, Francisco. editor.

(1)

Cipolla-Ficarra, Miguel. editor.

(1)

Cochran, Jennifer R.

(1)

Cortellessa, Vittorio. editor.

(1)

Craigen, Dan, 1953-

(1)

Cristea, Alexandra I. editor.

(1)

Cronin, Mark T. D.

(1)

D'Ambrogio, Andrea, editor.

(1)

Damiani, Ferruccio. editor.

(1)

Dandekar, Thomas. author.

(1)

Dawson, Darren M., author.

(1)

Degano, Pierpaolo. editor.

(1)

Dey, Baishakhi.

(1)

Dhillon, B. S. (Balbir S.), 1947-

(1)

Diaz-Herrera, Jorge L., 1950- editor.

(1)

Diniz, Pedro C. editor.

(1)

Dorf, Richard C., author.

(1)

Dorf, Richard C., editor.

(1)

Duffy, Vincent G.

(1)

Dychka, Ivan. editor.

(1)

(1)

El Hami, Abdelkhalak. editor.

(1)

El-Halwagi, Mahmoud M., 1962-

(1)

Elahi, Ata. author.

(1)

Ergonomics Society (Great Britain). Conference (60th : 2009 : London, UK)

(1)

Evans, M. R. (Martin R.), editor.

(1)

Faraboschi, Paolo.

(1)

Faulon, Jean-Loup.

(1)

Fernández-Manjón, Baltasar. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finn, Kate, author.

(1)

Fisher, Joseph A.

(1)

(1)

Fowler, Kim., author.

(1)

Fraternali, Piero, author.

(1)

Fu, Yue (Electrical engineer), author.

(1)

Fujita, Hamido. editor. (orcid)

(1)

Gandomi, Amir H. editor.

(1)

García-Holgado, Alicia. editor. (orcid)

(1)

García-Peñalvo, Francisco José. editor.

(1)

Garrett, Patrick H.

(1)

Gerhart, Susan L.

(1)

Gero, John S. editor.

(1)

Ghiocel, Dan M.

(1)

Gianni, Daniele, editor.

(1)

Gielen, Georges.

(1)

Golio, John Michael, 1954-

(1)

Gonzalez, Teofilo F., editor.

(1)

González-González, Carina S. editor.

(1)

Gorb, Leonid. editor.

(1)

Goumas, Georgios. editor.

(1)

Greenberg, Saul.

(1)

Groumpos, Peter P. editor.

(1)

Guenther, Milan.

(1)

Guizzi, Guido. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Hammoudi, Slimane. editor.

(1)

Hanna, Sean. editor.

(1)

Hao, Tianyong. editor.

(1)

Hao, Tianyong. editor. (orcid)

(1)

Haoxiang, Wang. editor.

(1)

Harchol-Balter, Mor, 1966- author.

(1)

Harris, Don. editor.

(1)

Hassan, Hassan, 1979-

(1)

Hausman, Kalani Kirk., author.

(1)

He, Matthew. editor.

(1)

(1)

(1)

Hemmje, Matthias. editor.

(1)

Hillston, Jane. editor.

(1)

Hockney, Roger W., author.

(1)

Horan, Stephen John, 1954- author.

(1)

Hou, Ming (Computer scientist), author.

(1)

Hsu, John Y., author.

(1)

Hu, Zhengbing. editor.

(1)

Huber, Ludwig, 1948- author.

(1)

Hundal, Mahendra.

(1)

Hurmuzlu, Yildirim.

(1)

(1)

ISA--The Instrumentation, Systems, and Automation Society.

(1)

Ibrahim, Ahmad M., 1951-

(1)

(1)

Iniewski, Krzysztof.

(1)

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.)

(1)

Ioannou, Andri. editor.

(1)

Isotani, Seiji. editor.

(1)

Issarny, Valérie. editor.

(1)

(1)

Jamshidi, Mohammad.

(1)

(1)

Jeppson, Roland W.

(1)

Jiang, Xiaobei. editor.

(1)

Jivet, Ioana. editor.

(1)

John Wiley & Sons.

(1)

Johnson, Jeff, 1941- author.

(1)

Johnson, Kayenda, editor.

(1)

Kadry, Seifedine. editor.

(1)

Kaiser, William J..

(1)

Karimi, Hassan A.

(1)

Karwowski, Waldemar, 1953- author.

(1)

Karwowski, Waldemar, author.

(1)

Ke, Yinggen. editor.

(1)

Keramidas, Georgios. editor.

(1)

Khalid, Halimahtun M.

(1)

Konomi, Shin'ichi. editor.

(1)

(1)

Korytkowski, Marcin. editor.

(1)

Kountchev, Roumen. editor.

(1)

Kratky, Andreas. editor.

(1)

Kravets, Alla G. editor. (orcid)

(1)

Kravets, Alla. editor.

(1)

Kukkala, Vipin Kumar. editor.

(1)

Kultsova, Marina. editor.

(1)

Kunz, Meik. author.

(1)

Kuz'min, Victor. editor.

(1)

Larock, Bruce E., 1940-

(1)

Laurini, Robert, author.

(1)

Leibson, Steve.

(1)

Leupers, Rainer.

(1)

Lewis, Frank L., author.

(1)

Tümünü genişlet

Dil

(188)

Yayın Yılı

-

(37)

(19)

(15)

(15)

(14)

(13)

(12)

(12)

(11)

(10)

(10)

(9)

(9)

(8)

(8)

(8)

(5)

(4)

(4)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Embedded computer systems -- Design and construction.

(26)

Computer science.

(11)

Software engineering.

(11)

Electronic books.

(10)

Computational intelligence.

(9)

Artificial intelligence.

(7)

Engineering design.

(6)

Computer Communication Networks.

(5)

Computer engineering.

(5)

Human engineering.

(5)

Human-computer interaction.

(5)

(5)

Bioinformatics.

(4)

Computer architecture.

(4)

Reliability (Engineering)

(4)

User interfaces (Computer systems) -- Design.

(4)

Application software.

(3)

CAD/CAM systems.

(3)

(3)

Electronic circuits.

(3)

Embedded computer systems -- Design and construction -- Data processing.

(3)

Embedded computer systems -- Design.

(3)

Embedded computer systems.

(3)

Information systems.

(3)

(3)

Production engineering.

(3)

Signal processing.

(3)

Telecommunication.

(3)

Cognitive psychology.

(2)

Computer and Information Systems Applications.

(2)

Computer input-output equipment.

(2)

Computer network architectures.

(2)

Computer science -- Handbooks, manuals, etc.

(2)

Computer storage devices.

(2)

Computer systems -- Design and construction.

(2)

Cooperating objects (Computer systems).

(2)

Cyber-Physical Systems.

(2)

Data Engineering.

(2)

(2)

Electronic Circuits and Systems.

(2)

Electronic circuit design.

(2)

Electronic data processing -- Distributed processing.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

Embedded computer systems -- Programming.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Human engineering -- Handbooks, manuals, etc.

(2)

Human-machine systems.

(2)

Lenses -- Design and construction -- Handbooks, manuals, etc.

(2)

Manufacturing processes.

(2)

Mechanics, Applied.

(2)

Microprocessors -- Design and construction.

(2)

Microprocessors.

(2)

Mirrors -- Design and construction -- Handbooks, manuals, etc.

(2)

Optical instruments -- Design and construction -- Handbooks, manuals, etc.

(2)

Signal, Speech and Image Processing.

(2)

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

User interfaces (Computer systems) -- Design and construction.

(2)

User interfaces (Computer systems).

(2)

User-centered system design.

(2)

(2)

(1)

Adaptive computing systems.

(1)

Adaptive control systems -- Design and construction -- Data processing.

(1)

Aerospace Engineering

(1)

Aerospace Engineering.

(1)

(1)

Applied Dynamical Systems.

(1)

Artificial intelligence -- Data processing.

(1)

Automatic control -- Computer simulation.

(1)

Automatic test equipment -- Congresses.

(1)

(1)

Automotive engineering.

(1)

BUSINESS & ECONOMICS -- Industrial Management.

(1)

BUSINESS & ECONOMICS -- Management Science.

(1)

BUSINESS & ECONOMICS -- Management.

(1)

BUSINESS & ECONOMICS -- Organizational Behavior.

(1)

(1)

Biological laboratory equipment industry.

(1)

Biology -- Research.

(1)

Biomass energy -- Congresses.

(1)

Biomedical Research.

(1)

Biomedical engineering.

(1)

Biosensing Techniques.

(1)

(1)

(1)

(1)

Business enterprises -- Computer networks -- Design and construction.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Computer Engineering.

(1)

COMPUTERS / General

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

COMPUTERS / Systems Architecture / General.

(1)

Cancer -- Genetic aspects.

(1)

Cancer Genetics and Genomics.

(1)

Chemical laboratories -- Standards.

(1)

Chemical process control -- Computer-aided design -- Congresses.

(1)

Chemical processes -- Data processing -- Congresses.

(1)

Cheminformatics -- Handbooks, manuals, etc.

(1)

Chemistry, Analytic -- Quality control.

(1)

Chemistry, Physical and theoretical.

(1)

City planning -- Data processing.

(1)

(1)

Clusteranalyse.

(1)

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational and Systems Biology.

(1)

Computational biology.

(1)

Computer Engineering

(1)

Computer Engineering.

(1)

Computer algorithms -- Handbooks, manuals, etc.

(1)

Computer engineering -- Management.

(1)

Computer firmware -- Design.

(1)

Computer graphics.

(1)

Computer input-output equipment -- Design and construction.

(1)

Computer integrated manufacturing systems.

(1)

Computer logic.

(1)

Computer multitasking.

(1)

Computer networks -- Design and construction.

(1)

Computer networks -- Reliability.

(1)

Computer networks -- Security measures.

(1)

Computer networks.

(1)

Computer programming.

(1)

Computer security -- Management -- Handbooks, manuals, etc.

(1)

Computer security.

(1)

Computer software -- Development -- Congresses.

(1)

Computer software.

(1)

Computer systems -- Design and construction -- Mathematics.

(1)

Computer systems -- Design.

(1)

Computer systems -- Reliability.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided design.

(1)

Computer-aided engineering.

(1)

Control theory -- Mathematics.

(1)

(1)

Data and Information Security.

(1)

Data protection -- Handbooks, manuals, etc.

(1)

Data protection.

(1)

Data transmission systems.

(1)

Digital computer simulation -- Handbooks, manuals, etc.

(1)

Digital computer simulation.

(1)

Digital control systems -- Design and construction.

(1)

Digital electronics.

(1)

Digital integrated circuits -- Design and construction.

(1)

Discriminantanalyse.

(1)

Drug delivery systems -- Research -- Data processing.

(1)

Drugs -- Design -- Data processing.

(1)

(1)

Electric filters.

(1)

Electrical engineering -- Computer-aided design.

(1)

Electromagnetic waves -- Mathematical models.

(1)

Electronic apparatus and appliances -- Design and construction.

(1)

Electronic digital computers.

(1)

Electronics Design and Verification.

(1)

Electronics, Medical -- Instrumentation.

(1)

Electrooptical devices -- Testing -- Congresses.

(1)

Electrónica médica.

(1)

Embedded Internet devices.

(1)

Embedded Systems.

(1)

Embedded computer systems -- Computer-aided design.

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

Energy conservation.

(1)

(1)

Engineering Mechanics.

(1)

Engineering mathematics.

(1)

Engineering models -- Handbooks, manuals, etc.

(1)

Environmental engineering.

(1)

Environmental psychology.

(1)

Fault tolerance (Engineering)

(1)

(1)

Field programmable gate arrays -- Computer-aided design.

(1)

Field programmable gate arrays.

(1)

(1)

Freehand technical sketching -- Technique.

(1)

(1)

Geographic information systems -- Computer-aided design.

(1)

Geography -- Mathematical models -- Computer-aided design.

(1)

(1)

Graphic design.

(1)

Groupware (Computer software) -- Congresses.

(1)

Génie logiciel.

(1)

Health Informatics.

(1)

High performance computing.

(1)

Home computer networks -- Equipment and supplies.

(1)

Human engineering -- Congresses.

(1)

Human engineering -- Cross-cultural studies.

(1)

Human mechanics -- Computer simulation -- Handbooks, manuals, etc.

(1)

Human-computer interaction -- Congresses.

(1)

Human-computer interaction -- Handbooks, manuals, etc.

(1)

Human-machine systems -- Handbooks, manuals, etc.

(1)

IS and IT development, use, and management.

(1)

Image converters.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik 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

190 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 16

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.

1.

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach için kapak resmi

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach

Yazar

Balasa, Florin. Pradhan, Dhiraj K.

Yer Numarası

TK7895 .E42 E69 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures için kapak resmi

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Yazar

Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21455-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Design for reliability information and computer-based systems için kapak resmi

Design for reliability information and computer-based systems

Design for reliability information and computer-based systems

Yazar

Bauer, Eric.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Yazar

Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13678-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Yazar

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01918-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Secure computer and network systems modeling, analysis and design için kapak resmi

Secure computer and network systems modeling, analysis and design

Secure computer and network systems modeling, analysis and design

Yazar

Ye, Nong. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html
John Wiley http://dx.doi.org/10.1002/9780470023273

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures için kapak resmi

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Yazar

Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68894-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures için kapak resmi

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Yazar

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72522-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Yazar

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11757283

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures için kapak resmi

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Yazar

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135888

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Computer-aided design of analog integrated circuits and systems için kapak resmi

Computer-aided design of analog integrated circuits and systems

Computer-aided design of analog integrated circuits and systems

Yazar

Rutenbar, Rob A., 1957- Gielen, Georges. Antao, Brian.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265766

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems için kapak resmi

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems

Yazar

Garrett, Patrick H.

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/0471221554
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001046730.html
ebrary http://site.ebrary.com/id/10299172
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/47971537.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 16

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11