Showing 1 - 20 results of 1,459 for search '"Lecture Notes in Computer Science"', query time: 2.30s Refine Results
1
5th Conference on Optimization Techniques
Published: 1973
Related title: 1. part
“...Lecture notes in computer science...”
Book
Save to List
Saved in:
2
Optimization techniques : Modeling and optimization in the service of man : Proceedings, 7th IFIP Conference, Nice, September 1975
Published: 1976
Related title: 1. part
“...Lecture notes in computer science...”
Book
Save to List
Saved in:
3
Optimization techniques : Proceedings of the 8th IFIP Conference on optimization techniques Würzburg, September 5-9, 1977
Published: 1978
Related title: 1. part
“...Lecture notes in computer science...”
Book
Save to List
Saved in:
4
A relational theory of computing
by Sanderson, John G.
Published: 1980
“...Lecture notes in computer science ; 82...”
Book
Save to List
Saved in:
5
Verifying concurrent processes using temporal logic
by Hailpern, Brent Tzion
Published: 1982
“...Lecture notes in computer science ; 129...”
Book
Save to List
Saved in:
6
The adaptation of virtual man-computer interfaces to user requirements in dialogs
by Dehning, Waltraud
Published: 1981
“...Lecture notes in computer science ; 110...”
Book
Save to List
Saved in:
7
Simple program schemes and formal languages
by Engelfriet, Joost
Published: 1974
“...Lecture notes in computer science ; 20...”
Book
Save to List
Saved in:
8
1. part
Published: 1978
Related title: Optimization techniques :
“...Lecture notes in computer science ; 6...”
Book
Save to List
Saved in:
9
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Published: 2017
“...Lecture Notes in Computer Science ; 10189...”
Go to the source
Book
Save to List
Saved in:
10
Algebraic semantics
by Guessarian, Iréne
Published: 1981
“...Lecture notes in computer science ; 99...”
Book
Save to List
Saved in:
11
Computing in systems described by equations
by O'Donnell, Michel J.
Published: 1977
“...Lecture notes in computer science ; 58...”
Book
Save to List
Saved in:
12
Y12M : Solution of large and sparse systems of linear algebraic equations, documentation of subroutines
by Zlatev, Zahari
Published: 1981
“...Lecture notes in computer science ; 121...”
Book
Save to List
Saved in:
13
Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
Published: 2017
“...Lecture Notes in Computer Science ; 10492...”
Go to the source
Book
Save to List
Saved in:
14
Cross-Cultural Design : 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Published: 2017
“...Lecture Notes in Computer Science ; 10281...”
Go to the source
Book
Save to List
Saved in:
15
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Published: 2017
“...Lecture Notes in Computer Science ; 10374...”
Go to the source
Book
Save to List
Saved in:
16
Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Published: 2017
“...Lecture Notes in Computer Science ; 10136...”
Go to the source
Book
Save to List
Saved in:
17
Parallel Computing Technologies : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Published: 2017
“...Lecture Notes in Computer Science ; 10421...”
Go to the source
Book
Save to List
Saved in:
18
Bridging People and Sound : 12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5–8, 2016, Revised Selected Papers
Published: 2017
“...Lecture Notes in Computer Science ; 10525...”
Go to the source
Book
Save to List
Saved in:
19
Cooperative Design, Visualization, and Engineering : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
Published: 2017
“...Lecture Notes in Computer Science ; 10451...”
Go to the source
Book
Save to List
Saved in:
20
Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Published: 2017
“...Lecture Notes in Computer Science ; 10172...”
Go to the source
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search