Search Results for Electronic

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computers.

Author

SpringerLink (Online service)

(36)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Adamatzky, Andrew. editor.

(2)

Bannister, Frank Edward. editor.

(2)

Carey, Marcus J. (Cybersecurity professional), author.

(2)

Chua, Leon. editor.

(2)

Jin, Jennifer, author.

(2)

MacKenzie, I. Scott, 1951-

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Tanaka-Ishii, Kumiko.

(2)

Wiley InterScience (Online service)

(2)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Alferes, José Júlio. editor.

(1)

Anderst-Kotsis, Gabriele. editor.

(1)

Argles, David. author.

(1)

Badger, Julia M. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bensalem, Saddek. editor.

(1)

Bera, Subhash Chandra. author.

(1)

Bonfante, Guillaume. editor.

(1)

Bosshard, P. (Peter)

(1)

Bowyer, Kevin, 1955-

(1)

(1)

Chen-Wilson, Lisha. author.

(1)

Corry, Leo. author.

(1)

Cortier, Veronique. editor.

(1)

Curley, Robert, 1955- editor.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Davison, Andrew.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Dhaou, Riadh. editor.

(1)

Dillig, Isil. editor.

(1)

Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514

(1)

Edelmann, Noella. editor.

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Francesconi, Enrico. editor.

(1)

(1)

Gan, Chong Leong,. author.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Glassey, Olivier. editor. (orcid)0000-0001-8795-0591

(1)

Goswami, A., ed.

(1)

Graf, Susanne. editor.

(1)

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Huang, Chen-Yu,. author.

(1)

Janssen, Marijn. editor.

(1)

Janssen, Marijn. editor. (orcid)0000-0001-6211-8790

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

Johnson, Michael L., 1947-

(1)

Khalil, Ismail. editor.

(1)

Krantz, Steven George, 1951-

(1)

Krimmer, Robert. editor. (orcid)0000-0002-0873-539X

(1)

Kumar, Pawan, ed.

(1)

Küsters, Ralf. editor.

(1)

Kő, Andrea. editor. (orcid)0000-0003-0023-1143

(1)

Lakhnech, Yassine. editor.

(1)

Lampoltshammer, Thomas. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lee, Habin. editor. (orcid)0000-0003-0071-4874

(1)

Legay, Axel. editor.

(1)

Leviathan, Raya. author.

(1)

Liang, Qilian. editor.

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Lindgren, Ida. editor. (orcid)0000-0002-4735-8697

(1)

Liu, Xin. editor.

(1)

(1)

Long, Nancy, 1947- ort. yaz.

(1)

Macintosh, Ann. editor.

(1)

Malizia, Alessio. editor.

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

McMahon, David (David M.)

(1)

Mishra, Abhishek, author.

(1)

Misra, Jagadis Chandra, ed.

(1)

Misuraca, Gianluca. editor.

(1)

Mizutani, Satoshi. author.

(1)

Morch, Anders. editor.

(1)

Mu, Jiasong. editor.

(1)

Muscholl, Anca. editor.

(1)

Na, Zhenyu. editor.

(1)

Nakagawa, Toshio. author.

(1)

Nefyodov, Eugene I. author.

(1)

Nickerson, Raymond S.

(1)

Pal, Ajit. author.

(1)

Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842

(1)

Parycek, Peter. editor.

(1)

Peña, Ricardo. editor.

(1)

Polini, Andrea. editor. (orcid)0000-0002-2840-7561

(1)

Pym, David. editor. (orcid)0000-0002-6504-5838

(1)

Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180

(1)

(1)

Re, Barbara. editor.

(1)

Rehmani, Mubashir Husain. editor.

(1)

Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664

(1)

Rojas, Raúl, 1955-

(1)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(1)

Salaün, Gwen. editor.

(1)

Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709

(1)

Schiano di Zenise, Michele. author.

(1)

Scholl, Hans Jochen. editor.

(1)

Scholl, Hans Jochen. editor. (orcid)0000-0002-6168-3445

(1)

ScienceDirect (Online service)

(1)

Serdült, Uwe. editor. (orcid)0000-0002-2383-3158

(1)

Serrano, Alan. editor.

(1)

Sherratt, Edel. editor.

(1)

Sirakoulis, Georgios Ch. editor.

(1)

Smolskiy, Sergey M. author.

(1)

Stratton, Andrew. editor.

(1)

Tambouris, Efthimios. editor.

(1)

Tambouris, Efthimios. editor. (orcid)0000-0001-8036-9788

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Tasiran, Serdar. editor.

(1)

Tjoa, A Min. editor. (orcid)0000-0002-8295-9252

(1)

Turkle, Sherry.

(1)

Unkelbach, H. D. (Hans-Dieter)

(1)

Valtolina, Stefano. editor.

(1)

Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043

(1)

Wang, Wei. editor.

(1)

Willemse, Tim. editor. (orcid)0000-0003-3049-7962

(1)

Wills, Gary. author.

(1)

Wimmer, Maria A. editor.

(1)

Wolf, H. (Helmut), 1950-

(1)

Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557

(1)

Zhang, Baoju. editor.

(1)

Zhao, Xufeng. author.

(1)

Zincir-Heywood, Nur. editor.

(1)

de Andrade, Norberto Nuno Gomes. author.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(52)

(1)

Publication Date

-

(27)

(9)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(19)

Software engineering.

(15)

Electronic books.

(9)

Computer logic.

(8)

Electronic circuits.

(8)

Artificial intelligence.

(6)

Law and legislation.

(6)

Computer security.

(5)

Computer simulation.

(5)

Computers and civilization.

(5)

Electrical engineering.

(5)

Electronic data processing.

(5)

Computer organization.

(4)

Computer programming.

(4)

(4)

(4)

(3)

Application software.

(3)

BİLGİSAYARLAR.

(3)

COMPUTERS -- Security -- Cryptography.

(3)

(3)

(3)

(3)

ELEKTRONİK VERİ İŞLEM.

(3)

(3)

(3)

Sécurité informatique.

(3)

Computer hardware.

(2)

Computer security

(2)

Computer system failures.

(2)

(2)

Data protection.

(2)

Electronic Circuits and Systems.

(2)

Electronic data processing -- Data entry.

(2)

Electronic digital computers

(2)

Electronic digital computers.

(2)

Hardware Performance and Reliability.

(2)

Human-computer interaction.

(2)

Industrial management.

(2)

Information theory.

(2)

(2)

Mathematical logic.

(2)

Natural language processing (Computer science)

(2)

Optical engineering.

(2)

Signal processing.

(2)

Apprentissage automatique.

(1)

Attitude to Computers.

(1)

Automatic control -- Computer programs.

(1)

(1)

Biomedical Engineering.

(1)

Biomedical engineering -- Computer simulation.

(1)

Building Repair and Maintenance.

(1)

Buildings -- Maintenance.

(1)

Buildings -- Repair and reconstruction.

(1)

Business enterprises -- Security measures

(1)

Business enterprises -- Security measures.

(1)

BİLGİ TEKNOLOJİSİ.

(1)

COMPUTERS -- Machine Theory.

(1)

Complex Systems.

(1)

Computadoras -- Historia.

(1)

Computer Hardware.

(1)

Computer Security

(1)

Computer Simulation.

(1)

Computer architecture -- History.

(1)

Computer crimes.

(1)

Computer networks -- Security measures

(1)

Computer networks -- Security measures.

(1)

Computerarchitectuur.

(1)

Computerarchitektur.

(1)

Computers -- History.

(1)

Computers -- Humor.

(1)

Computers -- Moral and ethical aspects.

(1)

Data encryption (Computer science).

(1)

Data protection

(1)

Datenverarbeitung.

(1)

Doğal dil işleme (Bilgisayar bilimleri)

(1)

Electrical and Electronic Engineering.

(1)

Electronic data processing -- Humor.

(1)

Electronic data processing -- Psychological aspects.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Elektronik veri işlem -- Veri girişi.

(1)

Entreprises -- Sécurité -- Mesures.

(1)

(1)

Gestion du risque.

(1)

Human engineering.

(1)

Humor (grappigheden)

(1)

(1)

Image processing.

(1)

Informatieverwerking (computer)

(1)

Information Systems.

(1)

Information technology.

(1)

(1)

Machine Learning

(1)

Machine Theory.

(1)

Machine learning.

(1)

(1)

Mens-computer-interactie.

(1)

Mens-machine-systemen.

(1)

Mensch-Maschine-System.

(1)

Microelectronics.

(1)

Middle East—History.

(1)

Models, Biological.

(1)

Paderborn <1998>

(1)

Process control -- Computer programs.

(1)

Protection de l'information (Informatique)

(1)

Quality control.

(1)

Quantum computers.

(1)

Risk management

(1)

Risk management.

(1)

Réseaux d'ordinateurs -- Sécurité -- Mesures.

(1)

Special purpose computers.

(1)

Speech processing systems.

(1)

(1)

(1)

Technology—History.

(1)

iOS (Electronic resource)

(1)

İnsan-bilgisayar etkileşimi.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

54 Results Found

Subscribe to search results

1 2 3 4 5

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

25.

Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Author

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20652-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Author

Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15465-3

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31517-7

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Author

Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18419-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications

Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications

Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications

Author

Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-6264-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for The Digital Big Bang : the Hard Stuff, the Soft Stuff, and the Future of Cybersecurity

The Digital Big Bang : the Hard Stuff, the Soft Stuff, and the Future of Cybersecurity

The Digital Big Bang : the Hard Stuff, the Soft Stuff, and the Future of Cybersecurity

Author

Quade, Phil.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119617396

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity

Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity

Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity

Author

Carey, Marcus J. (Cybersecurity professional), author. Jin, Jennifer, author.

Preferred Shelf Number

QA76.9 .A25 C368 2019

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643357

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Tribe of hackers : cybersecurity advice from the best hackers in the world

Tribe of hackers : cybersecurity advice from the best hackers in the world

Tribe of hackers : cybersecurity advice from the best hackers in the world

Author

Carey, Marcus J. (Cybersecurity professional), author. Jin, Jennifer, author.

Preferred Shelf Number

QA76.9 .A25 C37 2019 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643395

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Low-Power VLSI Circuits and Systems

Low-Power VLSI Circuits and Systems

Low-Power VLSI Circuits and Systems

Author

Pal, Ajit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-81-322-1937-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Author

Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54848-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45231-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11