Refine your search

Your search returned 60 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12225
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12225.

Add to cart
2.
Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings by Series: Proceedings in Information and Communications Technology ; v.6
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2013
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 T44 v.6.
Lists:

Add to cart
3.
Linked Open Data - Creating Knowledge Out of Interlinked Data Results of the LOD2 Project by Series: Lecture Notes in Computer Science ; v.8661
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2014
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.8661.
Lists:

Add to cart
4.
No cover image available
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements by Series: The Karlsruhe Series on Software Design and Quality ; v.36
Material type: Article Article; Format: available online remote
Language: English
Publication details: KIT Scientific Publishing 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.45 T44 v.36.

Add to cart
5.
Innovative Learning Environments in STEM Higher Education Opportunities, Challenges, and Looking Forward by Series: SpringerBriefs in Statistics
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2021
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.4 S79.
Lists:

Add to cart
6.
Advances in Computer Science and IT by
Material type: Article Article; Format: available online remote
Language: English
Publication details: IntechOpen 2009
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 A20.
Lists:

Add to cart
7.
AUTO CAD R14 제대로 배우기 (기초편) ;[텍스트] / 신경수 외 지음
Material type: Text Text; Format: print regular print
Language: Korean
Publication details: 서울: 성안당 , 1999년 04월 17일
Availability: Items available for loan: Bucheon University Library (1)Call number: 72 A94.

Place hold Add to cart
8.
ADT R3.3과 함께하는 : 건축인테리어 모델링: [텍스트] / 고인룡 외 지음
Material type: Text Text; Format: print regular print
Language: Korean
Publication details: 서울: 성안당, 2002년 08월 09일
Availability: Items available for loan: Bucheon University Library (1)Call number: 72.012 A20.

Place hold Add to cart
9.
당신의 프리젠테이션이 항상 그 모양인 이유 / 전철웅 by
Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General;
Language: Korean, English
Publication details: 서울: 한빛미디어; 2011년 05월 31일
Availability: Items available for loan: Bucheon University Library (1)Call number: 004.4 D18.

Place hold Add to cart
10.
No cover image available
(4차 산업혁명 시대의) 경영정보시스템 Management information systems / 이동훈 지음 by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: Korean
Publication details: 서울 : 한빛아카데미, 2017
Availability: Items available for loan: Bucheon University Library (1)Call number: 330.131.3 F80.

Place hold Add to cart
11.
Чистый код: создание, анализ и рефакторинг : [16+] / Роберт Мартин ; [перевел с английского Е. Матвеев] by Series: Библиотека программиста
Material type: Text Text; Format: print regular print
Language: Russian Original language: English
Publication details: Санкт-Петербург [и др.] Питер 2022
Availability: Items available for loan: Bucheon University Library (1)Call number: 32.973.2 Б594.

Place hold Add to cart
12.
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

Add to cart
13.
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.
Lists:

Add to cart
14.
Anti-fragile ICT Systems by Series: Simula SpringerBriefs on Computing ; v.1
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2016
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 S61 v.1.
Lists:

Add to cart
15.
No cover image available
Essentials of computing systems by
Material type: Article Article; Format: available online remote
Language: English
Publication details: Braga 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.7 E80.
Lists:

Add to cart
16.
Sensor Signal and Information Processing III by
Material type: Article Article; Format: available online remote
Language: English
Publication details: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004,4 S47.
Lists:

Add to cart
17.
열씨미와 게을러의 리눅스 개발 노하우 탐험기 / 박재호 by Series: Blog2Book ; v.02
Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General;
Language: Korean, English
Publication details: 서울: 한빛미디어; 2008년 01월 20일
In: Blog2Book
Availability: No items available.

Add to cart
18.
AUTOCAD를 이용한: 알기쉬운 도면 작성법: [텍스트] / 신현성 지음
Material type: Text Text; Format: print regular print
Language: Korean
Publication details: 서울; 기전연구사, 2003년 08월 11일
Availability: Items available for loan: Bucheon University Library (1)Call number: 72 A94.

Place hold Add to cart
19.
No cover image available
5일만에 합격하는 MOS 2016 엑셀 / 김경희 by
Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General;
Language: Korean, English
Publication details: 서울: 한빛아카데미; 2017년 09월 11일
Availability: Items available for loan: Bucheon University Library (1)Call number: 004 I-54.

Place hold Add to cart
20.
뇌를 자극하는 Windows Server 2012 R / 우재남 by
Material type: Text Text; Format: regular print ; Literary form: Not fiction ; Audience: General;
Language: Korean, English
Publication details: 서울: 한빛미디어; 2016년 02월 10일
Availability: Items available for loan: Bucheon University Library (1)Call number: 004 N73.

Place hold Add to cart
Pages