Jump to main content

yr 〜
yr

Search results 58

Models of computation : pbk

Models of computation : pbk
Paper図書
Roberto Bruni, Ugo MontanariSpringerc2017
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Decision procedures : an algorithmic point of view : hardback 2nd ed

Decision procedures : an algorithmic point of view : hardback 2nd ed
Paper図書
Daniel Kroening, Ofer StrichmanSpringerc2016
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Introduction to concurrency theory : transition systems and CCS : pbk

Introduction to concurrency theory : transition systems and CCS : pbk
Paper図書
Roberto Gorrieri, Cristian VersariSpringerc2015
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Petri net synthesis

Petri net synthesis
Paper図書
Eric Badouel, Luca Bernardinello, Philippe DarondeauSpringerc2015
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Extremal combinatorics : with applications in computer science 2nd ed

Extremal combinatorics : with applications in computer science 2nd ed
Paper図書
Stasys JuknaSpringerc2011
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Design and analysis of randomized algorithms : introduction to design paradigms : pbk

Design and analysis of randomized algorithms : introduction to design paradigms : pbk
Paper図書
J. HromkovičSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Exact exponential algorithms : hbk : pbk

Exact exponential algorithms : hbk : pbk
Paper図書
Fedor V. Fomin, Dieter KratschSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Universal artificial intelligence : sequential decisions based on algorithmic probability : [pbk.]

Universal artificial intelligence : sequential decisions based on algorithmic probability : [pbk.]
Paper図書
Marcus HutterSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks

Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks
Paper図書
Arie Koster, Xavier Muñoz editorsSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Parameterized complexity theory : [pbk.]

Parameterized complexity theory : [pbk.]
Paper図書
J. Flum, M. GroheSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Communication complexity and parallel computing pbk.

Communication complexity and parallel computing pbk.
Paper図書
by Juraj HromkovicSpringer2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Elements of finite model theory : [pbk.]

Elements of finite model theory : [pbk.]
Paper図書
Leonid LibkinSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

DNA computing : new computing paradigms [: pbk.]

DNA computing : new computing paradigms [: pbk.]
Paper図書
G. Păun, G. Rozenberg, A. SalomaaSpringer2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

The complexity theory companion

The complexity theory companion
Paper図書
by Lane A. Hemaspaandra, Mitsunori OgiharaSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Boolean functions and computation models

Boolean functions and computation models
Paper図書
Peter Clote, Evangelos KranakisSpringerc2010
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Dissemination of information in optical networks : from technology to algorithms in cooperation with Ralf Klasing

Dissemination of information in optical networks : from technology to algorithms in cooperation with Ralf Klasing
Paper図書
Subir BandyopadhyaySpringerc2008
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view
Paper図書
Daniel Kroening, Ofer Strichman ; foreword by Randal E. BryantSpringerc2008
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Temporal logic and state systems

Temporal logic and state systems
Paper図書
Fred Kröger, Stephan MerzSpringerc2008
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Finite model theory and its applications

Finite model theory and its applications
Paper図書
Eric Grädel ... [et al.]Springerc2007
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science

Modelling distributed systems

Modelling distributed systems
Paper図書
Wan FokkinkSpringerc2007
Other Libraries in Japan
  • Related MaterialTexts in theoretical computer science
  • Periodical TitleTexts in theoretical computer science
RSS