Search Results for Logic design.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Computer network architectures.

Author

SpringerLink (Online service)

(47)

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

(5)

Reed, Rick. editor.

(4)

Fu, Haohuan. editor.

(3)

Hartman, Alan. editor.

(3)

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

(3)

Lees, Michael Harold. editor.

(3)

Rensink, Arend. editor.

(3)

Shi, Yong. editor.

(3)

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

(3)

Tian, Yingjie. editor.

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Karczewski, Konrad. editor.

(2)

Li, Jin. editor.

(2)

Paige, Richard F. editor.

(2)

Vaidya, Jaideep. editor.

(2)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Aßmann, Uwe. editor.

(1)

Berekovic, Mladen. editor.

(1)

Bergstra, Jan A. author.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bilgic, Attila. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Buchty, Rainer. editor.

(1)

Cai, Zhipeng. editor.

(1)

Casimiro, António. editor. (orcid)0000-0002-5522-5739

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

(1)

Choy, Oliver C. S. editor.

(1)

Cirne, Walfredo. editor.

(1)

Desai, Narayan. editor.

(1)

Dietz, Hendrik. editor.

(1)

Doty, David. editor. (orcid)0000-0002-3922-172X

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Gaudin, Emmanuel. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Hamann, Heiko. editor.

(1)

Hammond, Simon. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hierons, Robert. editor.

(1)

Huisman, Marieke. editor.

(1)

Izumi, Taisuke. editor.

(1)

Jarvis, Stephen. editor.

(1)

Jin, Hai. editor.

(1)

Jones, Cliff B. editor.

(1)

Juckeland, Guido. editor.

(1)

Kasahara, Hironori. editor.

(1)

Keyes, David. editor.

(1)

Khendek, Ferhat. editor.

(1)

Klusáček, Dalibor. editor.

(1)

Koch, Dirk. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kreische, David. editor.

(1)

Kuznetsov, Petr. editor.

(1)

Li, Chao. editor.

(1)

Liu, Zhiming. editor.

(1)

Manulis, Mark. editor. (orcid)0000-0002-1512-9670

(1)

Medina-Bulo, Inmaculada. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middelburg, Cornelis A. author.

(1)

Mir, Salvador. editor.

(1)

Moor, Oege. editor.

(1)

Najm, Elie. editor.

(1)

Ober, Ileana. editor.

(1)

Ober, Iulian. editor.

(1)

Padovani, Luca. editor. (orcid)0000-0001-9097-1297

(1)

Pionteck, Thilo. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Prinz, Andreas. editor.

(1)

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

(1)

Reed, Jeanne. editor.

(1)

Reis, Ricardo. editor.

(1)

Roveri, Marco. editor. (orcid)0000-0001-9483-3940

(1)

Schieferdecker, Ina. editor.

(1)

Schneider, Steve. editor. (orcid)0000-0001-8365-6993

(1)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

(1)

Schwartzbach, Michael I. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Selic, Bran. editor.

(1)

Shalf, John. editor.

(1)

Sinha, Priyabrata. author.

(1)

Skavhaug, Amund. editor.

(1)

Skums, Pavel. editor.

(1)

Snir, Marc. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Toeroe, Maria. editor.

(1)

Torquati, Massimo. editor. (orcid)0000-0001-6323-3459

(1)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(1)

Tsui, Chi-Ying. editor.

(1)

Valero, Mateo. editor.

(1)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(1)

Vogel, Régis. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Warmer, Jos. editor.

(1)

Woodcock, Jim. editor.

(1)

Wright, Steven. editor.

(1)

Wu, Junjie. editor. (orcid)0000-0001-5951-8988

(1)

Wu, Weigang. editor. (orcid)0000-0002-4714-7021

(1)

Zhai, Jidong. editor.

(1)

Zhang, Fa. editor.

(1)

Zhang, Feng. editor. (orcid)0000-0003-1983-7321

(1)

Zhang, Shihua. editor.

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

Language

(47)

Publication Date

-

(31)

(3)

(3)

(3)

(3)

(1)

(1)

(1)

(1)

Subject

(47)

Computer science.

(37)

Software engineering.

(31)

Artificial intelligence.

(17)

Operating systems (Computers).

(12)

Information Systems.

(11)

Computer software.

(6)

Computer hardware.

(5)

Information theory.

(5)

Computer Communication Networks.

(4)

Computer security.

(4)

Computer vision.

(3)

Information systems.

(3)

Social sciences -- Data processing.

(3)

Computer system performance.

(2)

Data protection.

(2)

Data structures (Computer scienc.

(2)

Data transmission systems.

(2)

Bioinformatics.

(1)

(1)

Computer Systems Organization and Communication Networks.

(1)

(1)

Logics and Meanings of Programs.

(1)

Management of Computing and Information Systems.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Systems engineering.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

47 Results Found

Subscribe to search results

1 2 3 4

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 Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Author

Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93698-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00030-1

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99639-4

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Author

Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89963-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

Author

Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Author

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334697.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38911-5

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Author

Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

Author

Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-65-7

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

Author

Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Speech Processing in Embedded Systems

Speech Processing in Embedded Systems

Speech Processing in Embedded Systems

Author

Sinha, Priyabrata. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75581-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11